Graph transformations for the specification of access control policies

DOI10.1016/S1571-0661(04)80205-6MaRDI QIDQ4923543zbMATH OpenOpenAlexFDO

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

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80205-6

zbMATH Keywords

access controlevolutionrule-base specificationssecurity

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1701357
• Graph-based specification of access control policies
• scientific article; zbMATH DE number 2087433
• A formal model for role-based access control using graph transformation
• scientific article; zbMATH DE number 2016078

Cites work

• A formal model for role-based access control using graph transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1701357 (Why is no real title available?)
• scientific article; zbMATH DE number 1231489 (Why is no real title available?)
• scientific article; zbMATH DE number 1739882 (Why is no real title available?)
• scientific article; zbMATH DE number 1504839 (Why is no real title available?)
• Protection in operating systems
• The category of typed graph grammars and its adjunctions with categories of derivations

Cited in

(10)

• Graph-based specification of access control policies
• scientific article; zbMATH DE number 1701357 (Why is no real title available?)
• Formal specification and validation of security policies
• scientific article; zbMATH DE number 1189388 (Why is no real title available?)
• A language for specifying sequences of authorization transformations and its applications
• scientific article; zbMATH DE number 1956494 (Why is no real title available?)
• scientific article; zbMATH DE number 2016078 (Why is no real title available?)
• scientific article; zbMATH DE number 2087433 (Why is no real title available?)
• Decidability of safety in graph-based models for access control
• A formal model for role-based access control using graph transformation

This page was built for publication: Graph transformations for the specification of access control policies

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