A security analysis of the cliques protocols suites
- 29 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
First Page of the Article Author(s) Pereira, O. UCL Crypto Group Quisquater, J.-J.Keywords
This publication has 7 references indexed in Scilit:
- CVS: a compiler for the analysis of cryptographic protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Mixed strand spacesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On unifying some cryptographic protocol logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Mechanized proofs for a recursive authentication protocolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Entity Authentication and Key DistributionPublished by Springer Nature ,2001
- New multiparty authentication services and key agreement protocolsIEEE Journal on Selected Areas in Communications, 2000
- The NRL Protocol Analyzer: An OverviewThe Journal of Logic Programming, 1996