An approach to the formal analysis of the TMN protocol
LIU Xiu-ying1;2;ZHANG Yu-qing2;YANG Bo1;XING Ge2
J4 . 2004, (5): 785 -790 . 

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd