Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:From Security Protocols to Secure Systems
Speaker:David Basin
coming from:ETH Zürich
Speakers Bio:
Event Type:MPI-Kolloquium Series Distinguished Speaker
Visibility:D1, D2, D3, D4, D5
We use this to send out email in the morning.
Level:MPI Audience
Date, Time and Location
Date:Wednesday, 29 March 2006
Duration:45 Minutes
Building:46.1 - MPII
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.
Name(s):Roxane Wetzel
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):
Created:Roxane Wetzel/ZB/MPII/DE, 08/23/2006 03:52 PM Last modified:domino/MPII/DE, 11/30/2014 12:04 AM
  • Roxane Wetzel, 03/17/2006 11:29 AM
  • Roxane Wetzel, 03/01/2006 03:09 PM
  • Roxane Wetzel, 03/01/2006 03:08 PM -- Created document.