Title :
The architecture of secure systems
Author_Institution :
Dept. of Comput. Sci., Idaho Univ., Moscow, ID, USA
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;
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
DOI :
10.1109/HICSS.1998.656293
