Author
Wang Yuan-yua
Bio: Wang Yuan-yua is an academic researcher. The author has contributed to research in topics: Free contract. The author has an hindex of 1, co-authored 1 publications receiving 2 citations.
Topics: Free contract
Papers
More filters
Journal Article•
TL;DR: The paper deduces the unequivalent relation between "TTP’s abort decision" and "aborted contract signing", gives formal definition of "contract signing failed", and proposes a new formal description of abuse-freeness of BW multi-party contract signing protocol.
Abstract: Abuse-freeness is a new secure requirement proposed in contract signing protocols,and appears ambiguous.Based on the interactive theorem prover Isabelle/HOL,the paper deduces the unequivalent relation between "TTP’s abort decision" and "aborted contract signing",gives formal definition of "contract signing failed",proposes a new formal description of abuse-freeness,and verifies abuse-freeness of BW multi-party contract signing protocol.
2 citations
Cited by
More filters
TL;DR: An abuse-freeness electronic payment protocol for real goods is proposed in this paper and it has prevented both sides in payment to originate and terminate protocol maliciously and fairness and security are achieved in the proposed protocol.
Abstract: Abuse-freeness is one of the most interesting new problems in the electronic payment security today. It is an effective supplementary for the fairness. It is confusing to researchers how to get real abuse-freeness in electronic payment. An abuse-freeness electronic payment protocol for real goods is proposed in this paper. The protocol has the abuse-freeness by introducing a trusted third party and using the concurrent signature and it has prevented both sides in payment to originate and terminate protocol maliciously. At the same time fairness and security are also achieved in the proposed protocol.
10 citations
30 Nov 2011
TL;DR: An abuse-freeness electronic payment protocol for real goods is proposed in this paper and it has prevented both sides in payment to originate and terminate protocol maliciously and fairness and security are also achieved in the proposed protocol.
Abstract: Abuse-freeness is one of the most interesting new problems in the electronic payment security today. It is an effective supplementary for the fairness. It is confused for researchers how to get real abuse-freeness in electronic payment. An abuse-freeness electronic payment protocol for real goods is proposed in this paper. The protocol has the abuse-freeness by introducing a trusted third party and using the concurrent signature and it has prevented both sides in payment to originate and terminate protocol maliciously. At the same time fairness and security are also achieved in the proposed protocol.