Security analysis of two fair exchange protocols
Abstract
E-commerce applications enable two parties to exchange digital items electronically. It is critical for such applications that the underlying protocols ensure the fairness requirement: no honest participant should suffer any loss of significant value. It is important to verify that an e-commerce protocol satisfies its fairness goal. Formal methods such as model checking can be helpful in this regard. To this end, it is essential to develop a model of the protocol under realistic assumptions. Using the NetBill protocol as an example this work shows how improper modelling can lead to incorrect claims about the protocol. It also shows how a carefully developed formal model can be successfully used to discover previously unknown flaws in an existing protocol.
Collections
- M Tech Dissertations [923]
Related items
Showing items related by title, author, creator and subject.
-
Web services policy in grid
Desai, Amee Anilbhai (Dhirubhai Ambani Institute of Information and Communication Technology, 2008)Service-oriented computing enables service providers to publish their business functionalities in the form of abstract contracts, which can be discovered by service consumers based on open and standard protocols. Enterprise ... -
Secure data delivery in mobile ad hoc network using multiple paths
Maheshwari, Mayur (Dhirubhai Ambani Institute of Information and Communication Technology, 2011)A mobile ad hoc network (MANET) is a self configurable, self organized, infrastructure less multi hop mobile wireless network.Characteristics of ad hoc network make security a critical issue i.e. any node can join the ... -
Modeling and detecting attacks against key agreement protocols
Yadav, Anshu (Dhirubhai Ambani Institute of Information and Communication Technology, 2012)Key agreement protocols establish a shared secret key between two or more communicating parties willing to exchange data over insecure channels using symmetric key cryptography. Based on the number of members involved ...