Xiaohong Li, Jiayi Xu, Guangquan Xu, Jianye Hao, Xiaoru Li, Zhiyong Feng, Honghao Gao. Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service. International Journal of Software Engineering and Knowledge Engineering, 26(4):563-586, 2016. [doi]
Abstract is missing.