Engineering secure software and systems : First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009 Proceedings (2009)