A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems
| dc.contributor.author | Mu, Chunyan | |
| dc.contributor.institution | University of Aberdeen.Computing Science | en |
| dc.contributor.institution | University of Aberdeen.Cybersecurity and Privacy | en |
| dc.date.accessioned | 2023-02-01T12:10:03Z | |
| dc.date.available | 2023-02-01T12:10:03Z | |
| dc.date.issued | 2020-12-11 | |
| dc.format.extent | 8 | |
| dc.format.extent | 187283 | |
| dc.identifier | 225683951 | |
| dc.identifier | 3acb5432-7ffb-44f4-bbc7-5419c2cf0bf9 | |
| dc.identifier | 85105402259 | |
| dc.identifier.citation | Mu, C 2020, A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems. in 2020 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Explore, pp. 185-192, International Symposium on Theoretical Aspects of Software Engineering , Hangzhou, China, 11/12/20. https://doi.org/10.1109/TASE49443.2020.00033 | en |
| dc.identifier.citation | conference | en |
| dc.identifier.doi | 10.1109/TASE49443.2020.00033 | |
| dc.identifier.isbn | 978-1-7281-4086-5 | |
| dc.identifier.other | ORCID: /0000-0002-2988-6939/work/127818464 | |
| dc.identifier.uri | https://hdl.handle.net/2164/19956 | |
| dc.language.iso | eng | |
| dc.publisher | IEEE Explore | |
| dc.relation.ispartof | 2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) | en |
| dc.subject | QA76 Computer software | en |
| dc.subject.lcc | QA76 | en |
| dc.title | A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems | en |
| dc.type | Conference item | en |
Files
Original bundle
1 - 1 of 1