ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| METODI FORMALI PER LA SICUREZZA | INF/01 | LEZIONI | 48 |
|
Lo studente che ha completato con successo il corso sarà in grado di mostrare una buona conoscenza delle questioni di sicurezza che nascono in informatica e di avere un'idea di come i metodi formali possano aiutare ad affrontarli.
Inoltre lo studente acquisirà la capacità di leggere e comprendere articoli di ricerca sui metodi formali applicati alla sicurezza
The student who successfully completes the course will be able to demonstrate a good knowledge of security issues that arise in Computer Science and to have an idea of how formal methods can help in addressing them. Furthermore the student will have the ability to read and understand a research paper on formal methods applied to security.
La capacità dell'allievo di spiegare correttamente i principali argomenti presentati durante il corso sarà valutata attraverso le prove di verifica intermedie. Con un seminario su un argomento di ricerca scelto insieme all'insegnante, lo studente darà prova di essere in grado di leggere, comprendere uno o più articoli di ricerca sarà valutato e dare un seminario su un argomento di ricerca scelto insieme all'insegnante.
Metodi:
The student's ability to explain correctly the main topics presented during the course will be assessed and to read, understand and give a seminar on a research paper chosen together with the teacher.
Methods:
Lo studente acquisirà la capicità di orientarsi sui principali argomenti presentati durante il corso.
Acquisirà inoltre la capacità di leggere, comprendere articoli di ricerca sugli argomenti affrontati nel corso.
The student will gain insight into the main topics presented during the course.
It will also acquire the ability to read, understand research papers on the topics discussed in the course.
L'accertamento delle capacita' avviene tramite le prove di verifica intermedie e il seminario finale.
The assessment of the skills is carried out through the mid-term tests and the final seminar.
No particular initial knowledge is required. An elementary knowledge of cryptography is certainly useful.
No particular initial knowledge is required. An elementary knowledge of cryptography is certainly useful.
Learning activities:
Attendance: Advised
Teaching methods:
Introduzione a alcune nozioni e problemi che riguardano la sicurezza delle applicazioni di rete e la presentazione di alcuni formalismi e tecniche per affrontarle.
Introduction to some notions and problems that concern the security of net applications and presentation of some formalisms and techniques to address them. -
Il materiale del corso è composto principalmente da una raccolta di articoli da rivista e da convegno e da lucidi.
The course material is mainly composed by a collection of journal and conference papers plus slides.
Gli studenti non frequentanti possono trovare sulla pagina web del corso l'elenco degli argomenti
presentati per ogni singola lezione, con le slide proiettate e i riferimenti al materiale didattico
rilevante.
Le modalita' d'esame per gli studenti non frequentanti sono identiche a quelle per gli
studenti frequentanti.
Non-attending students can find on the course web page the list of topics presented for each lesson,
with the projected slides and references to the relevant teaching material.
Examination methods for
non-attending students are identical to those for attending students.
L'esame consiste nella preparazione di un seminario. Per dare il seminario è necessario aver superato le due prove di verifica intermedie o un test scritto finale equivalente.
The exam consists of a seminar. To give the seminar it is necessary to have passed the two mid-term exams or an equivalent final written test.
