The enforcement of security policies for computation

DOI10.1016/0022-0000(78)90033-8zbMath0383.68034OpenAlexW1975008050WikidataQ113444232 ScholiaQ113444232MaRDI QIDQ1248369

Anita K. Jones, Richard J. Lipton

Publication date: 1978

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(78)90033-8

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

Related Items (1)

The verification of the protection mechanisms of high-level language machines

Cites Work

• A lattice model of secure information flow
• Certification of programs for secure information flow
• Memoryless subsystems
• A scheduling philosophy for multiprocessing systems

This page was built for publication: The enforcement of security policies for computation