Login / Signup
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol.
Weiqiang Kong
Kazuhiro Ogata
Jianwen Xiang
Kokichi Futatsugi
Published in:
CIT (2004)
Keyphrases
</>
formal analysis
fair exchange
electronic commerce
fair exchange protocols
multi party
signature scheme
ban logic
dispute resolution
mobile commerce
formal methods
agent model
trusted third party
life cycle