DocumentCode
1989484
Title
Specification issues of secure systems
Author
Sweezey, Michael R.
Author_Institution
Loral Aerospace, Colorado Springs, CO, USA
fYear
1993
fDate
6-10 Dec 1993
Firstpage
36
Lastpage
45
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Applications Conference, 1993. Proceedings., Ninth Annual
Conference_Location
Orlando, FL
Print_ISBN
0-8186-4330-7
Type
conf
DOI
10.1109/CSAC.1993.315455
Filename
315455
Link To Document