You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Newcastle University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Newcastle University

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Formal methods for security in the Xenon hypervisor

Type

D - Journal article

DOI

10.1007/s10009-011-0195-9

Title of journal

International Journal on Software Tools Technology Transfer

Article number

Volume number

Issue number

First page of article

463

ISSN of journal

1433-2787

Year of publication

2011

URL

http://dx.doi.org/10.1007/s10009-011-0195-9

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract