Systems Security - Modultafeln of TU Ilmenau
The Modultafeln have a pure informational character. The legally binding information can be found in the corresponding Studienplan and Modulhandbuch, which are served on the pages of the course offers. Please also pay attention to this legal advice (german only). Information on place and time of the actual lectures is served in the Vorlesungsverzeichnis.
|subject properties Systems Security in major Master Research in Computer & Systems Engineering 2016|
|department||Department of Computer Science and Automation|
|ID of group||2255 (Group for Distributed Systems and Operating Systems)|
|subject leader||Prof. Dr. Winfried Kühnhauser|
|on-campus program (h)||34|
|exam||oral examination performance, 20 minutes|
|details of the certificate|
|Signup details for alternative examinations|
|maximum number of participants|
|previous knowledge and experience|
BSc Computer Science, especially algorithms and complexity, automata and formal languages, operating systems, networks, discrete structures
This course focuses on the basic paradigms, methods and concepts in the field of model-based security engineering - the methodical process of engineering a computer system's security properties based on formal security models. In an early stage of the engineering process formal security models are used for the precise and unambiguous representation of security policies which then are analyzed by static model checking and simulative model execution. Successful models afterwards are transformed via specification languages into executable code which finally is integrated into a system’s trusted computing base.
Students acquire knowledge on methodological engineering of security properties based on security policies and their formal models. Successful students will be able to design, analyze and specify security policies and integrate them into the trusted computing base of IT systems.
Course topics are
|media of instruction|
Presentations with projector and whiteboard, books, papers, assignments, discussions
|literature / references|
|evaluation of teaching|
SS 2017 (Fach)
SS 2014 (Seminar)
SS 2016 (Seminar)