Login / Signup
Formal Analysis of Multi-Party Contract Signing.
Rohit Chadha
Steve Kremer
Andre Scedrov
Published in:
CSFW (2004)
Keyphrases
</>
formal analysis
multi party
privacy preserving
sign language
signature verification
description language
formal methods
agent model
signature scheme
mental states
virtual humans
ban logic
web services
multi issue