Fabio Massacci Samuel T. Redwine Jr. Nicola Zannone Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings 5429 2009 http://dx.doi.org/10.1007/978-3-642-00199-4 978-3-642-00198-7 ESSoS Lecture Notes in Computer Science Springer db/conf/essos/essos2009.html