Honest functions and their application to the analysis of cryptographic protocols
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Intensional specifications of security protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Honest ideals on strand spacesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Strand spaces: why is a security protocol correct?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The NRL Protocol Analyzer: An OverviewThe Journal of Logic Programming, 1996