Structured specification of a Security Kernel

Authors:

Open Access

Publisher website

1 January 1975

conference paper
Published by Association for Computing Machinery (ACM)

Vol. 10 (6) , 285-293
DOI:10.1145/800027.808450

Abstract

No abstract available

Keywords

Cited by 10 articles