Sciweavers

275 search results - page 9 / 55
» Analysis of a Fair Exchange Protocol
Sort
View
IAT
2007
IEEE
15 years 3 months ago
Towards Automated Design of Multi-party Rational Exchange Security Protocols
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
Almudena Alcaide, Juan M. Estévez-Tapiador,...
ACSD
2010
IEEE
261views Hardware» more  ACSD 2010»
14 years 7 months ago
Partial Order Reduction for Branching Security Protocols
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs
ASIACRYPT
2004
Springer
15 years 2 months ago
New Approaches to Password Authenticated Key Exchange Based on RSA
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
Muxiang Zhang
79
Voted
ADHOC
2008
88views more  ADHOC 2008»
14 years 9 months ago
Increasing fairness and efficiency using the MadMac protocol in ad hoc networks
Abstract. The IEEE 802.11 MAC layer is known for its unfairness behavior in ad hoc networks. Introducing fairness in the 802.11 MAC protocol may lead to a global throughput decreas...
Tahiry Razafindralambo, Isabelle Guérin Las...
77
Voted
CSIE
2009
IEEE
15 years 4 months ago
An Enhanced-Security Fair E-payment Protocol
Customers are usually passive in an electronic commerce transaction. Based on a new two times concurrent signature, this article presents a fair electronic payment (E-payment) pro...
Wei Fan, Huaying Shu, Elizabeth Fife, Qiang Yan