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]
@article{LiXXHLFG16,
title = {Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service},
author = {Xiaohong Li and Jiayi Xu and Guangquan Xu and Jianye Hao and Xiaoru Li and Zhiyong Feng and Honghao Gao},
year = {2016},
doi = {10.1142/S0218194016400027},
url = {http://dx.doi.org/10.1142/S0218194016400027},
researchr = {https://researchr.org/publication/LiXXHLFG16},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {26},
number = {4},
pages = {563-586},
}