Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol.

Xiaoru Li Xiaohong Li Guangquan Xu Jing Hu Zhiyong Feng

Published in: J. Appl. Math. (2014)

Keyphrases

multi party
formal analysis
fair exchange protocols
fair exchange
privacy preserving
secret sharing
ban logic
formal methods
description language
agent model
mental states
domain independent
dispute resolution
cooperative
expert systems
payment protocol