学位论文 > 优秀研究生学位论文题录展示

WLAN安全接入协议的一致性测试研究

作　者: 张嘉伟
导　师: 马建峰
学　校: 西安电子科技大学
专　业: 密码学
关键词: WLAN 安全接入协议 802.11i 一致性测试 TTCN-3 主动测试被动测试
分类号: TN925.93
类　型: 硕士论文
年　份: 2010年
下　载: 75次
引　用: 0次
阅　读: 论文下载

内容摘要

无线局域网(WLAN)具有灵活的移动能力和足够高的传输速率,是日常应用中比较普遍的一种无线组网形式。然而,随着应用的逐渐广泛,其安全问题也越来越突出并且已成为一个研究热点。目前,WLAN协议的漏洞已经越来越多的被发现,如WEP协议中的漏洞,因此专业人员制订了安全性更高的新的WLAN安全协议,如IEEE的802.11i和中国的WAPI标准。一致性测试是协议工程中非常重要的一个环节,主要检测所实现的安全协议是否符合协议规范,为协议能够正常运行和抵御攻击提供基础保证。在通信网络中,越来越多的新协议诞生,每一个协议在真实环境中运行之前,都必须进行一致性测试以保证其正确性和规范性。本文根据项目的需求,对课题中的WLAN安全接入协议进行一致性测试。首先根据协议工程原理,以形式化方法对WLAN安全接入协议中的接入认证过程进行分析；其次借鉴协议一致性测试原理,对WLAN安全接入协议一致性测试的方案进行了设计；最后,根据所设计的方案实现了一致性测试系统。本文的一致性测试采用了被动测试和主动测试相结合的方法。一致性测试系统主要对被动测试系统进行了实现。该系统集成了对802.11b协议的安全接入部分和对课题中的WLAN安全接入协议3PAKE的被动测试,而且提供了友好的人机界面,方便用户使用；对主动测试,采用了OSI 9646标准中的TTCN-3标准测试语言,用该语言对测试序列进行描述,不仅能够高效、统一地生成测试序列而且测试过程中更加标准化。

全文目录

摘要  3-4
Abstract  4-7
第一章绪论  7-13
  1.1 引言  7
  1.2 研究背景  7-11
    1.2.1 WLAN安全协议概述  7-9
    1.2.2 协议与协议一致性测试技术  9-10
    1.2.3 协议一致性测试在国内外的发展现状  10-11
  1.3 研究内容和目的  11
  1.4 论文结构安排  11-13
第二章协议形式化分析及一致性测试理论  13-23
  2.1 协议形式化分析技术  13-15
    2.1.1 协议工程概述  13-14
    2.1.2 协议形式化分析  14-15
  2.2 协议一致性测试技术  15-23
    2.2.1 协议测试  15-17
    2.2.2 协议一致性测试  17-23
第三章 3PAKE协议的形式化分析与测试需求  23-37
  3.1 3PAKE协议介绍  23-27
    3.1.1 802.11b安全接入协议  23-25
    3.1.2 3PAKE安全接入协议  25-27
  3.2 3PAKE协议的形式化分析  27-34
    3.2.1 有限状态机模型  27-28
    3.2.2 802.11b协议的形式化分析  28-30
    3.2.3 3PAKE协议的形式化分析  30-34
  3.3 3PAKE协议的测试需求  34-37
第四章 WLAN安全接入协议一致性测试方案  37-55
  4.1 协议一致性测试方案设计  37
  4.2 协议被动测试方案  37-44
    4.2.1 802.11b协议被动测试分析  37-42
    4.2.2 3PAKE协议被动测试方案  42-44
  4.3 协议主动测试方案  44-55
    4.3.1 TTCN-3测试描述语言  45-50
    4.3.2 3PAKE主动测试方案  50-55
第五章 WLAN安全接入协议一致性测试系统  55-71
  5.1 一致性测试系统概述  55
  5.2 一致性测试系统的实现  55-68
    5.2.1 测试系统结构和流程  55-57
    5.2.2 测试系统界面部分  57-62
    5.2.3 测试系统的核心模块  62-68
  5.3 一致性测试系统的验证  68-71
    5.3.1 实验环境配置  68
    5.3.2 一致性测试系统的测试结果  68-71
第六章结束语  71-73
  6.1 研究总结  71-72
  6.2 对未来工作的期望  72-73
致谢  73-75
参考文献  75-77
研究成果  77-78

WLAN安全接入协议的一致性测试研究

内容摘要

全文目录

相似论文