08.12.2012 Aufrufe

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Current Topics in Information Flow Security<br />

20-00-0612<br />

Gebiet: Fo<strong>und</strong>ations of Computing<br />

Modulverantwortlicher: Prof. Dr.-Ing. Heiko Mantel<br />

Kreditpunkte: 3 Dauer: 1 Semester Turnus: In der Regel jedes Winter-<br />

Semester<br />

Zeit gesamt: 90 h davon Präsenz: 20 h davon eigenständig: 70 h<br />

Lehrveranstaltung:<br />

Current Topics in Information Flow Security<br />

Dozenten: Prof. Dr.-Ing. Heiko Mantel<br />

Seminar 2 SWS<br />

Modulbeschreibung:<br />

Lehrinhalte<br />

Formal definierte Informationsflusseigenschaften legen den Gr<strong>und</strong>stein für einen<br />

eigenschaftsbasierten <strong>und</strong> semantisch f<strong>und</strong>ierten Ansatz zur Sicherheit von Programmen. Teilnehmer<br />

des Seminars werden Ansätze, Techniken <strong>und</strong> Werkzeuge im Gebiet der Informationsflusssicherheit<br />

anhand aktueller Forschungsartikel diskutieren.<br />

Kompetenzen<br />

Kenntnisse von Methoden <strong>und</strong> aktuelle Forschungsfragestellungen zum Thema<br />

Informationsflusssicherheit; Verbesserung der Fähigkeiten zum Lesen <strong>und</strong> Verstehen<br />

wissenschaftlicher Artikel; Fähigkeit zum Präsentieren wissenschaftlicher Ergebnisse<br />

Literatur<br />

Voraussetzungen<br />

Informatik- <strong>und</strong> Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiums<br />

Informatik, insbesondere Fähigkeiten mit formalen Sprachen <strong>und</strong> Kalkülen umzugehen.<br />

Diploma Supplement<br />

<strong>Modulhandbuch</strong> Informatik 180

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!