On Well-Founded Security Protocols (Extended Abstract)
Author: Sibylle Froeschle
Paper Information
| Title: | On Well-Founded Security Protocols (Extended Abstract) |
| Authors: | Sibylle Froeschle |
| Proceedings: | FCS-FCC 2014 Informal Proceedings |
| Editors: | Matteo Maffei, Michael Clarkson and Boris Köpf |
| Keywords: | decidability, security protocols, causality |
| Abstract: | ABSTRACT. We introduce the class of well-founded protocols, and explain why leakiness is decidable for it. We hope that this will help to unify our understanding of a group of results that obtain decidability by imposing conditions that make encrypted messages context-explicit. |
| Pages: | 1 |
| Talk: | Jul 18 16:50 |
| Paper: |  |