A Metamodel of the B Modeling of Access-Control Policies: Work in Progress

DOI10.1007/978-3-642-27901-0_19zbMath1303.68053OpenAlexW1956542752MaRDI QIDQ2889841

Régine Laleau, Jérémy Milhau, Marc Frappier

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

Bmetamodelformal methodMDAISaccess-control

Mathematics Subject Classification ID

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

This page was built for publication: A Metamodel of the B Modeling of Access-Control Policies: Work in Progress