Course Description

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

  • security mechanisms

  • security architectures  

Course material can be found on moodle


Pay Attention to Infection Prevention Regulations

A good learning experience inevitable requires personal interaction and discussion. Since I highlight the importance of active learning and debating, even for a lecture format, and since we will work on some practical tasks during the seminars, let us all make sure to adhere to the university's COVID preventions strategy and according regulations.

Together with you as participants, I am looking forward to a complete semester of personal teaching, supervision, and successful exams!

– P. A.

Recommended Prerequisites

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

  • predicate logic

  • deterministic automata

  • patterns and regular expressions

  • iteration, induction, recursion

Operating Systems

  • fundamental OS abstractions

  • concurrency and synchronization

  • system architectures

Computer Networks

  • protocols and protocol layers

  • basic cryptographic mechanisms

General Information


  • 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:see OTT