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|