TY - GEN
T1 - Model-driven security policy deployment
T2 - 2nd International Symposium on Engineering Secure Software and Systems, ESSoS 2010
AU - Preda, Stere
AU - Cuppens-Boulahia, Nora
AU - Cuppens, Frédéric
AU - Garcia-Alfaro, Joaquin
AU - Toutain, Laurent
PY - 2010/3/22
Y1 - 2010/3/22
N2 - We address the issue of formally validating the deployment of access control security policies. We show how the use of a formal expression of the security requirements, related to a given system, ensures the deployment of an anomaly free abstract security policy. We also describe how to develop appropriate algorithms by using a theorem proving approach with a modeling language allowing the specification of the system, of the link between the system and the policy, and of certain target security properties. The result is a set of proved algorithms that constitute the certified technique for a reliable security policy deployment.
AB - We address the issue of formally validating the deployment of access control security policies. We show how the use of a formal expression of the security requirements, related to a given system, ensures the deployment of an anomaly free abstract security policy. We also describe how to develop appropriate algorithms by using a theorem proving approach with a modeling language allowing the specification of the system, of the link between the system and the policy, and of certain target security properties. The result is a set of proved algorithms that constitute the certified technique for a reliable security policy deployment.
UR - https://www.scopus.com/pages/publications/77949454802
U2 - 10.1007/978-3-642-11747-3_10
DO - 10.1007/978-3-642-11747-3_10
M3 - Conference contribution
AN - SCOPUS:77949454802
SN - 3642117465
SN - 9783642117466
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 123
EP - 139
BT - Engineering Secure Software and Systems - Second International Symposium, ESSoS 2010, Proceedings
Y2 - 3 February 2010 through 4 February 2010
ER -