AUTONOMOUS, DISTRIBUTED AND PERVASIVE SYSTEMS-3

Academic year
2023/2024 Syllabus of previous years
Official course title
AUTONOMOUS, DISTRIBUTED AND PERVASIVE SYSTEMS-3
Course code
PHD156-3 (AF:471256 AR:258250)
Modality
On campus classes
ECTS credits
2
Degree level
Corso di Dottorato (D.M.45)
Educational sector code
INF/01
Period
Annual
Course year
1
Where
VENEZIA
Moodle
Go to Moodle page
The course will provide a rigorous introduction to formal methods for software security. It will present techniques designed to formally prove the absence of vulnerabilities.
The student will learn the basics of selected techniques of apparent success in the fields of formal methods for security. The student will improve their formalization and proof skills.
Basics of discrete mathematics.
Access control, language-based security, information flow control, security of distributed protocols.
Lecture notes given by the teacher.
Written exam, including some exercises and theoretical questions related to the main contents of the course. An alternative way of verifying learning can be agreed with the teacher.
Frontal lesson on the blackboard.
English
written
Definitive programme.
Last update of the programme: 16/02/2024