Prof. David Basin

(ETH Zürich)

"From Security Protocols to Secure Systems"

(Vortrag im Rahmen der "MPI-Kolloquium Series Distinguished Speaker" des "Max Planck Instituts für Software-Systeme")

Information security is central to the proper functioning and acceptance of a wide spectrum of modern systems. Unfortunately, constructing secure systems is difficult as developing secure building blocks "in the small" and their composition to systems "in the large" are both error-prone activities. In this talk, I will show how formal methods --- in particular the use of formal models combined with symbolic computation --- can be employed to tackle both kinds of problems. As examples, I present results on analyzing security protocols, and the automatic generation of secure software-architectures for middleware-based distributed systems from high-level models.

Zeit: Mittwoch, 29. März 2006, 16.00 Uhr
Ort: MPII Saarbrücken, Bau 46.1/Raum 024