|Tuesday||8:30 AM - 10:30 AM||lesson||Lecture Hall B|
|Thursday||2:30 PM - 5:30 PM||lesson||Lecture Hall G|
The objective of the course is to introduce the principal methodologies and technologies for the security of computer networks, of distributed information systems, and of service-oriented software architectures. The course thus provides the main theoretical and applied notions for the theoretical design, the practical realization and the formal analysis of protocols, networks, systems and architectures for information security.
- Introduction and basic notions:
-- Objectives, risks, attacks
-- Symmetric and asymmetric cryptography
-- Public-key infrastructures
-- Communication channels
-- Case studies (X.509, PGP)
- Security protocols:
-- Risk and attack models
-- Formal analysis techniques
-- Case studies (Kerberos, Transport Level Security TLS, Internet Key Exchange IKE, IP Security IPSec, Single Sign-On SSO)
- Privacy and anonymity:
-- Policies, problems and mechanisms (pseudonyms and proxies)
-- Case studies (Mix Networks, Crowds, Side-channel attacks)
- Intruders and firewalls
- Security of Web Services and service-oriented architectures
In order to be able to fully benefit from the course, it is advisable for the student to have attended a course on computer networks.
The examination consists of a oral examination.
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2020 | Verona University | Credits