Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
- 1 January 2003
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A security analysis of the cliques protocols suitesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Symbolic protocol analysis with products and Diffie-Hellman exponentiationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Intruder deductions, constraint solving and insecurity decision in presence of exclusive orPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On the symbolic reduction of processes with cryptographic functionsTheoretical Computer Science, 2003
- Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in ExponentsPublished by Springer Nature ,2003
- Solving Numerical ConstraintsPublished by Elsevier ,2001