Reports and Technical Reports
Proceedings of the first IEEE International Workshop on Safety of Systems
(Monterey, California. Naval Postgraduate School, 2007-07-19); NPS-CS-07-006
In March 2007, the Technical Committee on System Safety (TCSS) under the IEEE System Society held its first international workshop on issues relating to safety of systems of national and global significance. The workshop ...
Proceedings of the fifth workshop on software assessment
(Monterey, California. Naval Postgraduate School, 2006-03-22); NPS-CS-06-008
The Fifth Workshop on Software Assessment was held in conjunction with the IEEE Sixteenth International Symposium on Software Reliability Engineering. The workshop serves as an annual forum for practitioners and educators ...
A least privilege model for static separation kernels
(Monterey, California. Naval Postgraduate School, 2004-10); NPS-CS-05-003
We extend the separation kernel abstraction to represent the enforcement of the principle of least privilege. In addition to the inter-block flow control policy prescribed by the traditional separation kernel paradigm, ...
Proceedings of the Center for National Software Studies Workshop on Trustworthy Software
(Monterey, California. Naval Postgraduate School, 2004-05-10); NPS-CS-04-006
Achieving what is often termed software trustworthiness has been an elusive goal, in part because of the lack of a clear understanding of why we sometimes succeed but often fail to produce trustworthy software. In order ...
Data integrity limitations in hybrid security architectures
(Monterey, California. Naval Postgraduate School, 2000-12); NPS-CS-00-008
We discuss a class of computer/network architectures that supports multilevel security and commercial applications, while utilizing primarily commercial-off-the-shelf (COTS) workstations, operating systems and hardware ...
Interoperability technology assessment for joint C4ISR systems
(Monterey, California. Naval Postgraduate School, 1999); NPS-CS-00-001
This study characterizes and assesses alternative approaches to software component interoperability in distributed environments typical of C4ISR systems. Interoperability is the ability of systems to provide services to ...
Refine By:
Author
Date Issued
Department
-
Computer Science (CS) (86)