Deciding security properties for cryptographic protocols. Application to key cycles

Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu

There is a large amount of work dedicated to the formal verification of security protocols. In this paper, we revisit and extend the NP-complete decision procedure for a bounded nu…