IEEE - Institute of Electrical and Electronics Engineers, Inc. - On security policy modeling

Proceedings of COMPASS '93 - IEEE 8th Annual Conference on Computer Assurance: Practical Paths to Assurance

Author(s): Freeman, J.W. ; Neely, R.B.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 14 June 1993
Page(s): 61 - 69
ISBN (Paper): 0-7803-1251-1
DOI: 10.1109/CMPASS.1993.288857
Regular:

An important element in the development of a secure system at the B2 level of assurance or higher is the production of a formal security policy model. The authors provide some observations... View More

Advertisement