The Community for Technology Leaders
RSS Icon
Issue No.02 - February (1995 vol.21)
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
Anthony Boswell, "Specification and Validation of a Security Policy Model", IEEE Transactions on Software Engineering, vol.21, no. 2, pp. 63-68, February 1995, doi:10.1109/32.345822
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool