Formal Specification and Validation of Security Policies
From MaRDI portal
Publication:2889828
DOI10.1007/978-3-642-27901-0_12zbMath1302.94036MaRDI QIDQ2889828
Hélène Kirchner, Horatiu Cirstea, Tony Bourdier, M. Jaume
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_12
Related Items
A framework for the analysis of access control policies with emergency management, A graph-based framework for the analysis of access control policies
Uses Software