Formally Verifying Isolation and Availability in an Idealized Model of Virtualization-Reference-Cited by-同舟云学术

Formally Verifying Isolation and Availability in an Idealized Model of Virtualization

Published:2011 Issue: Volume: Page:231-245
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Barthe Gilles,Betarte Gustavo,Campo Juan Diego,Luna Carlos

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21437-0_19

Reference23 articles.

1. Alkassar, E., Cohen, E., Hillebrand, M., Kovalev, M., Paul, W.: Verifying shadow page table algorithms. In: Bloem, R., Sharygina, N. (eds.) 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010. IEEE CS, Switzerland (2010)

2. Lecture Notes in Computer Science;E. Alkassar,2010

3. Lecture Notes in Computer Science;E. Alkassar,2010

4. Lecture Notes in Computer Science;J. Andronick,2003

5. Banerjee, A., Naumann, D.: Stack-based access control for secure information flow. Journal of Functional Programming 15, 131–177 (2005); Special Issue on Language-Based Security

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems;Formal Methods;2023

2. Relaxed virtual memory in Armv8-A;Programming Languages and Systems;2022

3. Verification of Virtual Machine Architecture in a Hypervisor through Model Checking;Procedia Computer Science;2020

4. On the verification of system-level information flow properties for virtualized execution platforms;Journal of Cryptographic Engineering;2019-05-25

5. Formally Verifying Memory Isolation Based on ARM Processors;2018 4th International Conference on Big Data Computing and Communications (BIGCOM);2018-08