Login / Signup

Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service.

Xiaohong LiJiayi XuGuangquan XuJianye HaoXiaoru LiZhiyong FengHonghao Gao
Published in: Int. J. Softw. Eng. Knowl. Eng. (2016)
Keyphrases