Network security (2014/2015)

Course code
4S02798
Name of lecturer
Massimo Merro
Coordinator
Massimo Merro
Number of ECTS credits allocated
6
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Language of instruction
Italian
Location
VERONA
Period
II sem. dal Mar 2, 2015 al Jun 12, 2015.

Lesson timetable

II sem.
Day Time Type Place Note
Tuesday 8:30 AM - 10:30 AM lesson Lecture Hall B  
Thursday 2:30 PM - 5:30 PM lesson Lecture Hall G  

Learning outcomes

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.

Syllabus

- 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.

Assessment methods and criteria

The examination consists of a oral examination.