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