Safety analysis of the dynamic-typed access matrix model

DOI10.1007/10722599_7zbMATH Open1487.68075OpenAlexW1580113137MaRDI QIDQ5862298FDOQ5862298

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

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

zbMATH Keywords

computational complexitydecidabilityaccess controlsafety problemaccess matrix model

Mathematics Subject Classification ID

Computer security (68M25)

Cites Work

• Title not available (Why is that?)
• Protection in operating systems
• Undecidability of safety for the schematic protection model with cyclic creates

Cited In (3)

• Trustworthy Global Computing
• Title not available (Why is that?)
• Security property based administrative controls

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)