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

摘要：

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

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

所属期刊栏目：38

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：103-107