Roberto Gorrieri (University of Bologna)

Gorrieri (PhD and Ms in computer science from Pisa University) is associate professor at the Department of Computer Science of the University of Bologna, Italy. He is member of the EATCS board, secretary of IFIP TC1, chair of IFIP WG 1.7 on theoretical foundations of security analysis and design, and editor of the Journal of Theoretical Computer Science.

Riccardo Focardi (University of Venezia)

Focardi (PhD in computer science from Bologna University) is assistant professor at the Department of Computer Science of the University of Venice, Italy. He is member and secretary of IFIP WG 1.7 on theoretical foundations of security analysis and design.

Classification of Security Properties (CSP): 6 hours.

Many non-interference-like properties proposed for computer security are classified and compared in a unifying framework. The resulting taxonomy is evaluated through some case studies of access control in computer systems. The basic idea of non-interference is then applied to network security, in particular to the verification of security protocols. The approach has been mechanised, resulting in the tool CVS/Cosec. Several new attacks have been found for some protocols, including a few protocols that were considered correct.