A formal model for role-based access control using graph transformation

DOI10.1007/10722599_8MaRDI QIDQ5862299zbMATH OpenOpenAlexFDO

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

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_8

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Computer security (68M25)

Recommendations

• Theoretical Aspects of Computing – ICTAC 2005
• Graph transformations for the specification of access control policies
• scientific article; zbMATH DE number 1701357
• A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty
• Graph-based specification of access control policies

Cites work

• scientific article; zbMATH DE number 4049096 (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?)
• Graph transformations for the specification of access control policies
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation

Cited in

(16)

• Towards Modal Logic Formalization of Role-Based Access Control with Object Classes
• The design of role-based access control models. A formal approach to the derivation of access rights
• Graph transformations for the specification of access control policies
• Graph-based specification of access control policies
• Representation of semantic role based access control system by a colored Petri net
• Integrating role graphs: a tool for security integration
• A Formal Framework for Adaptive Access Control Models
• Data flow analysis from capability lists, with application to RBAC
• Theoretical Aspects of Computing – ICTAC 2005
• GETGRATS: a summary of scientific results (with annotated bibliography)
• scientific article; zbMATH DE number 7310061 (Why is no real title available?)
• A role-based access control Petri net and a negotiation tree model
• A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty
• Decidability of safety in graph-based models for access control
• Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs
• scientific article; zbMATH DE number 2100553 (Why is no real title available?)

This page was built for publication: A formal model for role-based access control using graph transformation

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