Login / Signup

A formal model of fair exchange protocols.

Sihan QingGaicheng Li
Published in: Sci. China Ser. F Inf. Sci. (2005)
Keyphrases
  • formal model
  • fair exchange protocols
  • fair exchange
  • multi party
  • electronic commerce
  • formal models
  • predicate calculus
  • security patterns
  • quality of service
  • signature scheme
  • security properties