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

DOI10.1007/BF00991620zbMATH Open0519.68037OpenAlexW1982026324MaRDI QIDQ3668848FDOQ3668848

Authors: Virgil Gligor 

Publication date: 1983

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00991620

zbMATH Keywords

model representationverification methodsprotection mechanismsaccess matrixaccess privilegesBurroughs architecturescorrectness and completeness criteriaprotection constraints

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• The enforcement of security policies for computation
• Title not available (Why is that?)

This page was built for publication: The verification of the protection mechanisms of high-level language machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3668848)