Decidability of Safety in Graph-Based Models for Access Control

DOI10.1007/3-540-45853-0_14zbMath1482.68070OpenAlexW1548628436MaRDI QIDQ5030182

Francesco Parisi-Presicce, Manuel Koch, Luigi V. 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 controlgraph transformationaccess control policyaccess control modeluser node

Mathematics Subject Classification ID

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

Related Items (2)

Well-structured graph transformation systems ⋮ Security Property Based Administrative Controls

Cites Work

• Unnamed Item
• Unnamed Item
• Protection in operating systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• A Formal Model for Role-Based Access Control Using Graph Transformation

This page was built for publication: Decidability of Safety in Graph-Based Models for Access Control