Re-engineering Xen internals for higher-assurance security-Reference-Cited by-同舟云学术

Re-engineering Xen internals for higher-assurance security

Published:2008 Issue:1 Volume:13 Page:17-24
ISSN:1363-4127
Container-title:Information Security Technical Report
language:en
Short-container-title:Information Security Technical Report

Author:

McDermott J.,Kirby J.,Montrose B.,Johnson T.,Kang M.

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Safety, Risk, Reliability and Quality,Software

Reference15 articles.

1. Security engineering: a guide to building dependable distributed systems;Anderson,2001

2. Xen and the art of virtualization;Barham,2003

3. Murphy's law, the fitness of evolving species, and the limits of software reliability;Brady,1999

4. A conservative theory for long-term reliability growth prediction;Bishop;IEEE Transactions on Reliability,1996

5. The Common Criteria Project Sponsoring Organizations. Common Criteria for information technology security evaluation. v. 3.1. rev. 1 ed.; September 2006a [also referred to as ISO 15408].

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023

2. System-Level Non-interference of Constant-Time Cryptography. Part I: Model;Journal of Automated Reasoning;2017-11-30

3. An accurate resource scheduling system for virtual machines based on CPU load monitoring and assessment;Cluster Computing;2017-11-13

4. A survey on formal specification and verification of separation kernels;Frontiers of Computer Science;2017-01-11

5. Building a Hypervisor on a Formally Verifiable Protection Layer;2013 46th Hawaii International Conference on System Sciences;2013-01