1. Tziviskou, C., Di Nitto, E.: Logic-based management of security in web services. In: IEEE SCC, pp. 228–235. IEEE Computer Society, Los Alamitos (2007)
2. SeCSE: SeCSE IST Project, http://secse.eng.it
3. Lecture Notes in Computer Science;M. Colombo,2006
4. Lecture Notes in Computer Science;M. Papazoglou,2008
5. CEFRIEL, EMIC, L.T.: A4.d14 state of art and impact analysis of identity management. Report, SeCSE project (May 2007), http://www.secse-project.eu/wp-content/uploads/2007/09/a4d14-state-of-the-art-and-impact-analysis-of-identity-management.pdf