Formal specification of an access control system
- 1 September 1987
- journal article
- Published by Wiley in Software: Practice and Experience
- Vol. 17 (9) , 575-593
- https://doi.org/10.1002/spe.4380170903
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Specification of the UNIX Filing SystemIEEE Transactions on Software Engineering, 1984
- Programming in PrologPublished by Springer Nature ,1984
- Formal Models for Computer SecurityACM Computing Surveys, 1981
- Verifying SecurityACM Computing Surveys, 1981