Handbook Chapters

  • M.Egea, I. Matteucci, P. Mori, M. Petrocchi. Definition of Data Sharing Agreements: The case of Spanish Data Protection Law. LNCS. In pubblication. 2014.
  • J. A. Martín, F. Martinelli, I. Matteucci, E. Pimentel, M. Turuani. On the Synthesis of Secure Services Composition. Engineering Secure Future Internet Services and Systems 2014: 140-159
  • R. Conti, A. Lunardelli, I. Matteucci, P. Mori, M. Petrocchi. Preserving Data Privacy in e-Health. Engineering Secure Future Internet Services and Systems 2014: 366-392
  • G. Costa, V. Issarny, F. Martinelli, I. Matteucci, and R. Saadi. Security and Trust. Formal Methods for Eternal Networked Software Systems Lecture Notes in Computer Science, 2011, Volume 6659/2011, 393-416, DOI: 10.1007/978-3-642-21455-4_12
  • G. Lenzini, F. Martinelli, I. Matteucci, and S. Gnesi. A uniform approach to security and fault-tolerance specification and analysis. In R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M. H. ter Beek, editors, WADS, volume 5835 of Lecture Notes in Computer Science, pages 172-201. Springer, 2008.