Relating strands and multiset rewriting for security protocol analysis
- 7 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Mixed strand spacesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Honest functions and their application to the analysis of cryptographic protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Athena: a new efficient automatic checker for security protocol analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A meta-notation for protocol analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Strand spaces: why is a security protocol correct?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978