DocumentCode
320873
Title
The architecture of secure systems
Author
Alves-Foss, Jim
Author_Institution
Dept. of Comput. Sci., Idaho Univ., Moscow, ID, USA
Volume
3
fYear
1998
fDate
1998
Firstpage
307
Abstract
Secure system design, verification and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and configurations. This paper presents a generic approach to secure system development that can be readily applied to a wide range of secure systems. Use of this approach, based on separability, will greatly simplify the developer´s overall design, verification and validation effort
Keywords
distributed processing; security of data; protection mechanisms; secure systems; separability; validation; verification; Communication system control; Computer architecture; Computer security; Corporate acquisitions; Hardware; Kernel; Laboratories; Logic design; Protection; Virtual machining;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1998., Proceedings of the Thirty-First Hawaii International Conference on
Conference_Location
Kohala Coast, HI
Print_ISBN
0-8186-8255-8
Type
conf
DOI
10.1109/HICSS.1998.656293
Filename
656293
Link To Document