Documenting Xenon's Page_Alloc Module
Abstract
One of the critical assurance requirements for achieving medium or high assurance is a requirement for significant modularity in design and implementation. As part of the Xenon effort to create a secure Xen with a medium to high degree of assurance, we have embarked on its remodularization, a documented decomposition into well-defined pieces with well-defined relationships among them. This remodularization of Xen is based on the information hiding principle. Associated with an information hiding module may be a provided interface, a set of public programs (e.g., functions, subroutines, macros) that programs outside the module can use to accomplish their work. Documentation of a module's provided interface serves as a contract between the module's users and its developers. This report documents the decomposition of the Xen page_alloc module and the specification of the provided interface of each of its submodules.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 10, 2007
- Accession Number
- ADA475753
Entities
People
- Bruce Montrose
- James Kirby Jr.
- John Mcdermott
- Myong Kang
Organizations
- United States Naval Research Laboratory