II/2/1/13 Security: Principles, Techniques and Verification

Lecturer: Antonio Cerone

Duration of the Course: approximately 15 hours

Course Description: Security has become more and more significant in information technology, especially in those applications involving data sharing, communication and transactions through the internet. In addition, security policies and standands are starting to be enforced by a growing number of legislative mandates.

This course will first introduce basic concepts used in security, such as confidentiality, integrity and availability, and outline various general security issues faced by organisations, including reference to standards, legislation and policies. Then it will examine basic techniques necessary to implement security:

• cryptography;

• key management;

• access control;

• information flow.

The last part of the course will focus on modelling cryptographic protocols and on methodologies to formally specify and verify their security properties.