Safety Analysis of the Dynamic-Typed Access Matrix Model

DOI10.1007/10722599_7zbMath1487.68075OpenAlexW1580113137MaRDI QIDQ5862298

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)

Related Items (1)

Security Property Based Administrative Controls

Cites Work

• Unnamed Item
• Undecidability of safety for the schematic protection model with cyclic creates
• Protection in operating systems

This page was built for publication: Safety Analysis of the Dynamic-Typed Access Matrix Model