Implementing a verification methodology for McCullough security
- 13 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Previously, the author described a methodology for proving McCullough security (also called RADC hook-up security, restriction, and flow security) (Proc. Comput. Security Found. Workshop, pp.90-97, Mitre Tech Report M88-37, June 1988). He describes how to build a theorem generation mechanism for the validation of a security property which implies McCullough Security. He makes use of the USL language.Keywords
This publication has 2 references indexed in Scilit:
- Foundations of Ulysses: The Theory of SecurityPublished by Defense Technical Information Center (DTIC) ,1988
- Constructions: A higher order proof system for mechanizing mathematicsPublished by Springer Nature ,1985