Title :
LOCK trek: navigating uncharted space
Author :
Saydjari, O. Sami ; Beckman, Joseph M. ; Leaman, Jeffrey R.
Abstract :
The design principles of the logical coprocessing kernel (LOCK) project are considered. LOCK is an advanced development of hardware-based computer security and cryptographic service modules. Much of the design and some of the implementation specifications are complete. The formal top level specification (FTLS) also is complete and the advanced noninterference proofs are beginning. This hardware-based approach has brought the LOCK project into many uncharted areas in the design, verification, and evaluation of an integrated information security system. System integration currently appears to be the single largest programatic problem. The authors examine two important design areas: design verification and porting Unix System V to a LOCK host. The verification tools seem able to verify design only and not implementation
Keywords :
security of data; FTLS; LOCK project; Unix System V; advanced noninterference proofs; cryptographic service modules; design verification; evaluation; formal top level specification; hardware-based computer security; integrated information security system; logical coprocessing kernel; porting; system integration; verification tools; Communication system security; Computer security; Cryptography; Data security; Hardware; Information security; Kernel; Navigation; Prototypes; Research and development;
Conference_Titel :
Security and Privacy, 1989. Proceedings., 1989 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-1939-2
DOI :
10.1109/SECPRI.1989.36291
