Safety analysis of the dynamic-typed access matrix model

DOI10.1007/10722599_7MaRDI QIDQ5862298zbMATH OpenOpenAlexFDO

Authors Masakazu Soshi

Publication date 7 March 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

computational complexitydecidabilityaccess controlsafety problemaccess matrix model

Mathematics Subject Classification ID

Computer security (68M25)

Recommendations

• scientific article; zbMATH DE number 1189391
• On the decidability of accessibility problems (extended abstract)
• Undecidability of safety for the schematic protection model with cyclic creates
• scientific article; zbMATH DE number 1500476
• A type system for Discretionary Access Control

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• Protection in operating systems
• Undecidability of safety for the schematic protection model with cyclic creates

Cited in

(3)

• Trustworthy Global Computing
• Security property based administrative controls
• scientific article; zbMATH DE number 1189391 (Why is no real title available?)

This page was built for publication: Safety analysis of the dynamic-typed access matrix model

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