Specification and validation of a security policy model

1 January 1995

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. 21 (2) , 63-68
https://doi.org/10.1109/32.345822

Abstract

This paper describes the development of a formal security policy model in Z for the NATO Air Command and Control System (ACCS): a large, distributed, multilevel-secure system. The model was subject to manual validation, and some of the issues and lessons in both writing and validating the model are discussed.

Keywords

INDEXING TERMS
CRYPTOGRAPHY
MODELING
PRODUCTION
COMPUTER SECURITY
SECURITY POLICY
SECURITY
ACCESS CONTROL
SPECIFICATION
MODEL VALIDATION
FORMAL SPECIFICATION
INFORMATION SECURITY
CERTIFICATION
WRITING

This publication has 0 references indexed in Scilit: