Courses in winter term 2017/2018
Software Security
Contents
Security engineering: specifying, analyzing and verifying of security requirements, protection goals and protection mechanisms, risk management based on threat analyses (misuse diagrams and attack trees), security standards (IT-Sec and CC), formal models for computer security (BLP and BIBA), information flow control (JiF), cryptographic foundations and algorithms, specifying and analyzing security protocols (NSP and Kerberos) using formal methods (FDR), challenges in security engineering
Forms of Teaching and Proportion
Lecture (2 Hours per Week) + Exercise (2 Hours per Week), 6 ETCS, Master Modul Software Security
Time and Location
Start: Wednesday, 18th of October 2017
Lecture: Wed., 9:15 - 10:45, room HG 0.18
Exercise: Fri., 11:30 - 13:00, room ZHG SR 1
Preconditions
Basic knowledge in software engineering and mathematics (logic, algebra, number theory)
Supporting Material
Since communication will be performed via Moodle course website, all participants must register at this Moodle-Site