Courses in winter term 2018/2019
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, Location and Examination
Start: Monday, 15th of October 2018
Lecture: Wed., 9:15 - 10:45, Attention, we have a room change: ZHG, lecture hall A
Exercise: Mon., 11:30 - 13:00, Attention, we have a room change: VG1c, seminar room 001 or pool room 003
Examination: February 13th, 11:30-13:00, Room: Großer Hörsaal
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