Login / Signup

Formal analysis and design of multi-party fair exchange protocols.

Sihan QingGaicheng Li
Published in: Sci. China Ser. F Inf. Sci. (2006)
Keyphrases
  • formal analysis
  • multi party
  • fair exchange protocols
  • fair exchange
  • formal methods
  • lightweight
  • privacy preserving
  • case study
  • low cost
  • agent model