Title :
Using composition to design secure, fault-tolerant systems
Author :
Olawsky, Duane ; Payne, C. ; Sundquist, T. ; Apostal, David ; Fine, Todd
Author_Institution :
Secure Comput. Corp., Roseville, MN, USA
fDate :
6/22/1905 12:00:00 AM
Abstract :
Complex systems must be analyzed in smaller pieces. Analysis must support both bottom-up (composition) and top-down (refinement) development, and it must support the consideration of several critical properties, e.g., functional correctness, fault tolerance and security, as appropriate. We describe a mathematical framework for performing composition and refinement analysis and discuss some lessons learned from its application. The framework is written and verified in PVS
Keywords :
formal specification; security of data; software fault tolerance; PVS; bottom-up development; composition development; fault tolerance; functional correctness; refinement development; secure fault-tolerant systems design; top-down development; Application software; Argon; Cascading style sheets; Fault tolerance; Fault tolerant systems; Identity-based encryption; Lakes; Performance analysis; Read only memory; Security;
Conference_Titel :
DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings
Conference_Location :
Hilton Head, SC
Print_ISBN :
0-7695-0490-6
DOI :
10.1109/DISCEX.2000.821535
