Deciding Security for Protocols with Recursive Tests

Lecture Notes in Computer Science - Automated Deduction – CADE-23 ◽

10.1007/978-3-642-22438-6_6 ◽

2011 ◽

pp. 49-63 ◽

Author(s):

Mathilde Arnaud ◽

Véronique Cortier ◽

Stéphanie Delaune

Download Full-text