@inproceedings{PDP-2013-BasileCLP,
	author        = "Cataldo Basile and Daniele Canavese and Antonio Lioy and Christian Pitscheider",
	booktitle     = "{Proceedings of the 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing}",
	doi           = "10.1109/PDP.2013.86",
	isbn          = "978-1-4673-5321-2",
	pages         = "534--541",
	publisher     = "{IEEE Computer Society}",
	title         = "{Improved Reachability Analysis for Security Management}",
	year          = 2013,
}