INFORMATIK 2011 Informatik schafft Communities
INFORMATIK 2011 Informatik schafft Communities
INFORMATIK 2011 Informatik schafft Communities
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
donnerstag<br />
6.10.<strong>2011</strong><br />
9:00 - 17:30 Uhr<br />
H 1029<br />
Leitung<br />
Prof. Dr.<br />
Bernhard Beckert,<br />
KIT, Karlsruhe<br />
Prof. Dr.<br />
Gregor Snelting,<br />
KIT, Karlsruhe<br />
74<br />
d o n n e r s ta G<br />
Verlässliche software für kritische<br />
Infrastrukturen (dsCI 11)<br />
> 9:00 - 10:30 Uhr<br />
session 1 (gemeinsam mit IT für die energiesysteme der Zukunft)<br />
Keynote: Cyber-security for Critical Infrastructures<br />
Ragnar Schierholz, ABB, Principal Scientist Software Technologie<br />
Modellbasierte Regelungsalgorithmen für das energienetz<br />
der Zukunft<br />
Matthias Kahl, Thomas Leibfried<br />
> 10:30 - 11:00 Uhr Kaffeepause<br />
> 11:00 - 12:30 Uhr<br />
session 2<br />
Zuverlässig isolierte Geschäftsprozesse<br />
Rafael Accorsi<br />
social Key exchange Network – From Ad-Hoc Key exchange to a<br />
dense Key Network<br />
Dirk Achenbach, David Förster, Christian Henrich,<br />
Daniel Kraschewski, Jörn Müller-Quade<br />
Towards secure Cloud Computing through a separation of duties<br />
Matthias Huber, Christian Henrich, Jörn Müller-Quade,<br />
Carmen Kempka<br />
> 12:30 - 14:00 Uhr Mittagspause<br />
> 14:00 - 15:30 Uhr<br />
session 3<br />
Projektpräsentation: das Projekt MeRegio<br />
Hartmut Schmeck<br />
A dual-engine for early Analysis of Critical systems<br />
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich,<br />
Ulrich Geilmann<br />
data Protection in Heterogeneous distributed systems:<br />
A smart Meter example<br />
Prachi Kumari, Florian Kelbert, Alexander Pretschner
Change language