https://hal.inria.fr/hal-00939187 Contributor : Ben SmythConnect in order to contact the contributor Submitted on : Thursday, January 30, 2014 - 1:11:10 PM Last modification on : Friday, January 21, 2022 - 3:16:07 AM
Miriam Paiola, Bruno Blanchet. Verification of Security Protocols with Lists: from Length One to Unbounded Length. Journal of Computer Security, IOS Press, 2013, 21 (6), pp.781--816. ⟨hal-00939187⟩