Decidability of safety in graph-based models for access control

DOI10.1007/3-540-45853-0_14MaRDI QIDQ5030182zbMATH OpenOpenAlexFDO

Authors Manuel Koch, Francesco Parisi-Presicce, Luigi Vincenzo Mancini

Publication date 16 February 2022

Published in Computer Security — ESORICS 2002 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45853-0_14

zbMATH Keywords

access controlaccess control modelaccess control policygraph transformationuser node

Mathematics Subject Classification ID

Computer security (68M25) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• On the decidability of the safety problem for access control policies
• scientific article; zbMATH DE number 1701357
• Graph-based specification of access control policies
• Information Security
• Graph transformations for the specification of access control policies

Cites work

• A formal model for role-based access control using graph transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1638651 (Why is no real title available?)
• scientific article; zbMATH DE number 1701357 (Why is no real title available?)
• Protection in operating systems

Cited in

(7)

• Undecidability of safety for the schematic protection model with cyclic creates
• scientific article; zbMATH DE number 1701357 (Why is no real title available?)
• On the decidability of accessibility problems (extended abstract)
• The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates
• On the decidability of the safety problem for access control policies
• Security property based administrative controls
• Well-structured graph transformation systems

This page was built for publication: Decidability of safety in graph-based models for access control

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