| 无线安全协议设计方法研究 |
| |
| 引用本文： | 顾翔,张臻,邱建林. 无线安全协议设计方法研究[J]. 计算机科学, 2011, 38(9): 103-107 |
| |
| 作者姓名： | 顾翔 张臻 邱建林 |
| |
| 作者单位： | (南通大学计算机科学与技术学院 南通 226019);(南京邮电大学计算机学院 南京 210003);(南京航空航天大学信息科学与技术学院 南京 210016) |
| |
| 基金项目： | 本文受国家自然科学基金(60773041),江苏省高校自然科学研究计划项目(08KJB520009）,南通市应用研究计划项目(K2008005)资助。 |
| |
| 摘 要： | 探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点分析、具体协议设计、协议安全性证明。作为实例,按照这些步骤,设计了一个新的无线网络认证协议。实践表明,这些设计步骤操作性较强,可以较好地指导无线安全协议设计,对于其它小型应用层协议的设计也有一定的参考作用。
|
| 关 键 词： | 无线局域网 安全协议 认证协议 形式化技术 协议设计 |
Research on Wireless Security Protocol Design |
| |
| GU Xiang,ZHANG Zhen,QIU Jian-lin. Research on Wireless Security Protocol Design[J]. Computer Science, 2011, 38(9): 103-107 |
| |
| Authors: | GU Xiang ZHANG Zhen QIU Jian-lin |
| |
| Affiliation: | GU Xiang1,2 ZHANG Zhen1,3 QIU Jian-lin1(School of Computer Science and Technology,Nantong University,Nantong 226019,China)1(School of Computer Science and Technology,Nanjing University of Posts and Telecommunications,Nanjing 210003,China)2(College of Information Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China)3 |
| |
| Abstract: | Discussed general steps of a wireless security protocol design, including abstracting of application environment, analyzing weakness of application-specific network, confirming objectives of protocol to be designed, analyzing advantages and disadvantages of the existing similar protocols, designing protocol, proofing protocol security. And in accordance with these steps,a new wireless network authentication protocol was designed as an example. Practice shows that these steps could guide the designing of wireless security protocols better. They could also be used to guide the designing of some small application-layer protocols. |
| |
| Keywords: | Wireless I AN Security protocol Authentication protocol Formal technology Protocol design |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
