Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol

Xiaoru Li, Xiaohong Li, Guangquan Xu, Jing Hu, Zhiyong Feng. Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol. J. Applied Mathematics, 2014, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: