Yuelei Xiao, YuMin Wang, Liaojun Pang. Verification of Trusted Network Access Protocols in the Strand Space Model. IEICE Transactions, 95-A(3):665-668, 2012. [doi]
@article{XiaoWP12,
title = {Verification of Trusted Network Access Protocols in the Strand Space Model},
author = {Yuelei Xiao and YuMin Wang and Liaojun Pang},
year = {2012},
url = {http://search.ieice.org/bin/summary.php?id=e95-a_3_665},
researchr = {https://researchr.org/publication/XiaoWP12},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {95-A},
number = {3},
pages = {665-668},
}