Lehrveranstaltungen in der Informatik

Language-based Security

Prof. Dr. J. Christiansen

zurück zurück

Inhalt

Unter dem Begriff Language-based Security werden Ansätze zusammengefasst, die moderne Programmier­sprachen­techniken einsetzen, um die Security (Angriffs­sicherheit) bzw. die Safety (Betriebs­sicherheit) von Anwendungen zu gewähr­leisten. Die Lehrveranstaltung ist forschungs­orientiert und führt in dieses Thema ein. Im Rahmen der Übungen werden wissen­­schaftliche Arbeiten und Buch­kapitel aus dem Bereich Language-based Security gelesen und diskutiert. Außerdem werden in den Übungen Programme entwickelt, welche die vorgestellten Techniken implementieren.

Es gibt keine Voraus­setzungen für die Teilnahme; alle Grund­lagen, die für das Verständnis der Arbeiten notwendig sind, werden in der Veranstaltung erarbeitet.

Organisation

Vorlesung / Labor  4-std.

Sprache: deutsch

Präsenzstudium: 60 h, Eigenstudium: 120 h
Gesamtaufwand: 180 h

Leistungspunkte (credit points): 6

Vorbedingungen: keine

Prüfung: PL (HA, Arb, Vortr)

Lernziele

Sie kennen Techniken moderner Programmier­sprachen und deren Anwendung im Bereich der Security. Sie können sich selbst­ständig in aktuelle Forschungs­arbeiten in diesem Bereich einarbeiten und diese bewerten.

Literatur

B.C. Pierce: Types and Programming Languages. Mit Press (2002)

B.C. Pierce: Advanced Topics in Types and Programming Languages. Mit Press (2005)