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 -
Über uns ...About us ...MailinglisteVeranstaltungenRessourcen, LinksMitglied werdenLeitungsgremiumFormalia
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.
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 http://www.hotel-hasen.de. 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 |
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 | 
|