Course Presentation
Introduction to some notions and problems that concern the security of net applications and presentation of some formalisms
and techniques to address them.
- Introduction to security
-
Security models
- Cryptographic protocols:
- Formal description
- Security Properties
- Static and Dynamic Analysis Techniques
- Language-based Security:
Problems and Properties
- Formalisms, Methods and Techniques
- History-based Security
- Web Services Security and Service Orchestration
The course material is mainly composed by a collection of
journal and conference papers + slides.
The student's ability to explain correctly the main topics presented during the course at the board will be assessed and to read, understand and give a seminar on a research paper chosen with the teacher.
Courses like Modelli di Calcolo (MOD) and Semantica e teoria dei tipi (STT) can be useful to better appreciate technical details presented in the course.