By Topic

To Bell and back: developing a formal security policy model for a C 2 system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Gove, R.A. ; Booz, Allen & Hamilton Inc., New York, NY ; Williams, J.G.

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

Published in:

Computer Security Applications Conference, 1991. Proceedings., Seventh Annual

Date of Conference:

2-6 Dec 1991