Symbolic protocol analysis with products and Diffie-Hellman exponentiation

This publication has 15 references indexed in Scilit:

• A security analysis of the cliques protocols suites
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• An NP decision procedure for protocol insecurity with XOR
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Mechanized proofs for a recursive authentication protocol
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Constraint solving for bounded-process cryptographic protocol analysis
  Published by Association for Computing Machinery (ACM) ,2001
• Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols
  Published by Springer Nature ,2001
• Computing symbolic models for verifying cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2001
• Verifying security protocols with Brutus
  ACM Transactions on Software Engineering and Methodology, 2000
• The inductive approach to verifying cryptographic protocols
  Journal of Computer Security, 1998
• An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
  Information and Computation, 1994
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978