|
Evènement pour le groupe Séminaire Méthodes Formelles
Date | 2019-03-19 11:00-12:00 |
Titre | A 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. |
Lieu | 178 |
Orateur | Vaishnavi Sundararajan |
Url | IRISA, Rennes |
Aucun document lié à cet événement. RetourRetour à l'index
| |