@MISC{Dimkov_inconsistenciesbetween, author = {Trajce Dimkov and Wolter Pieters and Pieter Hartel}, title = {inconsistencies between security policies}, year = {}}
Portunes: generating attack scenarios by finding
security policy attack scenario