Introduction to some notions and problems that concern the security of net applications and presentation of some formalisms
and techniques to address them.
The course material is mainly composed by a collection of
journal and conference papers + slides.
- Introduction to security
- 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 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.