Engineering secure software and systems second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings - Wallach, Dan; Zannone, Nicola; Massacci, Fabio (Lecture Notes in Computer Science,, 2010)