LOCK: an historical perspective

Author

Saydjari, O. Sami

fYear

2002

fDate

2002

Firstpage

96

Lastpage

108

Abstract

LOCK is an advanced development of hardware-based computer security and crypto-graphic 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 promises to be the single largest programmatic problem. Our verification tools seem able to verify design only and not implementation.

Keywords

authorisation; cryptography; formal specification; formal verification; history; Formal Top Level Specification; LOCK; access control; advanced noninterference proofs; cryptographic service modules; hardware-based computer security; historical perspective; implementation specifications; integrated information security system design; security system verification; Computer graphics; Computerized monitoring; Cryptography; Data security; Electrical capacitance tomography; Information security; Operating systems; Reactive power; Read only memory; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Applications Conference, 2002. Proceedings. 18th Annual

ISSN

1063-9527

Print_ISBN

0-7695-1828-1

Type

conf

DOI

10.1109/CSAC.2002.1176283

Filename

1176283