Title :
Specification issues of secure systems
Author :
Sweezey, Michael R.
Author_Institution :
Loral Aerospace, Colorado Springs, CO, USA
Abstract :
This paper discusses the development of an accredited multilevel secure (MLS) system. The author reviews the methods and some problems in producing the Descriptive Top Level Specification (DTLS) and the attendant correspondences to the Formal Security Policy Model. Some of the problems encountered stem from the selection of a traditional but insufficient policy model. This paper identifies specific shortcomings of the policy model and recommends a different perspective to help alleviate such problems in the future
Keywords :
military computing; security of data; Descriptive Top Level Specification; Formal Security Policy Model; accredited multilevel secure system; secure systems; specification issues; Cascading style sheets; Computer architecture; Concrete; Documentation; Drives; Information analysis; Information security; Multilevel systems; Springs; Workstations;
Conference_Titel :
Computer Security Applications Conference, 1993. Proceedings., Ninth Annual
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-4330-7
DOI :
10.1109/CSAC.1993.315455
