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]

Authors

Xiaoru Li

This author has not been identified. Look up 'Xiaoru Li' in Google

Xiaohong Li

This author has not been identified. Look up 'Xiaohong Li' in Google

Guangquan Xu

This author has not been identified. Look up 'Guangquan Xu' in Google

Jing Hu

This author has not been identified. Look up 'Jing Hu' in Google

Zhiyong Feng

This author has not been identified. Look up 'Zhiyong Feng' in Google