CODE 80156 ACADEMIC YEAR 2018/2019 CREDITS 9 cfu anno 1 INGEGNERIA INFORMATICA 8733 (LM-32) - GENOVA 6 cfu anno 3 INFORMATICA 8759 (L-31) - GENOVA SCIENTIFIC DISCIPLINARY SECTOR ING-INF/05 LANGUAGE English TEACHING LOCATION GENOVA SEMESTER 1° Semester TEACHING MATERIALS AULAWEB OVERVIEW Computer Security pervades every aspect of the modern online experience, from conventional computers to mobile phones and the IoT. This course covers some of the fundamental principles of Computer Security. Topics covered include cryptographic hash functions, symmetric and asymmetric ciphers, digital signatures, digital certificates, security protocols, and access control. An introduction to network security and web security is also provided. The course features a number of hands-on sessions and a cyber exercise (e.g. a Capture-the-Flag competition). AIMS AND CONTENT LEARNING OUTCOMES An understanding of the differences between various forms of computer security arising in different domains and techniques to achieve them; an understanding of some common security pitfalls and countermeasures. PREREQUISITES Good programming skills Fundamentals of Computer Architectures and Operating Systems Fundamentals of communication protocols and the TCP/IP TEACHING METHODS Lecture-style instruction complemented with hands-on session on selected topics (e.g. secure mail, web security). The examination consists of a written and a practical exam (cyber exercise). SYLLABUS/CONTENT Introduction Computer Security [1h] The concepts of resource, vulnerability, threat, countermeasure, and risk Security goals: confidentiality, integrity, availability, ... Introduction to Cryptography [2h] Fundamental concepts (cryptography, cryptanalysis, general cryptographic schema) Monoalphabetic substitution ciphers (Caesar cipher) Polyalphabetic substitution ciphers (Vigenère cipher) One-time pads (Vernam cipher) Transposition ciphers Composite ciphers Symmetric Cryptography [3h] Block and stream ciphers Feistel cipher structure DES and 3DES Modes of operation (Electronic Code Book, Cipher-Block Chaining, Stream Ciphers) Link vs end-to-end encryption The key distribution problem Public-Key Cryptography [6h] Introduction to public-key cryptography Introduction to Number Theory The RSA algorithm Diffie-Hellman key exchange Message Authentication and Digital Signatures [3h] Message integrity and authentication functions (message encryption, message authentication code, cryptographic hash functions) Digital signature Public Key Infrastructure (PKI) [3h] PKI components Digital Certificates Trust models Security Protocols [6h] Basic notions (protocol execution, assumptions and goals, attacker model) Examples of protocols (NSPK, Otway-Rees, Andrew Secure RPC, Denning & Sacco) Prudent engineering of security protocols Kerberos (architecture, protocol, inter-realm communication, limitations) Secure mail [3h+3h hands on] PGP Network Security [6h] Link Layer: WiFi Security Network Layer: IP-Sec Transport Layer: SSL/TLS Introduction to Firewalls Web Security [6h + 6h hands on] Security on the client side (cookies and privacy, HTTP authentication mechanisms) Security on the server side (unvalidated input, broken authentication and session management, cross-site scripting, injection flaws, denial of service, ...) Secure Programming [6h] Buffer overflows Format string vulnerabilities Access Control [6h] Discretionary vs Mandatory Access Control Access control matrix model Role-Based Access Control (RBAC) Administrative Role-Based Access Control (ARBAC) I modelli di Bell-LaPadula, Harrison-Ruzzo-Ullman, Chinese Wall Cyber Exercise [12h hands on] RECOMMENDED READING/BIBLIOGRAPHY Teaching material (slides and exercises) are available on AulaWeb. Charles P. Pfleeger Shari Lawrence Pfleeger. Security in Computing, 4/E. ISBN-10:0132390779, ISBN-13: 9780132390774, Prentice Hall Editor, 2007. (Available also in Italian) William Stallings, Lawrie Brown. Computer Security: Principles and Practice (3rd Edition). Pearson Ed., 2015 TEACHERS AND EXAM BOARD ALESSANDRO ARMANDO Ricevimento: Tuesday, 2:00pm - 5:00pm Exam Board ALESSANDRO ARMANDO (President) GIOVANNI LAGORIO ALESSIO MERLO LESSONS Class schedule The timetable for this course is available here: Portale EasyAcademy EXAMS EXAM DESCRIPTION Written + Practical ASSESSMENT METHODS At the end of the course, students will be able to assess the security issues associated with software applications and will be able to identify the security techniques necessary to meet the security requirements. Exam schedule Data appello Orario Luogo Degree type Note 15/01/2019 14:00 GENOVA Scritto 06/02/2019 14:00 GENOVA Scritto 22/02/2019 14:00 GENOVA Scritto 20/06/2019 14:00 GENOVA Scritto 18/07/2019 14:00 GENOVA Scritto 02/09/2019 14:00 GENOVA Scritto