无线安全协议设计方法研究  

Research on Wireless Security Protocol Design

作　　者：顾翔[1,2] 张臻[1,3] 邱建林[1] 

机构地区：[1]南通大学计算机科学与技术学院,南通226019 [2]南京邮电大学计算机学院,南京210003 [3]南京航空航天大学信息科学与技术学院,南京210016

出　　处：《计算机科学》2011年第9期103-107,共5页Computer Science

基　　金：国家自然科学基金(60773041);江苏省高校自然科学研究计划项目(08KJB520009);南通市应用研究计划项目(K2008005)资助

摘　　要：探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点分析、具体协议设计、协议安全性证明。作为实例,按照这些步骤,设计了一个新的无线网络认证协议。实践表明,这些设计步骤操作性较强,可以较好地指导无线安全协议设计,对于其它小型应用层协议的设计也有一定的参考作用。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.

关 键 词：无线局域网 安全协议 认证协议 形式化技术 协议设计 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]