Title :
To Bell and back: developing a formal security policy model for a C 2 system
Author :
Gove, R.A. ; Williams, John G.
Author_Institution :
Booz, Allen & Hamilton Inc., New York, NY
Abstract :
The authors describe several interesting aspects of the development of a formal security policy model for a military command and control (C2) system. The C2 system is being built to meet the B3 division and class of DOD 5200.28 STD. The paper discusses the real world issues involved in developing a useful and accurate model of a very complex security policy. The policy developed for the target application has several interesting features and consequently the model is interesting in several respects. The system has several policy elements that required some novel mathematical approaches. These are explained in detail
Keywords :
command and control systems; military computing; security of data; C2 system; DOD 5200.28 STD; formal security policy model; Access control; Command and control systems; Control systems; History; Mediation; Resumes; Security; US Department of Defense; Writing;
Conference_Titel :
Computer Security Applications Conference, 1991. Proceedings., Seventh Annual
Conference_Location :
San Antonio, TX
Print_ISBN :
0-8186-2280-6
DOI :
10.1109/CSAC.1991.213010
