Proving multilevel security of a system design

• 1 January 1977
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 11  (5) , 57-65
• https://doi.org/10.1145/800214.806547

Abstract