GI e.V.

Gesellschaft für Informatik e.V.

Fachgruppe FoMSESS
 

- Formale Methoden und Software Engineering für Sichere Systeme
Formal Methods and Software Engineering for Safety and Security -

FB Sicherheit FG FoMSESS Über uns ... About us ... Mailingliste Veranstaltungen Ressourcen, Links Mitglied werden Leitungsgremium Formalia  
 
Impressum

Jahrestreffen 2009

Das siebte Jahrestreffen der GI-Fachgruppe FoMSESS findet am 5. und 6. März 2009 an der Universität Karlsruhe (TH) am Lehrstuhl Prof. Dr. Gregor Snelting statt.

Vortragsraum: Informatikgebäude, Am Fasanengarten 5, Raum -101 (minus 101, im Unter-Geschoss).

Ziel der Fachgruppe ist es, in der Computer- und Informationssicherheit ein Diskussionsforum im deutschsprachigen Raum zu bieten, das sich mit der Grundlagenforschung und Anwendung formaler und mathematisch präziser Techniken im Software-Engineering beschäftigt. Dabei ist Sicherheit sowohl im Sinne von Safety wie auch im Sinne von Security zu verstehen.

Im Programm der Jahrestreffen ist deshalb u.a. Raum für

  • eingeladene Vorträge:
    • Prof. Dr. Peter H. Schmitt (Uni Karlsruhe): "Formal Verification of object-oriented Programs"
    • Prof. Dr. Alexander Pretschner (TU Kaiserslautern und Fraunhofer IESE): "Usage Control: From Policies to Mechanisms"
    • Dr. Martin Leucker (TU München): "Model-based runtime analysis of distributed reactive systems"
  • Vorträge über aktuelle Forschungsprojekt-Initiativen:
    • Prof. Dr. Heiko Mantel (TU Darmstadt): "SPP Initiative Zuverlässig Sichere Softwaresysteme"
  • Fachvorträge, in denen über konkrete Arbeits- und Forschungsergebnisse berichtet wird,
  • Übersichtsvorträge, die das Profil einzelner Arbeitsgruppen beschreiben.
Die Teilnahme steht allen Interessierten offen. Wie schon bei den vorangegangenen Treffen soll allen Interessierten Gelegenheit gegeben werden, ihre Arbeiten vorzustellen. Geplant ist weiterhin die turnusmäßige Wahl des Leitungsgremiums.

Vortrags-Vorschläge werden bis zum Fr 06.02.2009 erbeten. Vortragsvorschläge oder Fragen richten Sie bitte an Jan Jürjens.

Für die Übernachtung steht ein begrenztes Kontingent im nahegelegenen Hoepfner-Burghof Hotel zur Verfügung (in dem auch das Abendessen am 5. Maerz stattfindet), sowie im Hotel Hasen. Eine weitere Übernachtungsmöglichkeit gibt es darüberhinaus im City Hotel. (Bitte reservieren Sie Ihr Zimmer direkt beim Hotel.)

Es wird kein Teilnahmebeitrag erhoben. Für Studenten und Doktoranden stehen auf Antrag evt. begrenzte Finanzmittel zur Reisekostenunterstützung zur Verfügung (auf first-come-first-serve Basis).

Organisatoren:
  • Lokale Organisation: Lehrstuhl Prof. Snelting (Uni Karlsruhe)
  • Vortragseinreichung, Anmeldung: Jan Jürjens (Open University und MSRC)
  • Kontakt: Jan Jürjens.

Vorläufiges Programm

Donnerstag, 5.3.2009

11:00 Gregor Snelting, Universität Karlsruhe (TH)
Jan Jürjens, Open University (UK) und Microsoft Research (Cambridge) 		Begrüßung
11:00-12:00 Alexander Pretschner
TU Kaiserslautern und Fraunhofer IESE 		Eingeladener Vortrag:
Usage Control: From Policies to Mechanisms
12:00-12:30 Cosmin Mogos und Ina Schieferdecker
Technische Universität Berlin und Fraunhofer FOKUS 		Trust in Communication Spaces
12:30-13:00 Werner Stephan
DFKI 		Induktive Verifikation von Passwortprotokollen
Mittagessen
14:30-15:30 Martin Leucker
Technische Universität München 		Eingeladener Vortrag:
Model-based runtime analysis of distributed reactive systems
15:30-16:15 Christian Hammer und Dennis Giffhorn
Universität Karlsruhe (TH) 		Practical information flow control for Java with JOANA
Kaffeepause
16:30-17:00 Heiko Mantel
Technische Universität Darmstadt 		SPP Initiative: Zuverlässig Sichere Softwaresysteme
17:00-17:15 Andreas Roth
SAP Research 		EU FP7 Projekt "Deploy"
17:15-17:30 Jan Jürjens
Open University (UK) und Microsoft Research (Cambridge) 		EU IP: Security Engineering for Evolving Systems
17:30-18:00 Alle Teilnehmer Diskussion: mögliche Forschungsprojekte; Organisatorisches/Wahlen
18:00-18:30 Leitungsgremium LG Sitzung
ab 19:00 Abendessen im nahegelegenen Hoepfner-Burghof Hotel

Freitag, 6.3.2009

9:00-10:00 Peter H. Schmitt
Universität Karlsruhe (TH) 		Eingeladener Vortrag:
Formal Verification of object-oriented Programs
10:00-10:30 Sabine Glesner
Technische Universität Berlin 		Model Checking SystemC Designs using Timed Automata
10:30-11:00 Nina Moebius und Kurt Stenzel
Universität Augsburg 		SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications
Kaffeepause
11:30-12:15 Frank Ortmeier, Matthias Güdemann und Wolfgang Reif
Universität Augsburg 		Model-based Safety Analysis
12:15-12:45 Daniel Wasserab
Universität Karlsruhe (TH) 		Korrektheitsbeweise für Information Flow Control mittels des Theorembeweisers Isabelle/HOL
Mittagessen
14:00-14:30 Dieter Hutter
DFKI 		Patching Security Protocols
14:30-15:00 Barbara Sprick
Technische Universität Darmstadt 		On the Decidability of Information Flow
15:00-15:30 Henning Sudbrock
Technische Universität Darmstadt 		Information Flow Analysis with the Combining Calculus using Program Transformations
Kaffeepause
15:45-16:15 Alexander Lux
Technische Universität Darmstadt 		Explicit Reference Points for Declassification
16:15-16:30 Pierre Parrend
FZI Karlsruhe 		A software engineering approach for building secure Java/OSGi platforms
16:30-16:45 Shareef Islam
Technische Universität München 		Software Security Risk Management Modeling
16:45 Jan Jürjens
Open University (UK) und Microsoft Research (Cambridge) 		Abschließende Bemerkungen
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