Login / Signup
A formal model of fair exchange protocols.
Sihan Qing
Gaicheng 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