Servizi per la didattica
PORTALE DELLA DIDATTICA

Security verification and testing

01TYAOV

A.A. 2023/24

Course Language

Inglese

Course degree

Master of science-level of the Bologna process in Ingegneria Informatica (Computer Engineering) - Torino

Course structure
Teaching Hours
Teachers
Teacher Status SSD h.Les h.Ex h.Lab h.Tut Years teaching
Teaching assistant
Espandi

Context
SSD CFU Activities Area context
ING-INF/05 6 C - Affini o integrative Attivitą formative affini o integrative
Valutazione CPD 2021/22
2022/23
The course, taught in English in the first semester of the second year of the Master of Science in Computer Engineering, is one of the characterizing courses of the Cybersecurity track. It aims at presenting the main techniques for assessing the cyber security of IT systems, with particular emphasis on distributed systems. The students are expected to gain the knowledge of such techniques, as well as the ability to apply them by using some of the available tools for verification and testing.
The course, taught in English in the first semester of the second year of the Master of Science in Computer Engineering, is one of the characterizing courses of the Cybersecurity track. It aims at presenting the main techniques for assessing the cyber security of IT systems, with particular emphasis on distributed systems. The students are expected to gain the knowledge of such techniques, as well as the ability to apply them by using some of the available tools for verification and testing.
- Knowledge of the general concepts, practice, and standards for security assessment - Knowledge of the main techniques for security verification - Knowledge of the main techniques for vulnerability assessment and penetration testing - Skill to apply the learned techniques with some of the commonly available tools.
- Knowledge of the general concepts, practice, and standards for security assessment of IT systems. - Knowledge of the main techniques for security verification of IT systems. - Knowledge of the main techniques for vulnerability assessment and penetration testing. - Skill to apply the learned techniques with some of the commonly available tools.
Knowledge of procedural and object oriented programming languages, and corresponding programming skills. Basic knowledge of computer network architectures, TCP/IP, HTTP. Basic knowledge of web applications and web programming languages. It is assumed, also, that the students have taken the Information System Security course. The following learning outcomes coming from that course will be exploited: - Knowledge of the main categories of attack against IT systems. - Knowledge of the main concepts (encryption and digest) and technologies (PKI, firewall, VPN, TLS, S/MIME, e-documents) for IT security. - Knowledge of the security architectures for authentication and access control. - Ability to analyze the risks of a network application.
Knowledge of procedural and object oriented programming languages (C and Java), and corresponding programming skills. Basic knowledge of computer network architectures, TCP/IP, HTTP. Basic knowledge of web applications and web programming languages. It is assumed, also, that the students have taken the Information System Security course. The following learning outcomes coming from that course will be exploited: - Knowledge of the main categories of attack against IT systems. - Knowledge of the main concepts (encryption and digest) and technologies (PKI, firewall, VPN, TLS, S/MIME, e-documents) for IT security. - Knowledge of the security architectures for authentication and access control. - Ability to analyze the risks of a distributed application.
General concepts and practice for security assessment (1CFU) - Definition and classification of security assessment techniques (static vs dynamic, white box vs black box, vulnerability assessment, penetration testing, formal verification, ethical hacking, etc) - Security assessment and certification standards Security Verification (3CFU) - formal verification techniques and tools (dataflow and controlflow static code analysis, model checking, theorem proving) - formal verification of security protocols and security-aware applications - static code analysis for security verification and vulnerability assessment (taint analysis, symbolic and concolic execution) Vulnerability Assessment and Penetration Testing (VAPT) (2CFU) - information gathering and scanning techniques and tools with various scopes (host, net DB, service) - penetration testing techniques: attack techniques, exploit
General concepts and practice for security assessment (1CFU) - Definition and classification of security assessment techniques (static vs dynamic, white box vs black box, vulnerability assessment, penetration testing, formal verification, ethical hacking, etc) - Security assessment and certification standards Security Verification (3CFU) - formal verification techniques and tools (dataflow and controlflow static code analysis, model checking, theorem proving) - formal verification of security protocols and security-aware distributed applications - static code analysis for security verification and vulnerability assessment (taint analysis, symbolic and concolic execution). Vulnerability Assessment and Penetration Testing (VAPT) (2CFU) - information gathering and scanning techniques and tools with various scopes (host, net DB, service) - penetration testing techniques and tools: attack techniques, exploit, password cracking, decompilers.
The course is structured into lectures in classroom (4.5 credits), and laboratories (1.5 credits) consisting of exercises on the experimentation of the techniques and tools presented in the lectures. During the labs the students will discuss with the teachers on their solutions to the assigned exercises.
The course is structured into lectures in classroom (4.2 credits), and laboratories (1.8 credits) consisting of the experimentation of the techniques and tools presented in the lectures. During the labs the students will discuss with the teachers on their solutions to the assigned exercises.
The teachers will provide the material (copy of slides and links to on-line resources) on the website of the course.
The teachers will provide the material (copy of slides and links to on-line resources) on the website of the course.
Modalitą di esame: Prova orale facoltativa; Prova scritta in aula tramite PC con l'utilizzo della piattaforma di ateneo;
Exam: Optional oral exam; Computer-based written test in class using POLITO platform;
Gli studenti e le studentesse con disabilitą o con Disturbi Specifici di Apprendimento (DSA), oltre alla segnalazione tramite procedura informatizzata, sono invitati a comunicare anche direttamente al/la docente titolare dell'insegnamento, con un preavviso non inferiore ad una settimana dall'avvio della sessione d'esame, gli strumenti compensativi concordati con l'Unitą Special Needs, al fine di permettere al/la docente la declinazione pił idonea in riferimento alla specifica tipologia di esame.
Exam: Optional oral exam; Computer-based written test in class using POLITO platform;
The exam consists in a written test that may include open-answer and closed-answer questions or exercises aiming at checking that the student has acquired the expected knowledge and skills (see expected learning outcomes). For the part about skills, the questions may be simple exercises or use cases related to the tools experimented in the laboratories. For each question, the maximum grade that can be obtained is specified. The final grade will be the sum of the grades assigned to the answers given to the questions. The written test will be taken by means of the Exams platform, in a classroom. In case of technical problems, the students may be asked to write their test with pencil and paper. The total duration of the test, as measured by the Exams platform, which includes the setup time, is 1 hour and 10 minutes. The test is closed-book, i.e. the student cannot consult any material during the test and cannot use any electronic device, with the exception of the PC used for the test. An oral exam will be requested by the teachers only in case of doubts about the evaluation of the written test. The oral exam will consist of extra questions aiming at resolving the doubts the teachers had in the evaluation. A sample exam test will be made available to the students through the Exercise platform.
In addition to the message sent by the online system, students with disabilities or Specific Learning Disorders (SLD) are invited to directly inform the professor in charge of the course about the special arrangements for the exam that have been agreed with the Special Needs Unit. The professor has to be informed at least one week before the beginning of the examination session in order to provide students with the most suitable arrangements for each specific type of exam.
Esporta Word


© Politecnico di Torino
Corso Duca degli Abruzzi, 24 - 10129 Torino, ITALY
Contatti