A metamodel of the B modeling of access-control policies: work in progress
From MaRDI portal
Publication:2889841
DOI10.1007/978-3-642-27901-0_19zbMATH Open1303.68053OpenAlexW1956542752MaRDI QIDQ2889841FDOQ2889841
Authors: Jérémy Milhau, Marc Frappier, Régine Laleau 
Publication date: 8 June 2012
Published in: Foundations and Practice of Security (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-27901-0_19
Recommendations
- A metamodel for the design of access-control policy enforcement managers: work in progress
- Automata model for verifying attibuted-based access control policy in systems with a finite number of objects
- Specification and verification of access control policies in EB\(^{3}\)SEC: work in progress
- A metamodel of access control for distributed environments: applications and properties
- Information Security
Cited In (6)
- Automatic verification of static policies on software process models
- Automata model for verifying attibuted-based access control policy in systems with a finite number of objects
- A metamodel of access control for distributed environments: applications and properties
- A meta-model of access control in a fibred security language
- A metamodel for the design of access-control policy enforcement managers: work in progress
- Specification and verification of access control policies in EB\(^{3}\)SEC: work in progress
This page was built for publication: A metamodel of the B modeling of access-control policies: work in progress
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2889841)
