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

DOI10.1007/978-3-642-27901-0_18zbMATH Open1303.68052OpenAlexW1501287991MaRDI QIDQ2889840FDOQ2889840

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

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
• scientific article; zbMATH DE number 2087433
• Verification and enforcement of access control policies

zbMATH Keywords

verificationaccess controlformal method

Mathematics Subject Classification ID

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

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)