Zhiyuan Liu, Jun Pang, Chenyi Zhang. Design and formal verification of a CEM protocol with transparent TTP. Frontiers of Computer Science in China, 7(2):279-297, 2013. [doi]
@article{LiuPZ13,
title = {Design and formal verification of a CEM protocol with transparent TTP},
author = {Zhiyuan Liu and Jun Pang and Chenyi Zhang},
year = {2013},
doi = {10.1007/s11704-013-1268-6},
url = {http://dx.doi.org/10.1007/s11704-013-1268-6},
researchr = {https://researchr.org/publication/LiuPZ13},
cites = {0},
citedby = {0},
journal = {Frontiers of Computer Science in China},
volume = {7},
number = {2},
pages = {279-297},
}