Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings - Erlingsson, Úlfar; Wieringa, Roel; Zannone, Nicola (Springer Berlin Heidelberg, 2011)