无线安全协议设计方法研究
Research on Wireless Security Protocol Design作者机构：南通大学计算机科学与技术学院南通226019 南京邮电大学计算机学院南京210003 南京航空航天大学信息科学与技术学院南京210016
出 版 物：《计算机科学》 (Computer Science)
年 卷 期：2011年第38卷第9期
页 面：103-107页
核心收录：
学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金(60773041) 江苏省高校自然科学研究计划项目(08KJB520009) 南通市应用研究计划项目(K2008005)资助
主 题：无线局域网 安全协议 认证协议 形式化技术 协议设计
摘 要：探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点分析、具体协议设计、协议安全性证明。作为实例,按照这些步骤,设计了一个新的无线网络认证协议。实践表明,这些设计步骤操作性较强,可以较好地指导无线安全协议设计,对于其它小型应用层协议的设计也有一定的参考作用。
维普期刊数据库
同方期刊数据库