Tarek M. I. El-Sakka, M. Zaki. Using Predicate-based Model Checker for Verifying E-Commerce Protocols. I. J. Network Security, 16(2):90-101, 2014. [doi]
@article{El-SakkaZ14,
title = {Using Predicate-based Model Checker for Verifying E-Commerce Protocols},
author = {Tarek M. I. El-Sakka and M. Zaki},
year = {2014},
url = {http://ijns.femto.com.tw/contents/ijns-v16-n2/ijns-2014-v16-n2-p90-101.pdf},
researchr = {https://researchr.org/publication/El-SakkaZ14},
cites = {0},
citedby = {0},
journal = {I. J. Network Security},
volume = {16},
number = {2},
pages = {90-101},
}