Crossmark

A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties

Published Online: 2020-10-21

Published Print: 2021-04

Authors

Cortier, Véronique

Delaune, Stéphanie

Sundararajan, Vaishnavi
Funding

Funding for this research was provided by:

European Research Council (714955)

FP7 Ideas: European Research Council (645865)
License Information

Text and Data Mining valid from 2020-10-21

Version of Record valid from 2020-10-21
More Information

Article History

Received: 22 January 2020

Accepted: 9 October 2020

First Online: 21 October 2020

Document is current