Distributed Algorithms
Unenforced E-Commerce Transactions
IEEE Internet Computing
Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange
CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
Ripping coins for a fair exchange
EUROCRYPT'95 Proceedings of the 14th annual international conference on Theory and application of cryptographic techniques
Optimistic fair exchange of digital signatures
IEEE Journal on Selected Areas in Communications
Supporting fair exchange in mobile environments
Mobile Networks and Applications - Security in mobile computing environments
A Formal Analysis of Syverson's Rational Exchange Protocol
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Report on a working session on security in wireless ad hoc networks
ACM SIGMOBILE Mobile Computing and Communications Review
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Wireless mesh networks: a survey
Computer Networks and ISDN Systems
A formal model of rational exchange and its application to the analysis of Syverson's protocol
Journal of Computer Security - Special issue on CSFW15
Wireless mesh networks: a survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
ESOP'03 Proceedings of the 12th European conference on Programming
Games for non-repudiation protocol correctness
International Journal of Wireless and Mobile Computing
An extended model of rational exchange based on dynamic games of imperfect information
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
A rational approach to cryptographic protocols
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
We introduce game theory as a formal framework in which exchange protocols can be modeled and their properties can be studied. We use this framework to give a formal definition for rational exchange relating it to the concept of Nash equilibrium in games. In addition, we study the relationship between rational exchange and fair exchange. We prove that fair exchange implies rational exchange,but the reverse is not true. The practical consequence of this is that rational exchange protocols may provide interesting solutions to the exchange problem by representing a trade-off between complexity and what they achieve. They could be particularly useful in mobile e-commerce applications.