Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Formal Verification of Security Protocols using Automata

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

Date
Le mardi 19 juin 2007 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Roberto Segala (Università di Verona, Italie)

In this talk we will show how it is possible to use Probabilistic Automata for the verification of security protocols, and in particular how simulation-based proofs can be employed. The simulation method is useful in general to reduce the analysis of global properties to the analysis of local properties of single computational steps. We extend the same idea to analyze global security properties. Since security holds under computational assumptions and up to a negligible probability of error, we propose a notion of polynomially accurate simulation relation for Probabilistic Automata and we illustrate it by analyzing a simple authentication protocol. In particular we show how the negation of the step condition of our simulation relation becomes the definition of a forger for a signature scheme.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents