Login / Signup

Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol.

Weiqiang KongKazuhiro OgataJianwen XiangKokichi 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