The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols (technical report)
Résumé
Privacy-preserving security properties in cryptographic protocols are typically modelled by observational equivalences in process calculi such as the applied pi-calulus. We survey decidability and complexity results for the automated verification of such equivalences , casting existing results in a common framework which allows for a precise comparison. This uni ed view, beyond providing a clearer insight on the current state of the art, allowed us to identify some variations in the statements of the decision problems – sometimes resulting into different complexity results. Additionally, we prove a couple of novel or strengthened results.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...