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