LOCK trek: navigating uncharted space

Author

Saydjari, O. Sami ; Beckman, Joseph M. ; Leaman, Jeffrey R.

fYear

1989

fDate

1-3 May 1989

Firstpage

167

Lastpage

175

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Security and Privacy, 1989. Proceedings., 1989 IEEE Symposium on

Conference_Location

Oakland, CA

Print_ISBN

0-8186-1939-2

Type

conf

DOI

10.1109/SECPRI.1989.36291

Filename

36291