selected publications chapter Using Requirements Engineering in an Automatic Security Policy Derivation Process. Lecture notes in computer science. 155-172. 2012