Compositional analysis of contract signing protocols

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2005, Pages 94-110

  Backes, Michael ^a   Datta, Anupam ^b   Derek, Ante ^b   Mitchell, John C ^b   Turuani, Mathieu ^c  

^a IBM RESEARCH ZURICH   (Switzerland)

^b STANFORD UNIVERSITY   (United States)

^c INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACT SIGNING PROTOCOLS;

SECURITY OF DATA;

NETWORK PROTOCOLS;

EID: 28144440505     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2005.12     Document Type: Conference Paper

References (24)

1. N. Asokan, V. Shoup, and M. Waidner. Asynchronous protocols for optimistic fair exchange. Technical Report RZ 2976, IBM Research, 1997.
2. N. Asokan, V. Shoup, and M. Waidner. Asynchronous protocols for optimistic fair exchange. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 86-99. IEEE, 1998.
3. R. Chadha, M. Kanovich, and A. Scedrov. Inductive methods and contract-signing protocols. In 8-th ACM Conference on Computer and Communications Security, pages 176-185. ACM Press, 2001.
4. R. Chadha, S. Kremer, and A. Scedrov. Formal analysis of multi-party contract signing. In Proceedings of the 17th IEEE Computer Security Foundations Workshop, pages 266-279. IEEE, 2004.
5. R. Chadha, J. C. Mitchell, A. Scedrov, and V. Shmatikov. Contract signing, optimism, and advantage. In 14th International Conference on Concurrency Theory (CONCUR '03), volume 2761 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
6. A. Datta, A. Derek, J. C. Mitchell, and D. Pavlovic. A derivation system for security protocols and its logical formalization. In Proceedings of 16th IEEE Computer Security Foundations Workshop, pages 109-125. IEEE, 2003.
7. A. Datta, A. Derek, J. C. Mitchell, and D. Pavlovic. Secure protocol composition (Extended abstract). In Proceedings of ACM Workshop on Formal Methods in Security Engineering, pages 11-23, 2003.
8. A. Datta, A. Derek, J. C. Mitchell, and D. Pavlovic. Abstraction and refinement in protocol derivation. In Proceedings of 17th IEEE Computer Security Foundations Workshop, pages 30-45. IEEE, 2004.
9. A. Datta, A. Derek, J. C. Mitchell, and D. Pavlovic. A derivation system and compositional logic for security protocols. Journal of Computer Security (to appear), 2004.
10. A. Datta, A. Derek, J. C. Mitchell, and D. Pavlovic. Secure protocol composition. In Proceedings of 19th Annual Conference on Mathematical Foundations of Programming Semantics, volume 83 of Electronic Notes in Theoretical Computer Science, 2004.
11. N. Durgin, J. C. Mitchell, and D. Pavlovic. A compositional logic for protocol correctness. In Proceedings of 14th IEEE Computer Security Foundations Workshop, pages 241-255. IEEE, 2001.
12. N. Durgin, J. C. Mitchell, and D. Pavlovic. A compositional logic for proving security properties of protocols. Journal of Computer Security, 11:677-721, 2003.
13. S. Even and Y. Yacobi. Relations among public key signature schemes. Technical Report 175, Computer Science Deptartment, Technion, Israel, 1980.
14. J. A. Garay, M. Jakobsson, and P. MacKenzie. Abuse-free optimistic contract signing. In Proceedings of the 19th Annual International Cryptology Conference on Advances in Cryptology, pages 449-466. Springer-Verlag, 1999.
15. S. Kremer, O. Markowitch, and J. Zhou. An intensive survey of non-repudiation protocols. Computer Communications, 25(17):1606-1621, 2002.
16. S. Kremer and J.-F. Raskin. Game analysis of abuse-free contract signing. In Proceedings of the 15th IEEE Computer Security Foundations Workshop, pages 206-220. IEEE, 2002.
17. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.
18. O. Markowitch and S. Kremer. A multi-party optimistic non-repudiation protocol. In Proceedings of the Third International Conference on Information Security and Cryptology, pages 109-122. Springer-Verlag, 2001.
19. O. Markowitch and S. Saeednia. Optimistic fair exchange with transparent signature recovery. In Proceedings of the 5th International Conference on Financial Cryptography, pages 339-350. Springer-Verlag, 2001.
20. C. Meadows and D. Pavlovic. Deriving, attacking and defending the GDOI protocol. In Proceedings of 9th European Symposium On Research in Computer Security, pages 53-72, 2004.
21. H. Pagnia and F. C. Gärtner. On the impossibility of fair exchange without a trusted third party. Technical Report TUD-BS-1999-02, Department of Computer Science, Darmstadt University of Technology, Darmstadt, Germany, 1999.
22. V. Shmatikov and J. C. Mitchell. Finite-state analysis of two contract signing protocols. Theoretical Computer Science, 283(2):419-450, 2002.
23. H. Vogt. Asynchronous optimistic fair exchange based on revocable items. In Proceedings of the 7th International Conference on Financial Cryptography, pages 208-222. Springer-Verlag, 2003.
24. J. Zhou, R. Deng, and F. Bao. Evolution of fair non-repudiation with TTP. In Proceedings of the 4th Australasian Conference on Information Security and Privacy, volume 1587 of Lecture Notes in Computer Science, pages 258-269. Springer-Verlag, 1999.