An E-unification algorithm for analyzing protocols that use modular exponentiation (2003)

Cached

Download Links

by Deepak Kapur , Paliath Narendran , Lida Wang
Citations:17 - 0 self

Documents Related by Co-Citation

872 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
66 Intruder deductions, constraint solving and insecurity decision in presence of exclusive or – H. Comon-Lundh, V. Shmatikov - 2003
78 An NP Decision Procedure for Protocol Insecurity with XOR – Yannick Chevalier, Ralf Küsters, Michael Rusinowitch, Mathieu Turuani - 2003
46 Deciding the security of protocols with Diffie-Hellman exponentiation and products in exponents – Yannick Chevalier, Ralf Küsters, Michael Rusinowitch, Mathieu Turuani - 2003
181 Unification Theory – Franz Baader, Wayne Snyder - 2001
22 A Unification Algorithm for the Group Diffie-Hellman Protocol – Catherine Meadows , Paliath Narendran - 2002
65 Tree Automata With One Memory, Set Constraints and Cryptographic Protocols – Hubert Comon
19 A decision procedure for the verification of security protocols with explicit destructors – S Delaune, F Jacquemard - 2004
34 Symbolic protocol analysis with products and Diffie-Hellman exponentiation – Jonathan Millen, Vitaly Shmatikov - 2003
78 Symbolic Trace Analysis of Cryptographic Protocols – Michele Boreale
112 Constraint Solving for Bounded-Process Cryptographic Protocol Analysis – Jonathan Millen, Vitaly Shmatikov - 2001
186 An Efficient Cryptographic Protocol Verifier Based on Prolog Rules – Bruno Blanchet - 2001
54 A Security Analysis of the Cliques Protocols Suites – Olivier Pereira, Jean-Jacques Quisquater - 2001
123 Protocol insecurity with finite number of sessions is NP-complete – Michaël Rusinowitch, Mathieu Turuani - 2001
216 The NRL Protocol Analyzer: An Overview – Catherine Meadows - 1996
42 A survey of algebraic properties used in cryptographic protocols – V Cortier, S Delaune, P Lafourcade
98 Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures – F Baader, K U Schulz - 1996
15 Combining Intruder Theories – Yannick Chevalier, Michaël Rusinowitch - 2005
52 Deciding knowledge in security protocols under equational theories – Martín Abadi, Véronique Cortier - 2004