@conference{Martinelli:2012,
author = "Fabio Martinelli and Ilaria Matteucci and Charles Morisset",
booktitle = "Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security",
doi = "10.1007/978-3-642-33704-8_3",
isbn = "978-3-642-33703-1",
note = "partners: IIT-CNR, Projects: NeSSoS, Connect, no TIER, citations 4",
pages = "22--35",
publisher = "Springer-Verlag",
series = "MMM-ACNS'12",
title = "{F}rom qualitative to quantitative enforcement of security policy",
year = "2012",
}