Formal analysis of multi-party contract signing

Proceedings of the Computer Security Foundations Workshop

Volumn 17, Issue , 2004, Pages 266-279

  Chadha, Rohit ^a   Kremer, Steve ^b   Scedrov, Andre ^c  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

^b UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACT-SIGNING PROTOCOLS; FORMAL ANALYSIS; GAME SEMANTICS; TEMPORAL LOGIC;

COMPUTER NETWORKS; COMPUTER SOFTWARE; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; ELECTRONIC MAIL; FORMAL LOGIC; SEMANTICS;

NETWORK PROTOCOLS;

EID: 4944247375     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In 38th Annual Symposium on Foundations of Computer Science. IEEE Computer Society Press, 1997.
2. N. Asokan, M. Schunter, and M. Waidner. Optimistic protocols for fair exchange. In 4th ACM Conference on Computer and Communications Security, Zurich, Switzerland, Apr. 1997. ACM Press.
3. M. Backes, B. Pfitzmann, and M. Waidner. Reactively secure signature schemes. In 6th Information Security Conference (ISC), volume 2851 of Lecture Notes in Computer Science, pages 84-95, 2003.
4. B. Baum-Waidner and M. Waidner. Round-optimal and abuse free optimistic multi-party contract signing. In Automata, Languages and Programming - ICALP 2000, volume 1853 of Lecture Notes in Computer Science, pages 524-535, Geneva, Switzerland, July 2000. Springer-Verlag.
5. H. Burk and A. Pfitzmann. Value exchange systems enabling security and unobservability. In Computers and Security, 9(8):715-721, 1990.
6. R. Chadha, M. Kanovich, and A. Scedrov. Inductive methods and contract-signing protocols. In 8th ACM Conference on Computer and Communications Security, Philadelphia, PA, USA, Nov. 2001. ACM Press.
7. R. Chadha, S. Kremer, and A. Scedrov. Formal analysis of multi-party contract signing. In Workshop on Issues in the Theory of Security - WITS'04, Barcelona, Spain, Apr. 2004. Accepted for publication.
8. R. Chadha, J. C. Mitchell, A. Scedrov, and V. Shmatikov. Contract signing, optimism, and advantage. In CONCUR 2003 - Concurrency Theory, volume 2761 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
9. S. Das and D. L. Dill. Successive approximation of abstract transition relations. In Sixteenth Annual IEEE Symposium on Logic in Computer Science (LICS 01), pages 51-60. IEEE Computer Society Press, June 2001.
10. S. Even and Y. Yacobi. Relations among public key signature systems. Technical Report 175, Technion, Haifa, Israel, Mar. 1980.
11. J. A. Garay, M. Jakobsson, and P. D. MacKenzie. Abuse-free optimistic contract signing. In Advances in Cryptology -Crypto 1999, volume 1666 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
12. J. A. Garay and P. D. MacKenzie. Abuse-free multi-party contract signing. In International Symposium on Distributed Computing, volume 1693 of Lecture Notes in Computer Science, Bratislava, Slavak Republic, Sept. 1999. Springer-Verlag.
13. S. Gürgens and C. Rudolph. Security analysis of (un-) fair non-repudiation protocols. In A. E. Abdallah, P. Ryan, and S. A. Schneider, editors, Formal Aspects of Security, volume 2629 of Lecture Notes in Computer Science, pages 97-114, London, UK, 2003. Springer-Verlag.
14. T. A. Henzinger, R. Manjumdar, F. Y. Mang, and J.-F. Raskin. Abstract interpretation of game properties. In SAS 2000: Intertional Symposium on Static Analysis, volume 1824 of Lecture Notes in Computer Science, pages 220-239, Santa Barbara, USA, June 2000. Springer-Verlag.
15. S. Kremer and J.-F. Raskin. Game analysis of abuse-free contract signing. In 15th IEEE Computer Security Foundations Workshop, Cape Breton, Canada, June 2002. IEEE Computer Society Press.
16. V. Shmatikov and J. Mitchell. Finite-state analysis of two contract signing protocols. Theoretical Computer Science, special issue on Theoretical Foundations of Security Analysis and Design, 283(2):419-450, 2002.