@string{lncs={Lecture Notes in Computer Science}} @InProceedings{AbadiBlanchet2003, author = {Mart{\'i}n Abadi and Bruno Blanchet}, title = {Computer-Assisted Verification of a Protocol for Certified Email}, booktitle = {Static Analysis, 10th International Symposium ({SAS'03})}, pages = {316--335}, year = {2003}, editor = {Radhia Cousot}, volume = {2694}, series = lncs, address = {San Diego, California,USA}, month = jun, publisher = {Springer-Verlag}, } @InProceedings{AbadiGlewHornePinkas2002, author = {Mart{\'i}n Abadi and Neal Glew and Bill Horne and Benny Pinkas}, title = {Certified Email with a Light On-Line Trusted Third Party: Design and Implementation}, booktitle = {Proceedings of the Eleventh International World Wide Web Conference}, pages = {387--395}, year = {2002}, editor = {Arun Iyengar and Dave De Roure}, address = {Honolulu, Hawaii}, month = may, publisher = {ACM}, } @PhdThesis{Asokan1998, Author = {N. Asokan}, Title = {Fairness in Electronic Commerce}, School = {University of Waterloo}, year = 1998, month = may, } @TechReport{AsokanBaumSchunterWaidner1998, author = {N. Asokan and Birgit Baum-Waidner and Matthias Schunter and Michael Waidner}, title = {Optimistic Synchronous Multi-Party Contract Signing}, type = {Research Report}, year = {1998}, month = dec, day = {14}, number = {RZ 3089}, institution = {IBM Research Division}, } @TechReport{AsokanSchunterWaidner1996, author = {N. Asokan and Matthias Schunter and Michael Waidner}, title = {Optimistic Protocols for Multi-Party Fair Exchange}, keywords = {optimistic multi-party fair exchange, contract signing, non-repudiation of receipt, fairness}, type = {Research Report}, year = {1996}, month = dec, day = {12}, number = {RZ 2892 (\# 90840)}, institution = {IBM Research}, } @InProceedings{AsokanSchunterWaidner1997, author = {N. Asokan and Matthias Schunter and Michael Waidner}, title = {Optimistic Protocols for Fair Exchange}, pages = {8--17}, booktitle = {4th {ACM} Conference on Computer and Communications Security}, address = {Zurich, Switzerland}, year = {1997}, publisher = {ACM Press}, month = apr, editor = {Tsutomu Matsumoto}, } @InProceedings{AsokanShoupWaidner1998a, author = {N. Asokan and Victor Shoup and Michael Waidner}, title = {Asynchronous Protocols for Optimistic Fair Exchange}, booktitle = {{IEEE} Symposium on Research in Security and Privacy}, year = {1998}, organization = {Technical Committee on Security and Privacy}, month = may, publisher = {{IEEE} Computer Society Press}, address = {Oakland, CA}, pages = {86--99}, } @InProceedings{AsokanShoupWaidner1998b, author = {N. Asokan and Victor Shoup and Michael Waidner}, year = {1998}, title = {Optimistic Fair Exchange of Digital Signatures}, booktitle = {Advances in Cryptology---{Eurocrypt 1998}}, pages = {591--606}, series = lncs, volume = {1403}, } @Article{AsokanShoupWaidner2000, Author = {N. Asokan and Victor Shoup and Michael Waidner}, Title = {Optimistic Fair Exchange of Digital Signatures}, Journal = {{IEEE} Journal on Selected Areas in Communications}, Volume = {18}, Number = {4}, Pages = {593--610}, month = apr, year = 2000, } @InProceedings{Ateniese1999, author = {Giuseppe Ateniese}, title = {Efficient Verifiable Encryption (and Fair Exchange) of Digital Signatures}, booktitle = {6th ACM Conference on Computer and Communications Security ({CSS} 1999)}, Pages = {138--146}, Address = {Singapore}, Publisher = {ACM Press}, month = nov, year = {1999}, } @InProceedings{AtenieseMedeirosGoodrich2001, author = {Giuseppe Ateniese and Breno de Medeiros and Michael T. Goodrich}, title = {{TRICERT}: {A} Distributed Certified {E}-Mail Scheme}, booktitle = {Symposium on Network and Distributed Systems Security ({NDSS} 2001)}, year = {2001}, organization = {Internet Society}, month = feb, address = {San Diego, CA}, } @InProceedings{BahremanTygar1994, author = {Alireza Bahreman and Doug Tygar}, title = {Certified Electronic Mail}, pages = {3--19}, month = feb, booktitle = {Symposium on Network and Distributed Systems Security}, organization = {Internet Society}, year = {1994}, } @InProceedings{BaoDengMao1998, Author = {Feng Bao and Robert H. Deng and Wenbo Mao}, Title = {Efficient and practical fair exchange protocols with off-line {TTP}}, BookTitle = {{IEEE} Symposium on Research in Security and Privacy}, Series = {Research in Security and Privacy}, Pages = {77--85}, Organization = {IEEE Computer Society,Technical Committee on Security and Privacy}, Publisher = {IEEE Computer Security Press}, month = {May}, year = 1998, } @InProceedings{BaoDengNguyenVaradharajan1999, author = {Feng Bao and Robert H. Deng and Khanh Quoc Nguyen and Vijay Varadharajan}, title = {Multi-Party Fair Exchange with an Off-Line Trusted Neutral Party}, booktitle = {DEXA 1999 Workshop on Electronic Commerce and Security}, month = sep, address = {Florence, Italy}, year = {1999}, } @InProceedings{Baum2001, author = {Birgit {Baum-Waidner}}, title = {Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds}, booktitle = {Automata, Languages and Programming, {ICALP} 2001}, pages = {898--911}, year = {2001}, editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen}, volume = {2076}, series = lncs, address = {Crete, Greece}, month = jul, publisher = {Springer-Verlag}, } @inproceedings{BaumWaidner2000, author = {Birgit Baum-Waidner and Michael Waidner}, title = {Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing}, booktitle = {Automata, Languages and Programming --- {ICALP 2000}}, pages = {524-535}, year = {2000}, series = lncs, volume = {1853}, editor = {Ugo Montanari and Jos{\'e} D. P. Rolim and Emo Welzl}, address = {Geneva, Switzerland}, month = jul, publisher = {Springer-Verlag}, } @InProceedings{BellaPaulson2001, author = {Giampaolo Bella and Lawrence C. Paulson}, title = {Mechanical Proofs about a Non-Repudiation Protocol}, booktitle = {Theorem Proving in Higher Order Logics}, pages = {91--104}, year = {2001}, editor = {Richard J. Boulton and Paul B. Jackson}, volume = {2152}, series = lncs, publisher = {Springer-Verlag}, } @Article{BenOrGoldreichMicaliRivest1990, author = {Michael Ben-Or and Oded Goldreich and Silvio Micali and Ronald L. Rivest}, title = {A Fair Protocol for Signing Contracts}, journal = {IEEE Transaction on Information Theory}, number = {1}, pages = {40--46}, volume = {36}, year = {1990}, month = jan, } @Article{Blum1983, author = {Manuel Blum}, title = {How to Exchange (Secret) Keys}, journal = {ACM Transactions on Computer Systems}, volume = {1}, number = {2}, pages = {175--193}, month = may, year = {1983}, note = {Previously published in ACM STOC~1983 proceedings, pages 440--447.}, } @PhdThesis{Boisseau2003, author = {Alexandre Boisseau}, title = {Abstractions pour la v\'erification de propri\'et\'es de s\'ecurit\'e de protocoles cryptographiques}, school = {\'Ecole Normale Sup\'erieure de Cachan}, year = {2003}, month = sep, } @InProceedings{BonehNaor2000, Author = {Dan Boneh and Moni Naor}, Title = {Timed commitments}, BookTitle = {Advances in Cryptology---{Crypto 2000}}, Volume = {1880}, Series = lncs, Pages = {236--254}, Publisher = {Springer-Verlag}, year = 2000, } @InProceedings{BoydFoo1998, Author = {Colin Boyd and Ernest Foo}, Title = {Off-Line Fair Payment Protocols Using Convertible Signatures}, BookTitle = {Advances in Cryptology---{Asiacrypt 1998}}, Volume = {1514}, Series = lncs, Pages = {271--285}, Publisher = {Springer-Verlag}, year = 1998, } @InProceedings{BoydKearny2000, author = {Colin Boyd and Peter Kearney}, title = {Exploring fair exchange protocols using specification animation}, booktitle = {Information Security---International Workshop on Information Security}, series = lncs, volume = {1975}, year = {2000}, publisher = {Springer-Verlag}, address = {Wollogong, Australia}, editor = {Joseph Pieprzyk and Eiji Okamoto and Jennifer Seberry}, month = dec, } @InProceedings{ButtyanHubaux2001, author = {Levente Butty\'an and Jean-Pierre Hubaux}, title = {Rational Exchange --- A Formal Model Based on Game Theory}, booktitle = {Electronic Commerce}, pages = {114--126}, year = {2001}, editor = {L. Fiege and G. M\"uhl and U. Wilhelm}, volume = {2232}, series = lncs, address = {Heidelberg, Germany}, publisher = {Springer-Verlag}, } @InProceedings{ButtyanHubauxCapkun2002, author = {Levente Butty\'an and Jean-Pierre Hubaux and Srdjan \u{C}apkun}, title = {A Formal Analysis of Syverson's Rational Exchange Protocol}, booktitle = {15th {IEEE} Computer Security Foundations Workshop}, pages = {193--205}, year = {2002}, editor = {Steve A. Schneider}, address = {Cape Breton, Nova Scotia, Canada}, month = jun, publisher = {{IEEE} Computer Society Press}, } @Article{ButtyanHubauxCapkun2003, author = {Levente Butty\'an and Jean-Pierre Hubaux and Srdjan \u{C}apkun}, title = {A Formal Model of Rational Exchange and its Application to the Analysis of Syverson's Protocol}, journal = {Journal of Computer Security}, year = {2003}, note = {Special Issue of selected papers from CSFW15. To appear.}, } @InProceedings{ChadhaKanovichScedrov2001, author = {Rohit Chadha and Max Kanovich and Andre Scedrov}, title = {Inductive methods and contract-signing protocols}, pages = {176--185}, booktitle = {8th {ACM} Conference on Computer and Communications Security}, year = {2001}, editor = {Pierangela Samarati}, month = nov, publisher = {ACM Press}, address = {Philadelphia, PA, USA}, } @InProceedings{ChadhaKremerScedrov2004a, Author = {Rohit Chadha and Steve Kremer and Andre Scedrov}, Title = {Formal analysis of multi-party contract signing}, BookTitle = {Workshop on Issues in the Theory of Security --- WITS'04}, year = {2004}, month = apr, address = {Barcelona, Spain}, } @InProceedings{ChadhaKremerScedrov2004b, author = {Rohit Chadha and Steve Kremer and Andre Scedrov}, title = {Formal Analysis of Multi-Party Fair Exchange Protocols}, booktitle = {17th {IEEE} Computer Security Foundations Workshop}, pages = {266-279}, year = {2004}, editor = {Riccardo Focardi}, month = jun, address = {Asilomar, CA, USA}, publisher = {{IEEE} Computer Society Press}, } @InProceedings{ChadhaMitchellScedrovShmatikov2003, Author = {Rohit Chadha and John C. Mitchell and Andre Scedrov and Vitaly Shmatikov}, Title = {Contract signing, optimism, and advantage}, BookTitle = {CONCUR 2003 --- Concurrency Theory}, pages = {366--382}, Volume = {2761}, editor = {R. Amadio and D. Lugiez}, Series = lncs, Publisher = {Springer-Verlag}, month = sep, year = 2003, address = {Marseille, France}, } @InProceedings{Chen1998, Author = {Liqun Chen}, Title = {Efficient Fair Exchange with Verifiable Confirmation of Signatures}, BookTitle = {Advances in Cryptology---{Eurocrypt 1998}}, Volume = {1514}, Series = lncs, Pages = {286--299}, Publisher = {Springer-Verlag}, year = 1998, } @Article{CoffeySaidha1996, Author = {Tom Coffey and Puneet Saidha}, Title = {Non-Repudiation with Mandatory Proof of Receipt}, Journal = {ACM Computer Communication Review}, Volume = {26}, year = 1996, } @InProceedings{CoxTygarSirbu1995, author = {Benjamin Cox and Doug Tygar and Marvin Sirbu}, title = {{NetBill} Security and Transaction Protocol}, editor = {{USENIX Association}}, booktitle = {First {USENIX} Workshop of Electronic Commerce}, publisher = {USENIX}, year = {1995}, pages = {77--88}, month = jul, } @InProceedings{Damgard1996, Author = {Ivan B. Damgard}, Title = {Practical and provably secure release of a secret and exchange of signatures}, BookTitle = {Andvances in Cryptology---{Asiacrypt 1996}}, Volume = {1163}, Series = lncs, Pages = {133--144}, Publisher = {Springer-Verlag}, year = 1997, } @Article{DengGongLazarWang1996, Author = {Robert H. Deng and Li Gong and Aurel A. Lazar and Weiguo Wang}, Title = {Practical Protocols for Certified Electronic Mail}, Journal = {Journal of Network and System Management}, Volume = {4}, Number = {3}, Pages = {279--297}, year = 1996, } @InProceedings{Even1981, author = {Shimon Even}, title = {Protocol for Signing Contracts}, pages = {148--153}, booktitle = {Advances in Cryptology: A Report on {Crypto 1981}}, editor = {Allen Gersho}, year = {1982}, } @Article{EvenGoldreichLempel1985, author = {Shimon Even and Oded Goldreich and Abraham Lempel}, title = {A randomized protocol for signing contracts}, journal = {Communications of the ACM}, volume = {28}, number = {6}, pages = {637--647}, month = jun, year = {1985}, } @TechReport{EvenYacobi1980, author = {Shimon Even and Yacov Yacobi}, title = {Relations among Public Key Signature Systems}, institution = {Technion}, year = {1980}, number = {175}, address = {Haifa, Israel}, month = mar, } @InProceedings{FerrerPayerasHuguet2000, author = {Josep Llu{\'\i}s Ferrer-Gomila and Magdalena Payeras-Capell{\`a} and Lloren{\c{c}} Huguet i Rotger}, title = {An Efficient Protocol for Certified Electronic Mail}, booktitle = {Information Security---International Workshop on Information Security}, series = lncs, volume = {1975}, pages = {237--248}, year = {2000}, publisher = {Springer-Verlag}, address = {Wollogong, Australia}, editor = {Joseph Pieprzyk and Eiji Okamoto and Jennifer Seberry}, month = dec, } @InProceedings{FranklinReiter1997, Author = {Matthew K. Franklin and Michael K. Reiter}, Title = {Fair Exchange with a Semi-Trusted Third Party}, BookTitle = {4th {ACM} Conference on Computer and Communications Security}, Pages = {1--5}, Publisher = {ACM Press}, month = apr, year = 1997, } @InProceedings{FranklinTsudik1998, author = {Matthew K. Franklin and Gene Tsudik}, title = {Secure Group Barter: Multi-party Fair Exchange with Semi-Trusted Neutral Parties}, booktitle = {Second Conference on Financial Cryptography ({FC} 1998)}, month = feb, organization = {International Financial Cryptography Association (IFCA)}, publisher = {Springer-Verlag}, volume = {1465}, address = {Anguilla, British West Indies}, year = {1998}, editor = {Ray Hirschfeld}, series = lncs, pages = {90--102}, } @InProceedings{GarayJakobssonMacKenzie1999, Author = {Juan A. Garay and Markus Jakobsson and Philip D. MacKenzie}, Title = {Abuse-Free Optimistic Contract Signing}, BookTitle = {Advances in Cryptology---{Crypto 1999}}, Volume = {1666}, Series = lncs, Pages = {449--466}, Publisher = {Springer-Verlag}, year = 1999, } @inproceedings{GarayMacKenzie1999, author = {Juan A. Garay and Philip D. MacKenzie}, title = {Abuse-Free Multi-party Contract Signing}, booktitle = {International Symposium on Distributed Computing}, pages = {151-165}, year = {1999}, editor = {Prasad Jayanti}, series = lncs, volume = {1693}, address = {Bratislava, Slavak Republic}, month = sep, publisher = {Springer-Verlag}, } @InProceedings{GartnerPagniaVogt1999, Author = {Felix C. {G\"artner} and Henning Pagnia and Holger Vogt}, Title = {Approaching a formal definition of fairness in electronic commerce}, BookTitle = {International Workshop on Electronic Commerce (WELCOM 1999)}, Pages = {354--359}, Address = {Lausanne, Switzerland}, Publisher = {IEEE Computer Society Press}, month = oct, year = 1999, } @InProceedings{Goldreich1983, Author = {Oded Goldreich}, Title = {A Simple Protocol for Signing Contracts}, BookTitle = {Advances in Cryptology---{Crypto 1983}}, Editor = {David Chaum}, Pages = {133--136}, Publisher = {Plenum Press}, month = aug, year = 1983, } @InProceedings{GonzalezMarkowitch2002, author = {Nicol\'as Gonz\'alez-Deleito and Olivier Markowitch}, title = {Exclusion-Freeness in Multi-party Exchange Protocols}, booktitle = {5th Information Security Conference}, volume = {2433}, series = lncs, pages = {200--209}, publisher = {Springer-Verlag}, month = sep, year = {2002}, } @InProceedings{GurgensRudolphVogt2003, author = {Sigrid G\"urgens and Carsten Rudolph and Holger Vogt}, title = {On the Security of Fair Non-repudiation Protocols}, booktitle = {Information Security Conference ({ISC 2003})}, pages = {193--207}, year = {2003}, editor = {Colin Boyd and Wenbo Mao}, volume = {2851}, series = lncs, address = {Bristol, United Kingdom}, month = oct, publisher = {Springer-Verlag}, } @InProceedings{Han1996, Author = {Yongfei Han}, Title = {Investigation of non-repudiation protocols}, BookTitle = {ACISP: Information Security and Privacy: Australasian Conference}, Volume = {1172}, Series = lncs, Pages = {38--47}, Publisher = {Springer-Verlag}, year = 1996, } @InProceedings{Jakobsson1995, Author = {Markus Jakobsson}, Title = {Ripping Coins for Fair Exchange}, BookTitle = {Advances in Cryptology---{Eurocrypt 1995}}, Editor = {Louis C. Guillou and Jean-Jacques Quisquater}, Volume = {921}, Series = lncs, Pages = {220--230}, Publisher = {Springer-Verlag}, month = may, year = 1995, } @PhdThesis{Kremer2003, author = {Steve Kremer}, title = {Formal Analysis of Optimistic Fair Exchnage Protocols}, school = {Universit\'e Libre de Bruxelles}, year = {2003}, address = {Brussels, Belgium}, month = dec, } @InProceedings{KremerMarkowitch2000a, author = {Steve Kremer and Olivier Markowitch}, title = {Optimistic Non-repudiable Information Exchange}, editor = {J. Biemond}, booktitle = {21st Symp. on Information Theory in the Benelux}, address = {Wassenaar, The Netherlands}, month = may, publisher = {Werkgemeenschap Informatie- en Communicatietheorie, Enschede}, year = {2000}, pages = {139--146}, ISBN = {90-71048-15-2}, } @InProceedings{KremerMarkowitch2000b, author = {Steve Kremer and Olivier Markowitch}, title = {A multi-party non-repudiation protocol}, booktitle = {15th International Conference on Information Security---{Sec 2000}}, series = {IFIP World Computer Congress}, publisher = {Kluwer Academic}, pages = {271--280}, year = {2000}, month = aug, address = {Beijing, China}, } @InProceedings{KremerMarkowitch2001, Author = {Steve Kremer and Olivier Markowitch}, Title = {Selective Receipt in Certified E-Mail}, BookTitle = {Advances in Cryptology---{Indocrypt 2001}}, Series = lncs, Publisher = {Springer-Verlag}, month = dec, year = 2001, volume = {2247}, editor = {C. Pandu Rangan and Cunsheng Ding}, } @Article{KremerMarkowitch2003, author = {Steve Kremer and Olivier Markowitch}, title = {Fair Multi-Party Non-Repudiation}, journal = {International Journal on Information Security}, year = {2003}, volume = {1}, number = {4}, pages = {223-235}, month = jul, } @Article{KremerMarkowitchZhou2002, author = {Steve Kremer and Olivier Markowitch and Jianying Zhou}, title = {An Intensive Survey of Non-repudiation protocols}, journal = {Computer Communications}, year = {2002}, volume = {25}, number = {17}, pages = {1606--1621}, month = nov, publisher = {Elsevier}, } @InProceedings{KremerRaskin2001, author = {Steve Kremer and Jean-Fran\c{c}ois Raskin}, title = {A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols}, booktitle = {Concurrency Theory---CONCUR 2001}, pages = {551--565}, year = {2001}, editor = {Kim G. Larsen and Mogens Nielsen}, volume = {2154}, series = lncs, address = {Aalborg, Denmark}, month = aug, publisher = {Springer-Verlag}, } @InProceedings{KremerRaskin2002, author = {Steve Kremer and Jean-Fran\c{c}ois Raskin}, title = {Game Analysis of Abuse-free Contract Signing}, booktitle = {15th {IEEE} Computer Security Foundations Workshop}, pages = {206--220}, year = {2002}, editor = {Steve A. Schneider}, address = {Cape Breton, Nova Scotia, Canada}, month = jun, publisher = {{IEEE} Computer Society Press}, } @Article{KremerRaskin2003, author = {Steve Kremer and Jean-Fran\c{c}ois Raskin}, title = {A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols}, journal = {Journal of Compuiter Security}, year = {2003}, volume = {11}, number = {3}, pages = {399--429}, publisher = {IOS Press}, } @PhdThesis{Markowitch2001, author = {Olivier Markowitch}, title = {Les protocoles de Non-r\'{e}pudiation}, school = {Universit\'{e} Libre de Bruxelles}, year = {2001}, month = jan, } @InProceedings{MarkowitchGollmannKremer2002, author = {Olivier Markowitch and Dieter Gollmann and Steve Kremer}, title = {On Fairness in Exchange Protocols}, booktitle = {5th International Conference on Information Security and Cryptology (ICISC 2002)}, year = {2002}, editor = {Pil Joong Lee and Chae Hoon Lim}, volume = {2587}, series = lncs, address = {Seoul, Korea}, month = nov, publisher = {Springer-Verlag}, pages = {451--464}, } @InProceedings{MarkowitchKremer2000, author = {Olivier Markowitch and Steve Kremer}, title = {A multi-party optimistic non-repudiation protocol}, booktitle = {3rd International Conference on Information Security and Cryptology (ICISC 2000)}, year = {2000}, editor = {Dongho Won}, volume = {2015}, series = lncs, address = {Seoul, Korea}, month = dec, publisher = {Springer-Verlag}, pages = {109--122}, } @InProceedings{MarkowitchKremer2001, author = {Olivier Markowitch and Steve Kremer}, title = {An Optimistic Non-Repudiation Protocol with Transparent Trusted Third Party}, booktitle = {Information Security Conference 2001}, series = lncs, volume = {2200}, pages = {363--378}, month = oct, publisher = {Springer-Verlag}, year = {2001}, address = {Malaga, Spain}, editor = {George Davida and Yair Frankel}, } @InProceedings{MarkowitchRoggeman1999, author = {Olivier Markowitch and Yves Roggeman}, title = {Probabilistic Non-Repudiation without Trusted Third Party}, booktitle = {Second Conference on Security in Communication Networks 1999}, year = {1999}, address = {Amalfi, Italy}, month = sep, } @InProceedings{MarkowitchSaeednia2001, Author = {Olivier Markowitch and Shahrokh Saeednia}, Title = {Optimistic Fair-Exchange with Transparent Signature Recovery}, BookTitle = {5th International Conference, Financial Cryptography 2001}, Series = lncs, Publisher = {Springer-Verlag}, year = 2001, } @Article{MarkowitchSaeednia2003, author = {Olivier Markowitch and Shahrock Saeednia}, title = {Cryptanalysis of the {Wu-Varadharajan} Fair Exchange Protocol}, journal = {Information Processing Letter}, year = {2003}, volume = {87}, number = {3}, pages = {169--171}, month = aug, publisher = {Elsevier}, } @Misc{Micali1997, Author = {Silvio Micali}, Title = {Certified {E}-Mail with Invisible Post Offices}, HowPublished = {Available from author; an invited presentation at the RSA 1997 conference}, year = 1997, } @Unpublished{Mitsianis2001, author = {John Mitsianis}, title = {A New Approach to Enforcing Non-Repudiation of Receipt}, note = {Manuscript}, year = {2001}, } @InProceedings{NenadicZhang2002, author = {Aleksandra Nenadic and Ning Zhang}, title = {Fair and Non-repudiable E-Commerce in Distributed Networks}, booktitle = {Proceedings of 3rd Annual Network Symposium PGNet 2002}, pages = {180--185}, year = {2002}, address = {Liverpool, UK}, } @InProceedings{NenadicZhang2003a, author = {Aleksandra Nenadic and Ning Zhang}, title = {Non-repudiation and Fairness in Electronic Data Exchange}, booktitle = {Proceedings of 5th International Conference on Enterprise Information Systems ({ICEIS})}, pages = {55--62}, year = {2003}, address = {Angers, France}, } @InProceedings{NenadicZhang2003b, author = {Aleksandra Nenadic and Ning Zhang}, title = {On the Design of the Fair Integrated Data Exchange System ({FIDES})}, booktitle = {Proceedings of IADIS International Conference e-Society}, year = {2003}, address = {Lisbon, Portugal}, } @InBook{NenadicZhang2004a, author = {Aleksandra Nenadic and Ning Zhang}, title = {Enterprise Information Systems V book}, chapter = {Non-repudiation and Fairness in Electronic Data Exchange}, publisher = {Kluwer}, year = {2004}, note = {To appear}, } @InProceedings{NenadicZhang2004b, author = {Aleksandra Nenadic and Ning Zhang and Stephen K. Barton}, title = {Fair Certified E-mail Delivery}, booktitle = {Proceedings of the 9th ACM Symposium on Applied Computing ({SAC 2004}) - Computer Security Track}, year = {2004}, address = {Nicosia, Cyprus}, note = {To appear}, } @InProceedings{NenadicZhang2004c, author = {Aleksandra Nenadic and Ning Zhang and Stephen K. Barton}, title = {Security Protocol for Certified E-Goods Delivery}, booktitle = {Proceedings of International Conference on Information Technology, Coding and Computing (ITCC 2004) - Information Assurance and Security Track}, year = {2004}, address = {Las Vegas, Nevada, USA}, publisher = {IEEE Computer Society}, note = {To appear}, } @InProceedings{NormanShmatikov2002, author = {Gethin Norman and Vitaly Shmatikov}, title = {Analysis of Probabilistic Contract Signing}, booktitle = {Formal Aspects of Security}, year = {2002}, } @InProceedings{OkamotoOtha1994, Author = {Tatsuaki Okamoto and Kazuo Otha}, Title = {How to Simultaneously Exchange Secrets by General Assumptions}, BookTitle = {Second ACM Conference on Computer and Communications Security}, Pages = {184--192}, Address = {Zurich, Switzerland}, Publisher = {ACM Press}, year = 1994, } @InProceedings{OnievaZhouCarbonell2003, author = {Jose Onieva and Jianying Zhou and Mildrey Carbonell and Javier Lopez}, title = {A Multi-Party Non-repudiation Protocol for Exchange of Different Messages}, booktitle = {18th IFIP International Information Security Conference}, year = {2003}, address = {Athens, Greece}, month = may, publisher = {Kluwer}, } @TechReport{PagniaGartner1999, author = {Henning Pagnia and Felix C. {G\"artner}}, title = {On the impossibility of fair exchange without a trusted third party}, institution = {Darmstadt University of Technology, Department of Computer Science}, year = {1999}, number = {TUD-BS-1999-02}, address = {Darmstadt, Germany}, month = mar, } @Article{PagniaVogtGartner2003, author = {Henning Pagnia and Holger Vogt and Felix C. G\"{a}rtner}, title = {Fair Exchange}, journal = {The Computer Journal}, year = {2003}, volume = {8}, number = {2}, pages = {55--75}, month = jan, publisher = {Oxford University Press}, } @InProceedings{PfitzmannSchunterWaidner1998, Author = {Birgit Pfitzmann and Matthias Schunter and Michael Waidner}, Title = {Optimal Efficiency of Optimistic Contract Signing}, BookTitle = {Seventeenth Annual {ACM} Symposium on Principles of Distributed Computing}, Pages = {113--122}, Address = {New York}, Organization = {ACM}, month = may, added-by = {aso}, year = 1998, } @Article{Rabin1983, title = {Transaction Protection by Beacons}, author = {Michael O. Rabin}, pages = {256--267}, journal = {Journal of Computer and System Sciences}, year = {1983}, month = oct, volume = {27}, number = {2}, } @InProceedings{RiordanSchneier1998, author = {James Riordan and Bruce Schneier}, title = {A Certified {E}-Mail Protocol}, booktitle = {14th Annual Computer Security Applications Conference}, organization = {ACM}, year = {1998}, } @InProceedings{SaaedniaMarkowitchRoggeman2003, author = {Shahrokh Saeednia and Olivier Markowitch and Yves Roggeman}, title = {Identity-based optimistic fair exchange with transparent signature recovery}, booktitle = {9th International Conference on Distributed Multimedia Systems ({DMS 2003})}, OPTpages = {}, year = {2003}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, address = {Miami, USA}, month = sep, } @InProceedings{ShmatikovMitchell2000, author = {Vitaly Shmatikov and John Mitchell}, title = {Analysis of Abuse-Free Contract Signing}, booktitle = {Financial Cryptography 2000}, year = {2000}, series = lncs, volume = {1962}, month = feb, publisher = {Springer-Verlag}, address = {Anguilla, British West Indies}, pages = {174--191}, } @InProceedings{ShmatikovMitchell2000a, author = {Vitaly Shmatikov and John Mitchell}, title = {Analysis of a Fair Exchange Protocol}, pages = {119--128}, booktitle = {Symposium on Network and Distributed Systems Security ({NDSS} 2000)}, address = {San Diego, CA}, year = {2000}, month = feb, organization = {Internet Society}, annote = {Analysis of \cite{ASW98} as a case study of formalizing fairness. Finds some (minor) flaws in protocols (e.g., regarding replay); mostly a question of an appearant lack of precise enough definitions of what constitutes contract is in \cite{ASW98}.}, } @Article{ShmatikovMitchell2002, author = {Vitaly Shmatikov and John Mitchell}, title = {Finite-state Analysis of Two Contract Signing Protocols}, journal = {Theoretical Computer Science, special issue on Theoretical Foundations of Security Analysis and Design}, year = {2002}, volume = {283}, number = {2}, pages = {419--450}, } @PhdThesis{Shunter2000, Author = {Matthias Schunter}, Title = {Optimistic Fair Exchange}, School = {Technische Fakult{\"a}t der Universit{\"a}t des Saarlandes, Saarbr{\"u}cken}, year = 2000, month = oct, } @InProceedings{Syverson1998, Author = {Paul Syverson}, Title = {Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange}, BookTitle = {11th {IEEE} Computer Security Foundations Workshop}, year = 1998, month = {June}, } @InProceedings{Tedrick1983, Author = {Tom Tedrick}, Title = {How to Exchange Half a Bit}, BookTitle = {Advances in Cryptology---{Crypto 1983}}, Editor = {David Chaum}, Pages = {147--151}, Publisher = {Plenum Press}, month = aug, year = 1983, } @InProceedings{Tedrick1985, Author = {Tom Tedrick}, Title = {Fair Exchange of Secrets}, BookTitle = {Advances in Cryptology---{Crypto 1984}}, Editor = {G. R. Blakley and D. C. Chaum}, Volume = {196}, Series = lncs, Pages = {434--438}, Publisher = {Springer-Verlag}, year = 1985, } @InProceedings{Vogt2003, author = {Holger Vogt}, title = {Asynchronous Optimistic Fair Exchange Based on Revocable Items}, booktitle = {Financial Cryptography 2003}, OPTpages = {}, year = {2003}, OPTeditor = {}, OPTvolume = {}, series = lncs, address = {Gosier, Guadeloupe}, month = jan, publisher = {Springer-Verlag}, } @InProceedings{VogtPagniaGartner1999, Author = {Holger Vogt and Henning Pagnia and Felix C. {G\"artner}}, Title = {Modular fair exchange protocols for electronic commerce}, BookTitle = {15th Annual Computer Security Applications Conference}, Pages = {3--11}, Address = {Phoenix, Arizona}, Publisher = {IEEE Computer Society Press}, month = dec, year = 1999, } @InProceedings{WuVaradharajan2001, author = {Chuan-Kun Wu and Vijay Varadharajan}, title = {Fair exchange of digital signatures with off-line trusted third party}, booktitle = {Information and Communications Security}, pages = {466--470}, year = {2001}, editor = {Sihan Qing and Tatsuaki Okamoto and Jianying Zhou}, volume = {2229}, series = lncs, address = {Xian, China}, month = nov, publisher = {Springer-Verlag}, isbn = {3-540-42880-1}, } @Article{YouZhouLam1998, author = {Cheng-Hwee You and Jianying Zhou and Kwok-Yan Lam}, title = {On the Efficient Implementation of Fair Non-repudiation}, journal = {Computer Communication Review}, volume = {28}, number = {5}, pages = {50--60}, month = oct, year = {1998}, } @Article{ZhangShi1996, author = {Ning Zhang and Qi Shi}, title = {Achieving non-repudiation of receipt}, journal = {The Computer Journal}, year = {1996}, Publisher = {Oxford University Press, the British Computer Society}, volume = {39}, number = {10}, pages = {844--853}, } @PhdThesis{Zhou1996, author = {Jianying Zhou}, title = {Non-repudiation}, school = {University of London}, month = dec, year = {1996}, } @Book{Zhou2001, author = {Jianying Zhou}, title = {Non-repudiation in electronic commerce}, publisher = {Artech House}, year = {2001}, series = {Computer Security Series}, month = aug, } @Article{ZhouDeng2000, author = {Jianying Zhou and Robert H. Deng}, title = {On the Validity of Digital Signatures}, journal = {Computer Communication Review}, volume = {30}, number = {2}, year = {2000}, pages = {29--34}, month = apr, publisher = {ACM Press}, } @InProceedings{ZhouDengBao1999, Author = {Jianying Zhou and Robert H. Deng and Feng Bao}, Title = {Evolution of Fair Non-repudiation with {TTP}}, BookTitle = {ACISP: Information Security and Privacy: Australasian Conference}, Volume = {1587}, Series = lncs, Pages = {258--269}, Publisher = {Springer-Verlag}, year = 1999, } @InProceedings{ZhouDengBao2000, Author = {Jianying Zhou and Robert H. Deng and Feng Bao}, Title = {Some Remarks on a Fair Exchange Protocol}, BookTitle = {International Workshop on Practice and Theory in Public Key Cryptography}, Volume = {1751}, Series = lncs, Pages = {46--57}, Publisher = {Springer-Verlag}, month = jan, year = 2000, } @InProceedings{ZhouGollmann1996a, author = {Jianying Zhou and Dieter Gollmann}, year = {1996}, title = {Certified Electronic Mail}, booktitle = {Computer Security --- {ESORICS 1996}}, series = lncs, volume = {1146}, pages = {160--171}, keywords = {Certified Electronic Mail, Communications Security, Protocol Design}, } @InProceedings{ZhouGollmann1996b, Author = {Jianying Zhou and Dieter Gollmann}, Title = {A Fair Non-repudiation Protocol}, BookTitle = {{IEEE} Symposium on Research in Security and Privacy}, Series = {Research in Security and Privacy}, Pages = {55--61}, Organization = {IEEE Computer Society,Technical Committee on Security and Privacy}, Publisher = {IEEE Computer Security Press}, month = may, year = 1996, } @InProceedings{ZhouGollmann1997a, Author = {Jianying Zhou and Dieter Gollmann}, Title = {An Efficient Non-repudiation Protocol}, BookTitle = {10th {IEEE} Computer Security Foundations Workshop}, Pages = {126--132}, Publisher = {IEEE Computer Society Press}, month = jun, year = 1997, } @Article{ZhouGollmann1997b, Author = {Jianying Zhou and Dieter Gollmann}, Title = {Evidence and Non-repudiation}, Journal = {Journal of Network and Computer Applications}, Volume = {20}, Pages = {267--281}, publisher = {London, Academic Press}, year = 1997, } @InProceedings{ZhouGollmann1998, author = {Jianying Zhou and Dieter Gollmann}, title = {Towards Verification of Non-repudiation Protocols}, booktitle = {International Refinement Workshop and Formal Methods Pacific}, pages = {370--380}, year = {1998}, address = {Canberra, Australia}, month = sep, publisher = {Springer-Verlag}, } @Article{ZhouLam1999, author = {Jianying Zhou and Kwok-Yan Lam}, title = {Securing digital signatures for non-repudiation}, journal = {Computer Communications}, year = {1999}, volume = {22}, number = {8}, pages = {710-716}, month = may, series = {Elsevier}, }