| unizeit Nr. 30 vom 28.05.2005, Seite 3 |
|
Jahrestagung für sichere Systeme
Am 6. und 7. Juni trifft sich am Kieler Institut für Informatik die Fachgruppe FoMSESS der Gesellschaft für Informatik zur dritten Jahrestagung. FoMSESS steht für "Formale Methoden und Software Engineering für sichere Systeme". Ziel der Fachgruppe ist es, in der Computer- und Informationssicherheit ein Diskussionsforum im deutschsprachigen Raum anzubieten, das sich mit der Grundlagenforschung und Anwendung formaler und mathematisch präziser Techniken im Software Engineering beschäftigt.Der Begriff Sicherheit hat in der Informatik zwei Bedeutungen. Im Sinne von "Safety" geht es zum Beispiel um Sicherheit im Straßenverkehr oder bei der Luft- und Raumfahrt. Arbeiten hierzu laufen am Lehrstuhl für Echtzeitsysteme (Professor Reinhard von Hanxleden) und am Lehrstuhl für Softwaretechnologie (Professor Willem-Paul de Roever). Im Sinne von "Security" geht es darum, vertrauliche Daten elektronisch, etwa per EMail, auszutauschen oder Umgang mit digitalen Geldscheinen und Münzen zu ermöglichen. Am Lehrstuhl für Technische Informatik (Professor Manfred Schimmler) werden zum Beispiel neue Techniken zur Verschlüsselung und Entschlüsselung (Kryptographie) entwickelt. Mit der Sicherung genetischer Daten befasst sich der Lehrstuhl für Kommunikationssysteme (Professor Norbert Luttenberger). Am Lehrstuhl für Programmiersprachen (Professor Michael Hanus) werden Programmiersprachen und Programmierkonzepte entwickelt, die heutzutage ständig auftretende Probleme im Voraus verhindern. Und die Arbeitsgruppe von Professor Thomas Wilke (Theoretische Informatik) entwickelt Methoden, mit denen zum Beispiel Verfahren für den Abschluss elektronischer Verträge sicherheitskritisch überprüft werden können. ne
Zuständig für die Pflege dieser Seite:
Pressestelle der Universität
► presse@uv.uni-kiel.de