MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

From Security Protocols to Secure Systems

David Basin
ETH Zürich
MPI-Kolloquium Series Distinguished Speaker
AG 1, AG 2, AG 3, AG 4, AG 5  
MPI Audience

Date, Time and Location

Wednesday, 29 March 2006
16:00
45 Minutes
46.1 - MPII
024
Saarbrücken

Abstract

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.

Contact

Roxane Wetzel
0681/9325-900
--email hidden
passcode not visible
logged in users only

Roxane Wetzel, 03/17/2006 11:29
Roxane Wetzel, 03/01/2006 15:09
Roxane Wetzel, 03/01/2006 15:08 -- Created document.