| A Multi-Threading Architecture for Multilevel Secure Transaction Processing |
MAY 1999 |
16 pages |
| Authors:
Haruna R. Isa; William R. Shockley; Cynthia E. Irvine; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
 | A TCB and security kernel architecture for supporting multi-threaded, queue-driven transaction processing applications in a multilevel secure environment is presented. Our design exploits hardware security features of the Intel 80x86 processor family. Intel's CPU architecture provides hardware with two distinct descriptor tables. We use one of these in the usual way for process isolation. For each process, the descriptor table holds the descriptors of "system-low" segments, such as code segments, ... |
|
| Roundhouse: A Security Architecture for Active Networks |
15 MAY 1998 |
28 pages |
| Authors:
Cynthia E. Irvine; William R. Shockley; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| We describe a high-assurance framework for networked clients and servers. Called Roundhouse consists of the following elements: (1) Pinkerton, a comprehensive model for the implementation of distributed protection domains that provide for robust protection in a networked environment; (2) Iron Horse: Functional and security design of a kernelized host providing essential ring- based protection, packet authentication, and cryptography services for higher layers. (3) DEPOT: Specification, design, and prototype implementation on ... |
|
| A Conceptual Framework for Grammar-Driven Synthesis |
DEC 1980 |
|
| Authors:
William R. Shockley; Daniel P. Haddow; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
 | Conventional parsing techniques use grammars as embedded procedural knowledge bases in mechanisms which are capable of translating words in the language defined into equivalent parse trees. The approach described in this paper uses context-free grammars as data allowing access to synthesis templates which enable the user to create and interact with parse trees directly. The advantages of this approach are the utility of human-oriented grammars, the dynamic interchangeability of language ... |
|
Reports by Author
