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

Organization

COVID-19 Conditions

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).

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

Programs:

  • 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