CNR – Institute of Informatics and Telematics (I)

Profile and Expertise

The Italian National Research Council (CNR) is the main public research organisation of Italy. The CNR consists of one hundred of different research institutes that span from human sciences to engineering sciences. The CNR has about four thousand researchers. The Pisa Research Area is one of the biggest among the CNR research areas and hosts eight research institutes. In particular, the Institute of Informatics and Telematics (IIT-CNR) performs research in pervasive computing and communication, computational mathematics and systems and network security. The Information Security (IS-IIT) group in the Pisa Research Area of CNR performs research and development activities on dependable and secure distributed systems. It consists of about 20 members ranging from Ph.D. students and researchers to software engineers and three associate university researchers.

Main tasks

CNR will lead WP3 and contribute mainly to WPs 2, 3 and 4.

  • For WP2, CNR expertise will be used for the design and development of security and protection mechanisms for mobile and embedded systems such as for instance the adaptation of the security-by-contract middleware. We also envisage the application of run- time monitoring and enforcement mechanisms for security. CNR through its subcontractor UNIFI will also contribute with the definition of the appropriate safety mechanisms, applicable to the selected use-cases, as well as to the understanding of their cross-influence with security mechanisms.
  • For WP3 CNR will contribute with its expertise on security properties formal specification, analysis and synthesis techniques. The cooperation with the UNIFI subcontractor, with strong expertise on safety will complement the group expertise and create useful synergies for the consortium in order to develop integrated methodologies able to assess jointly security and safety.
  • For WP4, CNR will contribute with its expertise on design methodologies for security and safety, including property and security mechanisms refinement.
  • For WP1 CNR plans to contribute with investigations on the requirements for the processes and methods for assessment, analysis and certification to be adopted and developed in WP3.
  • For WP5 CNR will contribute to task 5.2 the technological and methodological support for the process and methods developed, especially in relation to WP3.

Relevant Experience

The researchers involved in the proposal have a significant expertise on formal models for security, dependability and trust, specification and analysis of security properties, formal tools for security protocols analysis. We have running prototypes for mobile and embedded systems, web/GRID services, etc. We have excellent capabilities of publishing scientific papers as well as on developing software. The experience on EU projects has been acquired through the participation into the following ones (a few currently under negotiation): ANIKETOS, ARTIST2, BIONETS, CONTRAIL, CONNECT, CONSEQUENCE, GRIDtrust, NESSoS, S3MS, SENSORIA.