Graph-based specification of access control policies
From MaRDI portal
Publication:2486563
Recommendations
- Conflict detection and resolution in access control policy specifications
- Foundations for a graph-based approach to the specification of access control policies
- Graph transformations for the specification of access control policies
- A graph-based framework for the analysis of access control policies
- Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs
Cites work
- A formal model for role-based access control using graph transformation
- Amalgamation of graph transformations: a synchronization mechanism
- Conflict detection and resolution in access control policy specifications
- Formal software specification with refinements and modules of typed graph transformation systems
- Foundations for a graph-based approach to the specification of access control policies
- Future directions in role-based access control models
- Handbook of Graph Grammars and Computing by Graph Transformation
- 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 1437942 (Why is no real title available?)
- Refinements of graph transformation systems via rule expressions
- The category of typed graph grammars and its adjunctions with categories of derivations
Cited in
(30)- A navigational logic for reasoning about graph properties
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
- A graph-based framework for the analysis of access control policies
- Foundations for a graph-based approach to the specification of access control policies
- Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
- Formal specification and validation of security policies
- Specification and verification of access control policies in EB\(^{3}\)SEC: work in progress
- Layered graph logic as an assertion language for access control policy models
- On the Specification and Verification of Model Transformations
- Flexible support for multiple access control policies
- High-Level Programs and Program Conditions
- Resolution-Like Theorem Proving for High-Level Conditions
- Development of Correct Graph Transformation Systems
- Specifying and Reasoning About Dynamic Access-Control Policies
- Correctness of high-level transformation systems relative to nested conditions
- Visual specifications of policies and their verification
- Describing policies with graph constraints and rules
- Conflict detection and resolution in access control policy specifications
- Graph transformations for the specification of access control policies
- Decidability of safety in graph-based models for access control
- Initial conflicts for transformation rules with nested application conditions
- A framework for the analysis of access control policies with emergency management
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
- Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs
- A formal model for role-based access control using graph transformation
- Semantic access control model: a formal specification
- Symbolic graphs for attributed graph constraints
- Taint analysis for graph APIs focusing on broken access control
- Graph-theoretic method for merging security system specifications
- Reasoning with graph constraints
This page was built for publication: Graph-based specification of access control policies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486563)
