Mechanical Verification Of Secure Distributed systems In Higher Order Logic
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 263-278
- https://doi.org/10.1109/hol.1991.596293
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Implementing a verification methodology for McCullough securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Noninterference and the composability of security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Security models for priority buffering and interrupt handlingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Mechanizing CSP trace theory in higher order logicIEEE Transactions on Software Engineering, 1990
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- A Distributed Secure SystemComputer, 1983
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Specification and verification of a network mail systemPublished by Springer Nature ,1979
- Proving multilevel security of a system designPublished by Association for Computing Machinery (ACM) ,1977