Author:
Backes Michael,Jacobi Christian,Pfitzmann Birgit
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation 148/1 (1999) 1–70.
2. Lect Notes Comput Sci;M. Abadi,2000
3. M. Backes. Cryptographically sound analysis of security protocols. Ph.D thesis, Computer Science Department, Saarland University, 2002.
4. D. Dolev and A. C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory 29/2 (1983) 198–208.
5. F. J. T. Fabrega, J. C. Herzog, and J. D. Guttman. Strand spaces: Why is a security protocol correct? 1998 IEEE Symposium on Security and Privacy, IEEE Computer Society Press, Los Alamitos 1998, 160–171.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献