Title :
LOCK: an historical perspective
Author :
Saydjari, O. Sami
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;
Conference_Titel :
Computer Security Applications Conference, 2002. Proceedings. 18th Annual
Print_ISBN :
0-7695-1828-1
DOI :
10.1109/CSAC.2002.1176283
