Specification and verification of access control policies in EB^3SEC: work in progress

DOI10.1007/978-3-642-27901-0_18MaRDI QIDQ2889840zbMATH OpenOpenAlexFDO

Authors Pierre Konopacki, Hakim Belhaouari, 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_18

zbMATH Keywords

access controlformal methodverification

Mathematics Subject Classification ID

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

Recommendations

• A metamodel of the B modeling of access-control policies: work in progress
• Graph-based specification of access control policies
• On the decidability of the safety problem for access control policies
• Conflict detection and resolution in access control policy specifications
• Verification and enforcement of access control policies

Cited in

(1)

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

This page was built for publication: Specification and verification of access control policies in EB\(^{3}\)SEC: work in progress

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