In recent years, computer systems security has evolved from an elitist asset of highly specialized systems to a key property in almost all application areas. Vital sectors of our society, such as energy, water, traffic management, financial management, production, administration and research, are highly dependent on the security of computer systems.
Computer security has made huge advances in the last two decades and is nowadays among the key topics in computer science. This course focusses on the basic paradigms, methods and concepts of the field of security engineering – the methodical engineering of a computer system's security properties.
Course topics are
security policies and their formal models
security policy specification
Course material can be found on moodle
For the time being, events with physical presence are still massively restricted. Because of this, the following organizational conditions for this course apply:
Until we are able to securely meet in person, we will have exclusively online lectures. To attend, please enrol in the moodle course and participate in the Exercises Group Choice there. Self-enrolment is open from Apr 19 till May 9 23:59.
The first course event will be an online lecture on Tue, Apr 27, 11:00–12:30. This and all further online events exactly match the time slots originally planned for physical events.
The whole course will consist of online lectures, self-studies, group assignments and questions and answers (Q&A) for your self-assessment. All material is provided via moodle (see above).
All online events are held via Webex Meetings. Links to attend are provided via moodle (see above).
Algorithms and Data Structures
abstract data types: algebras
standard data types: graphs, trees, sets, linked and hash lists
algorithms: computational complexity and decidability
Automata and Formal Languages
patterns and regular expressions
iteration, induction, recursion
fundamental OS abstractions
concurrency and synchronization
protocols and protocol layers
basic cryptographic mechanisms
- Bachelor Informatik, Ingenieuinformatik;
- Master Wirtschaftsinformatik, Medientechnologie, Research in Computer and Systems Engineering (RCSE)
Credits: 5 (3+1)
Lecturer: Peter Amthor (FG VSBS Staff 2)
Times & Rooms: online