GI e.V.

Gesellschaft für Informatik e.V.

Fachgruppe FoMSESS
 

Konstituierende Sitzung GI-FoMSESS am 13. Januar 2003
FB Sicherheit FG FoMSESS Über uns ... About us ... Mailingliste Veranstaltungen Ressourcen, Links Mitglied werden Leitungsgremium Formalia  
 
Impressum
Ergebnisprotokoll



Am 13.1.2003 fand die konstituierende Sitzung der neuen GI-Fachgruppe ,,Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS)" an der TU München statt. Die Fachgruppe war im letzten Jahr als Teil des neuen Fachbereiches Sicherheit vom Fachbereichsrat gegründet worden. Das konstituierende Leitungsgremium besteht aus: Jan Jürjens (TU München, Sprecher), Thomas Santen (TU Berlin, stellvertretender Sprecher), Maritta Heisel (TU Ilmenau), Dieter Hutter (DFKI, Saarbrücken), Heiko Mantel (DFKI, Saarbrücken), Guido Wimmel (TU München), Burkhart Wolff (Universität Freiburg).

Zielsetzung dieser Fachgruppe ist es, in der Computer- und Informationssicherheit ein Diskussionsforum im deutschsprachigen Raum zu bieten, das sich mit der Grundlagenforschung und Anwendung formaler oder mathematisch präziser Techniken im Software-Engineering beschäftigt. Von Interesse für die FG ist Sicherheit im Sinne sowohl von Safety als auch von Security.

Die Entwicklung vertrauenswürdiger sicherheitskritischer Systeme ist schwierig. Es werden viele Systeme entworfen und realisiert, in denen im Nachhinein schwere Sicherheitslücken in Entwurf und Implementierung gefunden werden, die zum Teil schlagzeilenträchtiges Fehlverhalten oder Angriffe ermöglichen. Dies motiviert die Entwicklung effektiver Methoden für die Entwicklung qualitativ hochwertiger sicherheitskritischer Systeme.

Die konstituierende Sitzung war mit knapp 30 Teilnehmern gut besucht. Die zügig ansteigende Mitgliederzahl der Fachgruppe liegt zur Zeit bei nahe 50; die FoMSESS email-Liste hat gegenwärtig ca. 80 Mitglieder. Die anzustrebenden Ziele und geplanten Aktivitäten wurden ausführlich diskutiert. Unter anderem ist geplant, das erste Jahrestreffen der Fachgruppe mit fachlichen Beiträgen am 12. und 13. Mai 2003 in Karlsruhe auf Einladung von Bernhard Beckert (z.Zt. Universität Koblenz) stattfinden zu lassen. Weiterhin plant die Fachgruppe eine Beteiligung an der Teiltagung Sicherheit im Rahmen der 33. Jahrestagung der GI vom 29.9.-2.10.2003 an der Universität Frankfurt/Main.

Interessenten sind jederzeit willkommen. Weitere Informationen - auch zum geplanten Jahrestreffen, zu dem Interessierte herzlich eingeladen sind - gibt es auf dieser Webseite. Die dort abonnierbare FG-email-Liste steht allen Interessierten offen; Mitglied in der FG kann jedes GI-Mitglied werden, ohne dass weitere Gebühren erhoben werden.

Ergebnisprotokoll


Ergebnisprotokoll der konstituierenden Sitzung vom 13.01.2003 (.pdf)
nach oben

Verantwortlich für diese Webseite ist die GI-Fachgruppe FoMSESS.
Wir sind nicht verantwortlich für die Inhalte externer Internetseiten.
Copyright © 2002 Fachgruppe FoMSESS der GI e.V. - Alle Rechte vorbehalten.

Jan Jürjens