Security Kernel validation in practice-Reference-Cited by-同舟云学术

Security Kernel validation in practice

Published:1976-05 Issue:5 Volume:19 Page:243-250
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Millen Jonathan K.¹

Affiliation:

1. The MITRE Corp., Bedford, MA

Abstract

A security kernel is a software and hardware mechanism that enforces access controls within a computer system. The correctness of a security kernel on a PDP-11/45 is being proved. This paper describes the technique used to carry out the first step of the proof: validating a formal specification of the program with respect to axioms for a secure system.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/360051.360059

Reference10 articles.

1. Bell D.E. and LaPadula L.J. Secure computer systems; Mathematical Foundations. ESD-TR-73-278 Vol. I-III The MITRE Corporation Bedford Mass. Bell D.E. and LaPadula L.J. Secure computer systems; Mathematical Foundations. ESD-TR-73-278 Vol. I-III The MITRE Corporation Bedford Mass.

2. A technique for software module specification with examples

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Out-of-Band Covert Channels—A Survey;ACM Computing Surveys;2016-11-11

2. A Survey and Taxonomy Aimed at the Detection and Measurement of Covert Channels;Proceedings of the 4th ACM Workshop on Information Hiding and Multimedia Security;2016-06-20

3. The Confinement Problem: 40 Years Later;Journal of Information Processing Systems;2013-06-29

4. Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels;Lecture Notes in Computer Science;2009

5. Enforcing memory policy specifications in reconfigurable hardware;Computers & Security;2008-10