I. Cervesato, N. Durgin, P. D. Lincoln, J. C. Mitchell, and A. Scedrov. A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. In M. Okada, B. Pierce, A. Scedrov, H. Tokuda, and A. Yonezawa, editors, Software Security: Theories and Systems, pages 356--383, Tokyo, Japan, 2003. SpringerVerlag LNCS 2609. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) Self-citation (Cervesato Durgin Lincoln Mitchell Scedrov) (Correct)
No context found.
I. Cervesato, N. Durgin, P. D. Lincoln, J. C. Mitchell, and A. Scedrov. A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. In M. Okada, B. Pierce, A. Scedrov, H. Tokuda, and A. Yonezawa, editors, Software Security: Theories and Systems, pages 356--383, Tokyo, Japan, 2003. SpringerVerlag LNCS 2609.
Formal Analysis of Kerberos 5 - Frederick Butler Iliano Self-citation (Cervesato Scedrov) (Correct)
No context found.
I. Cervesato, N. Durgin, P. D. Lincoln, J. C. Mitchell, A. Scedrov, A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, Journal of Computer Security 13 (2) (2005) 265--316.
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) Self-citation (Cervesato Durgin Lincoln Mitchell Scedrov) (Correct)
No context found.
I. Cervesato, N. Durgin, P. D. Lincoln, J. C. Mitchell, and A. Scedrov. A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. In M. Okada, B. Pierce, A. Scedrov, H. Tokuda, and A. Yonezawa, editors, Software Security: Theories and Systems, pages 356--383, Tokyo, Japan, 2003. SpringerVerlag LNCS 2609.
Contract Signing, Optimism, and Advantage - Rohit Chadha John Self-citation (Mitchell Scedrov) (Correct)
No context found.
I. Cervesato, N. Durgin, P.D. Lincoln, J.C. Mitchell, and A. Scedrov. A comparison between strand spaces and multiset rewriting for security protocol analysis. In M. Okada et al., eds., "Software Security { Theories and Systems. Mext-NSF-JSPS International Symposium, ISSS 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC