Affiliation:
1. School of Computer Science and Technology; Xidian University; Xi'an 710071 China
Funder
Changjiang Scholars and Innovative Research Team in the University of Ministry of Education of China
NSFC-Guangdong Union Foundation
Major National S&T Program
National Natural Science Foundation of China
Natural Science Basic Research Plan in Shaanxi Province
Fundamental Research Funds for the Central Universities
Subject
Computer Networks and Communications,Information Systems
Reference29 articles.
1. Twenty years development of security protocols research (in Chinese with English abstract);Qing;Journal of Software,2003
2. Furqan Z Muhammad S Guha RK Formal verification of 802.11i using strand space formalism International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06) 2006 140 145
3. Guttman JD State and progress in strand spaces: proving fair exchange 2010 1 37
4. Fabrega FJT Herzog JC Guttman JD Strand spaces: why is a security protocol correct? Proceedings of the 1998 IEEE Symp on Security and Privacy 1998 160 171
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献