Asynchronous protocols for optimistic fair exchange

Keywords

Computer science, Asynchronous communication, Protocol (science), Set (abstract data type), Computer network

References

• Fair exchange with a semi-trusted third party (extended abstract)Matthew Franklin, Michael K. Reiter — 1997
• Handbook of Applied CryptographyMenezes, Alfred J., Oorschot, Paul C. van, Vanstone, Scott A. — 2018
• Generic Security Service Application Program Interface, Version 2J. Linn — 1997
• NetBill Security and Transaction ProtocolBenjamin Cox, J. D. Tygar, Marvin A. Sirbu — 1995
• Value exchange systems enabling security and unobservabilityHolger Bürk, Andreas Pfitzmann — 1990
• Optimistic protocols for fair exchangeN. Asokan, Matthias Schunter, Michael Waidner — 1997
• Report: 4th ACM Conference On Computer and Communications SecurityDonald J. Reifer — 1997
• A fair protocol for signing contractsMichael Ben-Or, Oded Goldreich, Silvio Micali — 1990
• Optimistic fair exchange of digital signaturesN. Asokan, Victor Shoup, Michael Waidner — 1998
• A fair non-repudiation protocolJianying Zhou, Dieter Gollmann — 1996

Cited by

• Secure Computation of Common Data among Malicious PartnersSebastian Obermeier, Stefan Böttcher — 2007
• Cabernet Vision of Research and Technology Development in Distributed and Dependable SystemsAlberto Montresor, Matthias Wiesmann, Dietrich Fahrenholtz — 2004
• Probabilistic Analysis and Verification of the ASW Protocol using PRISMSalekul Islam, Mohammad Zaid — 2008
• Automated Analysis of Industrial Scale Security ProtocolsPlasto, Daniel — 2004
• Electronic payment scheme to prevent the treacheryKai Fan, Jun Zhang, Weidong Kou — 2006
• Design, Implementation and Deployment of a Secure Account-Based Electronic Payment SystemMihir Bellare, Juan A. Garay, Ralf Hauser — 2000
• Multi-party fair exchange protocol using ring architecture modelJi‐Seon Kim, Jae‐Cheol Ryou — 2000
• Middleware to support accountability of business to business interactionsD. Mortimer — 2013
• Best practices and research for handling demand response security issues in the smart gridPrakarn Asavachivanthornkul — 2010
• Models and methods for the automated analysis of security protocolsSebastian Mödersheim — 2007
• Non-interference proof techniques for the analysis of cryptographic protocolsMichele Bugliesi, Sabina Rossi — 2005
• Certified e-mail protocol with verifiable third partyMacià Mut–Puigserver, Josep Lluís Ferrer Gomila, Llorenç Huguet Rotger — 2005
• An optimistic fair e-commerce protocol for large e-goodsC.C. Oniz, Erkay Savaş, Albert Lévi — 2006
• Protecting individuals' interests in electronic commerce protocolsHao Chi Wong, Jeannette M. Wing — 2000
• Cryptography in radio frequency identification and fair exchange protocolsGildas Avoine — 2005
• On Fairness in Exchange ProtocolsOlivier Markowitch, Dieter Gollmann, Steve Kremer — 2002
• Currency exchange system for electronic moneysYoshitaka Nakamura, Takeshi Nagayoshi, Takuo Nishihara — 2001
• Financial Cryptography: 4th International Conference, FC 2000 Anguilla, British West Indies, February 20–24, 2000 ProceedingsYair Frankel — 2001
• Analysis of a Fair Exchange ProtocolVitaly Shmatikov, John C. Mitchell — 2000
• A survey of verification techniques for security protocolsColin Fidge — 2001

Related papers

• Exploring asynchronous and synchronous tool use in online coursesMurat Öztok, Daniel Zingaro, Clare Brett — 2013
• Information consensus of asynchronous discrete-time multi-agent systemsLei Fang, Panos J. Antsaklis — 2005
• Challenges for Asynchronous Collaboration in Augmented RealityAndrew Irlitti, Ross Smith, Stewart Von Itzstein — 2016
• Dynamics of time and information in dynamic time.Koichiro Matsuno — 1998
• Use of WhatsApp in Synchronous and Asynchronous Education in Students of the IV Cycle of Peruvian basic EducationWilliam Eduardo Mory Chiparra, Guido Rene Suca-Apaza, Ediht Geobana Rosales-Dominguez — 2022
• A multiparty fair-exchange protocolZhengquan Li — 2008
• Multi-party non-repudiation protocol supporting transparent offline TTPWang Yu-min — 2009
• Certified E-mail protocol based on off-line TTPHui Li — 2006
• TTP Roles in Electronic Commerce ProtocolsQing Si — 2003