A Dolev-Yao-based definition of abuse-free protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4052 LNCS, Issue , 2006, Pages 95-106

  Kähler, Detlef ^a   Küsters, Ralf ^a   Wilke, Thomas ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INFORMATION ANALYSIS; OPTIMIZATION;

ABUSE-FREE PROTOCOLS; CONTRACT-SIGNING PROTOCOLS;

NETWORK PROTOCOLS;

EID: 33746368726     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787006_9     Document Type: Conference Paper

References (13)

1. M. Abadi and V. Cortier. Deciding knowledge in security protocols under equational theories. In ICALP 2004, volume 3142 of LNCS, pages 46-58. Springer, 2004.
2. M. Abadi and C. Fournet, Mobile Values, New Names, and Secure Communication, In POPL 2001, pages 104-115, ACM Press, 2001.
3. N. Asokan, V. Shoup, and M. Waidner. Asynchronous protocols for optimistic fair exchange. In IEEE Symposium on Research in Security and Privacy, pages 86-99, 1998.
4. R. Chadha, M.I. Kanovich, and A.Scedrov. Inductive methods and contract-signing protocols. In CCS 2001, pages 176-185. ACM Press, 2001.
5. R. Chadha, S. Kremer, and A. Scedrov. Formal analysis of multi-party contract signing. In CSFW 2004, pages 266-279. IEEE Computer Society Press, 2004.
6. R. Chadha, J.C. Mitchell, A. Scedrov, and V. Shmatikov:. Contract Signing, Optimism, and Advantage. In CONCUR 8003, volume 2761 of LNCS, pages 361-377. Springer, 2003.
7. Y. Chevalier and M. Rusinowitch. Combining Intruder Theories. In ICALP 2005, volume 3580 of LNCS, pages 639-651. Springer, 2005.
8. D. Dolev and A.C. Yao. On the Security of Public-Key Protocols. IEEE Transactions on Information Theory, 29(2):198-208, 1983.
9. J.A. Garay, M. Jakobsson, and P. MacKenzie. Abuse-free optimistic contract signing. In CRYPTO'99, volume 1666 of LNCS, pages 449-466. Springer-Verlag, 1999.
10. D. Kähler, R. Küsters, and Th. Wilke. Deciding Properties of Contract-Signing Protocols. In STACS 2005, volume 3404 of LNCS, pages 158-169. Springer-Verlag, 2005.
11. D. Kähler, R. Küsters, and Th. Wilke. A Dolev-Yao-based Definition of Abus-free Protocols. Technical report, IFI 0607, CAU Kiel, Germany, 2006. Available from http://www.informatik.uni-kiel.de/reports/2006/ 0607.html
12. S. Kremer and J.-F. Raskin. Game analysis of abuse-free contract signing. In CSFW 2002, pages 206-220. IEEE Computer Society, 2002.
13. V. Shmatikov and J.C. Mitchell. Finite-state analysis of two contract signing protocols. Theoretical Computer Science (TCS), special issue on Theoretical Foundations of Security Analysis and Design, 283(2):419-450, 2002.