Typing Messages for Free in Security Protocols

DOI10.1145/3343507zbMath1433.68211MaRDI QIDQ4972165

Rémy Chrétien, Stéphanie Delaune, Antoine Dallon, Véronique Cortier

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3343507

zbMATH Keywords

verification; security protocols; trace equivalence; symbolic model

Mathematics Subject Classification ID

94A60: Cryptography

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

A decidable class of security protocols for both reachability and equivalence properties