Engineering Secure Software and Systems : First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings - Fabio Massacci, Samuel T. Redwine, Nicola Zannone ((Lecture Notes in Computer Science))