A new model for analyzing security protocols formally
MU Jian-jun
J4 . 2006, (3): 381 -385 . 

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