安全协议形式化分析方法综述之一:基于推理结构性方法
被引量:1
One summary of method of security protocol's formal analysis -- Structured method based on reasoning
摘要
本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足。
出处
《网络安全技术与应用》
2003年第5期52-56,共5页
Network Security Technology & Application
同被引文献9
-
1李勤,张浩军,杨峰,张全林.无线局域网安全协议的研究和实现[J].计算机应用,2005,25(1):160-162. 被引量:48
-
2张帆,马建峰.WAPI认证机制的性能和安全性分析[J].西安电子科技大学学报,2005,32(2):210-215. 被引量:29
-
3薛锐,冯登国.安全协议的形式化分析技术与方法[J].计算机学报,2006,29(1):1-20. 被引量:60
-
4周永彬,张振峰,冯登国.一种认证密钥协商协议的安全分析及改进[J].软件学报,2006,17(4):868-875. 被引量:16
-
5张浩军,祝跃飞.无线局域网认证基础架构研究与设计[C]//第11届全国青年通信学术会议.北京:北京邮电大学出版社,2006:913—918.
-
6GB 15629.11-2003..信息技术系统间远程通信和信息交换局域网和城域网特定要求第11部分:无线局域网媒体访问控制和物理层规范[S]..,,2003.12....
-
7IEEE P802. 11i, Medium Access Control (MAC) Security Enhancements, Amendment 6 to IEEE Standard for Information Technology - Telecommunications and Information Exchange Between systems - Local and Metropolitan Area Networks - Specific Requirements - Part 11: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications[S].July, 2004.
-
8He C, Mitchell J C. Analysis of the 802.11i 4-Way Handshake[C]. Proceedings of the 3rd ACM International Workshop on Wireless Security(WiSe'O4).New York:Association for Commuting Machinery 2004:43-50,
-
9N Borisov, L Goldberg, David Wagner. Intercepting Mobile Communications: The Insecurity of 802.11 [A].Proc of 7th Annual Int. Conf. Mobile Computing and Networking 2001Papers[C]. Rome, Italy:ACMCN, 2001.
-
1崔瑞,姜秋喜,毕大平,董晖.D-S证据理论在雷达辐射源识别中的应用[J].雷达与对抗,2004,24(3):20-22. 被引量:2
-
2缪崇大,高贵明.D-S证据理论在雷达目标识别中的应用[J].雷达与对抗,2008,28(3):32-34. 被引量:4
-
3葛飞秀,杨晓龙.自由贸易区贸易效应研究方法综述[J].新疆财经,2011(5):61-65. 被引量:1
-
4杨周行.微波通信的故障定位逻辑系统[J].无线通信技术,2001,10(1):45-49.
-
5任凌玉.产品市场竞争衡量方法综述[J].经济问题探索,2009(1):88-93. 被引量:1
-
6宋之杰,石晓林,石蕊.在线旅游产品购买意愿影响因素分析[J].企业经济,2013,32(10):96-100. 被引量:15
-
7李爱军,王海滨,郑晓波.基于推理控制策略的智能型电力搜索引擎的研究[J].西华大学学报(自然科学版),2008,27(6):34-37. 被引量:2
-
8逆水.浅谈手机软件的维修[J].家电科技(手机维修天地),2004(4):59-60.
-
9范舟行.旅游目的地感知形象的测量与推广研究——以马鞍山市为例[J].郑州航空工业管理学院学报,2015,33(2):109-112.
-
10赵西萍,王磊,邹慧萍.旅游目的地国国际旅游需求预测方法综述[J].旅游学刊,1996,11(6):28-32. 被引量:33