| Chair: Maritta Heisel | | |
| 9:30 - 10:00 |
Christian Hammer |
Universität Passau |
Information Flow Control Based on Path Conditions in Dependence Graphs (PDF) |
| 10:00-10:30 |
Burkhardt Wolff |
ETH Zürich |
Testen von Firewalls mit HOL-TestGen: Eine Fallstudie (PDF) |
| 10:30-11:00 |
Gerd Beuster |
Universität Koblenz-Landau |
Formal User Interface Security Modeling (PDF) |
|
| Kaffeepause |
| Chair: Peter Herrmann | |
| 11:30-12:15 |
Thomas Santen |
Technische Universität Berlin |
Ein Framework für vertraulichkeitserhaltende Verfeinerung |
| 12:15-12:45 |
Barbara König |
Universität Duisburg-Essen |
Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation |
|
| Mittagspause |
| Chair: Sabine Glesner | | |
| 14:00-14:30 |
Vladimir Klebanov |
Universität Koblenz-Landau |
A Dynamic Logic for Deductive Verfication of Concurrent Programs |
| 14:30-15:30 |
Peter Ladkin |
Universität Bielefeld |
Eingeladener Vortrag:
Ontologische Analyse von Bahnbetriebsverfahren: Ein formal rigoroses Lightweight-Entwicklungsmodell von Safety Requirements bis zur Elektronik |
|
| Kaffeepause |
| Chair: Thomas Santen | | |
| 16:00-16:45 |
Holger Schmidt |
Universität Duisburg-Essen |
Security Engineering basierend auf einem Mustersystem (PDF) |
|
| 19:30-... | Conference dinner, Webster | | |
|
| | | |
Hauptseite