Specification and Verification of Access Control Policies in EB3SEC: Work in Progress
From MaRDI portal
Publication:2889840
DOI10.1007/978-3-642-27901-0_18zbMath1303.68052OpenAlexW1501287991MaRDI QIDQ2889840
Marc Frappier, Hakim Belhaouari, Régine Laleau, Pierre Konopacki
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
This page was built for publication: Specification and Verification of Access Control Policies in EB3SEC: Work in Progress