A survey on formal specification and verification of separation kernels
- Yongwang Zhao, Zhibin Yang, Dianfu Ma
- Frontiers of Computer Science
- 2016
@inproceedings{McDermott2012SeparationVM,
title={Separation virtual machine monitors},
author={John P. McDermott and Bruce E. Montrose and Margery Li and James Kirby and Myong H. Kang},
booktitle={ACSAC},
year={2012}
}