Title :
Noninterference Policy For Trusted Virtual Machine Monitors
Author :
Qiang, Huang ; Changxiang, Shen ; Yanxiang, Fang
Author_Institution :
Naval Univ. of Eng., Wuhan
Abstract :
In this paper, a noninterference policy based on determinative state machine formal model is proposed to enhance the isolation capability of the virtual machine monitor system. It formally specifies the strong isolation property that trusted virtual machine monitors require and concludes some practical design restrictions to them. Compared with related works it shows more precise mapping to real systems and produces more practical specifications for the design
Keywords :
finite state machines; virtual machines; determinative state machine formal model; noninterference policy; trusted virtual machine monitors; Access control; Communication system security; Computers; Cryptography; Educational institutions; Information analysis; Information security; Kernel; Virtual machine monitors; Virtual manufacturing;
Conference_Titel :
Signal Processing, 2006 8th International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-9736-3
Electronic_ISBN :
0-7803-9736-3
DOI :
10.1109/ICOSP.2006.345972
