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
-- Case studies: Cross-site scripting, Cross-site Request Forgery, Injection attacks
The theoretical lectures will be integrated by a lab that will confront the students with problems related to different topics in information security and will thus allow them to carry out experiments and apply the concepts they have previously learned.
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 project and an oral examination.
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2021 | Verona University | Credits