Resolve-Impossibility for a Contract-Signing Protocol.

Aybek Mukhamedov Mark Dermot Ryan

Published in: CSFW (2006)

Keyphrases

contractual obligations
contract net protocol
sign language
cryptographic protocols
lightweight
dispute resolution
formal analysis
signature verification
communication protocol
supply chain
security analysis
application layer
multi party
communication protocols
end to end
network protocols
coloured petri nets