Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Formal methods for security in the Xenon hypervisor
Type
D - Journal article
Title of journal
International Journal on Software Tools Technology Transfer
Article number
-
Volume number
13
Issue number
5
First page of article
463
ISSN of journal
1433-2787
Year of publication
2011
Number of additional authors
1
Additional information
<19> The Xenon hypervisor combines security and formal methods for military applications virtualisation. The work was used to guide the US Naval Research Laboratory’s C++ development and its large (4500 pages) concrete specification. The system is supported and used by the US navy/military, and two projects based on this work have been funded by the US government and include the author as part of the project team (exact details of funding obtained and user contact details are confidential).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-