Verlässliche Software für kritische Infrastrukturen (DSCI)
Prof. Dr. Bernhard Beckert, Prof. Dr. Gregor Snelting (KIT, Karlsruhe)
| Preface Bernhard Beckert |
|||
| Modellbasierte Regelungsalgorithmen für das Energienetz der Zukunft Matthias Kahl, Thomas Leibfried |
|||
| Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen Rafael Accorsi |
|||
| Social Key Exchange Network - From Ad-Hoc Key Exchange to a Dense Key Network Dirk Achenbach, David Förster, Christian Henrich, Daniel Kraschewski, Jörn Müller-Quade |
|||
| Towards Secure Cloud Computing through a Separation of Duties Matthias Huber, Christian Henrich, Jörn Müller-Quade, Carmen Kempka |
|||
| A Dual-Engine for Early Analysis of Critical Systems Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann |
|||
| Data Protection in Heterogeneous Distributed Systems: A Smart Meter Example Prachi Kumari, Florian Kelbert, Alexander Pretschner |
|||
| Beweis- und eichrechtliche Aspekte in Bezug auf Elektrofahrzeuge im Smart Grid Eva Weis |
|||
| Simulating a Flash File System with CoreASM and Eclipse Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst |
|||
| Technology Assessment of Software-Intensive Critical Infrastructures - A Research Perspective Carsten Orwat |
|||