Evènement pour le groupe Séminaire Méthodes Formelles

Date 2019-03-19  11:00-12:00
TitreA theory of assertions for Dolev-Yao models 
RésuméWe undertake an abstract study of certification in security protocols, concentrating on the logical properties and derivability of certificates. Specifically, we extend the Dolev-Yao model with a new class of objects called ‘assertions’, along with an associated algebra for deriving new assertions from old ones. We also provide a case study via the FOO e-voting protocol, and provide algorithms for the derivability problem and the active intruder problem for this system. 
OrateurVaishnavi Sundararajan 
UrlIRISA, Rennes 

Aucun document lié à cet événement.

Retour à l'index