Using composition to design secure, fault-tolerant systems

Author

Olawsky, Duane ; Payne, Charles ; Sundquist, Tom ; Apostal, David ; Fine, Todd

Author_Institution

Secure Comput. Corp., Roseville, MN, USA

fYear

1998

fDate

13-14 Nov 1998

Firstpage

29

Lastpage

32

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, called the CSS (Composability for Secure Systems) framework, for performing composition and refinement analysis and discuss some lessons learned from its application. The framework is written and verified in the PVS specification language

Keywords

fault tolerance; formal specification; large-scale systems; security of data; systems analysis; CSS framework; PVS specification language; bottom-up development; complex systems analysis; composability; composition; critical properties; functional correctness; mathematical framework; refinement analysis; secure fault-tolerant systems design; top-down development; Argon; Cascading style sheets; Fault tolerance; Fault tolerant systems; Identity-based encryption; Lakes; Military computing; Performance analysis; Read only memory; Security;

fLanguage

English

Publisher

ieee

Conference_Titel

High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International

Conference_Location

Washington, DC

Print_ISBN

0-8186-9221-9

Type

conf

DOI

10.1109/HASE.1998.731592

Filename

731592