A metamodel of the B modeling of access-control policies: work in progress

DOI10.1007/978-3-642-27901-0_19MaRDI QIDQ2889841zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

metamodelformal methodBMDAISaccess-control

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

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)