DocumentCode
1946355
Title
Noninterference Policy For Trusted Virtual Machine Monitors
Author
Qiang, Huang ; Changxiang, Shen ; Yanxiang, Fang
Author_Institution
Naval Univ. of Eng., Wuhan
Volume
4
fYear
2006
fDate
16-20 2006
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Signal Processing, 2006 8th International Conference on
Conference_Location
Beijing
Print_ISBN
0-7803-9736-3
Electronic_ISBN
0-7803-9736-3
Type
conf
DOI
10.1109/ICOSP.2006.345972
Filename
4129664
Link To Document