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_19zbMath1303.68053MaRDI 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
68P25: Data encryption (aspects in computer science)