DocumentCode
1591838
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
Volume
2
fYear
2000
fDate
6/22/1905 12:00:00 AM
Firstpage
380
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;
fLanguage
English
Publisher
ieee
Conference_Titel
DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings
Conference_Location
Hilton Head, SC
Print_ISBN
0-7695-0490-6
Type
conf
DOI
10.1109/DISCEX.2000.821535
Filename
821535
Link To Document