On the relative soundness of the free algebra model for public key encryption

Electronic Notes in Theoretical Computer Science

Volumn 125, Issue 1, 2005, Pages 43-54

  Lynch, Christopher ^a   Meadows, Catherine ^b  

^a CLARKSON UNIVERSITY   (United States)

^b NAVAL RESEARCH LABORATORY   (United States)

Author keywords

Cryptographic Protocol Verification

Indexed keywords

CRYPTOGRAPHIC PROTOCOL VERIFICATION; DECRYPTION; FREE ALGEBRA MODEL; PROBABILISTIC ENCRYPTION;

ALGEBRA; COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PATTERN MATCHING; PROBLEM SOLVING; SECURITY OF DATA;

PUBLIC KEY CRYPTOGRAPHY;

EID: 14044253469     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.05.018     Document Type: Conference Paper

References (12)

1. I. Cervesato, N. Durgin, P. Lincoln, J. Mitchell, and A. Scedrov Relating strands and multiset rewriting for security protocol analysis Proc. 13th IEEE Computer Security Foundations Workshop 2000 IEEE Computer Society Press
2. S. Even, O. Goldreich, and A. Shamir On the security of ping-pong protocols when implemented using the RSA Advances in Cryptology: Proceedings of Crypto '85 1985 Springer-Verlag
3. F. Thayer Fábrega, J. Herzog, and J. Guttman Strand spaces: Why is a security protocol correct? Proc. 1998 IEEE Symposium on Security and Privacy May 1998 IEEE Computer Society Press 160 171
4. J. Heather, S. Schneider, and G. Lowe How to prevent type flaw attacks on security protocols Proc. 13th IEEE Computer Security Foundations Workshop 2000 IEEE Computer Society Press
5. C. Meadows Applying formal methods to the analysis of a key management protocol Journal of Computer Security 1 1 Jan. 1992
6. C. Meadows The NRL Protocol Analyzer: an overview Journal of Logic Programming 26 2 1995 113 131
7. C. Meadows Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer Proc. 1999 IEEE Symposium on Security and Privacy June 1999 IEEE Computer Society Press
8. C. Meadows Towards a hierarchy of cryptographic protocol specifications Proc. FMSE 2003: Formal Methods in Security Engineering 2003 ACM Press
9. J. Millen On the freedom of decryption Information Processing Letters 86 6 June 2003 329 333
10. J. Millen, and V. Shmatikov Constraint solving for bounded process cryptographic protocol analysis Proc. 8th ACM Conference on Computer and Communications Security (CCS'01) 2001 ACM Press 166 175
11. L. Paulson The inductive approach to verifying cryptographic protocols Journal of Computer Security 6 1 1998 85 128
12. D. Song, S. Berizin, and A. Perrig Athena: a novel approach to efficient automatic security analysis Journal of Computer Security 9 1 2001 47 74