Calhoun: The NPS Institutional Archive
Calhoun is the public access digital archive for NPS. The purpose of Calhoun is to make NPS-created scholarly content visible, searchable and available to the world. NPS faculty and researchers are invited to publish research works, documents and data in Calhoun. For more information, contact: NPSCalhoun@nps.edu.Learn more about Calhoun.
Collections in Calhoun
(2006);Our research aims to incrementally develop a secure-flow logic for a deterministic, imperative programming language. Simply put, SIPL is a holistic environment for developing secure software.
(2006);This research is part of the DARPA/ITO Quorum program which is developing technologies that allow end users to achieve predictable and controllable end-to-end quality of service (QoS) for critical defense computing needs ...
(2006);This research addresses the problem of implementing secure Virtual Machine Monitors (VMM) on the Intel Pentium architecture. A VMM allows multiple operating systems to run concurrently under virtual machines on a single ...