Engineering Secure Software And Systems: Second International Symposium, Essos 2010, Pisa, Italy, February 3 4, 2010. Proceedings