Engineering secure software and systems : Second International Symposium, ESSoS 2010 Pisa, Italy, February 3-4, 2010 Proceedings (2010)