Formal Analysis of Multiparty Contract Signing.

Rohit Chadha Steve Kremer Andre Scedrov

Published in: J. Autom. Reason. (2006)

Keyphrases

formal analysis
multi party
privacy preserving
sign language
secret sharing
signature verification
turn taking
formal methods
mental states
description language
ban logic
human communication
signature scheme
cooperative
agent model
orders of magnitude
knowledge acquisition
low cost
multi agent systems