Courses in winter term 2018/2019

Software Security


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


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