The Community for Technology Leaders
Green Image
Issue No. 02 - February (1995 vol. 21)
ISSN: 0098-5589
pp: 63-68
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.
Security, security policy model, formal specification, Z, modeling, validation

A. Boswell, "Specification and Validation of a Security Policy Model," in IEEE Transactions on Software Engineering, vol. 21, no. , pp. 63-68, 1995.
86 ms
(Ver 3.3 (11022016))