Campus Event Calendar
Event Entry
New for: D1, D2, D3, D4, D5
What and Who
Verification of Security Protocols
Veronique Cortier
Loria France
Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 17 November 2010
14:00
60 Minutes
E1 7 Clustergebäude
001
Saarbrücken
Abstract
Security protocols are short programs aiming at securing
communications over a network. They are widely used in our everyday
life. Their verification using symbolic models has shown its interest
for detecting attacks and proving security properties. In particular,
several automatic tools have been developed and are used to
efficiently detect flaws. In this talk, we will first review results
and techniques that allow automatic analysis of security protocols.
In a second part, we will present recent results that demonstrate that
formal abstract models used for verification are actually sound with
respect to much richer models that considers issues of complexity and
probability. As a consequence, it is possible to derive strong, clear
security guarantees still keeping the simplicity of reasoning in
symbolic models.
communications over a network. They are widely used in our everyday
life. Their verification using symbolic models has shown its interest
for detecting attacks and proving security properties. In particular,
several automatic tools have been developed and are used to
efficiently detect flaws. In this talk, we will first review results
and techniques that allow automatic analysis of security protocols.
In a second part, we will present recent results that demonstrate that
formal abstract models used for verification are actually sound with
respect to much richer models that considers issues of complexity and
probability. As a consequence, it is possible to derive strong, clear
security guarantees still keeping the simplicity of reasoning in
symbolic models.
Contact
Christina fries
--email hidden
passcode not visible
logged in users only
Christina Fries, 11/17/2010 08:54 -- Created document.