| Aziz-Diffie协议的形式化分析及其改进 |
| |
| 引用本文： | 翁艳琴,石曙东,解颜铭.Aziz-Diffie协议的形式化分析及其改进[J].湖北师范学院学报(自然科学版),2011,31(3):85-89. |
| |
| 作者姓名： | 翁艳琴 石曙东 解颜铭 |
| |
| 作者单位： | 1. 湖北师范学院数学与统计学院,湖北黄石,435002
2. 湖北师范学院计算机科学与技术学院,湖北黄石,435002 |
| |
| 基金项目： | 湖北省自然科学基金(2006ABA056); 湖北省教育厅重点项目(D20092203);湖北省教育厅青年项目(Q20102503) |
| |
| 摘 要： | 形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议安全性的一条可靠而准确的途径。作为形式化分析方法的典型代表BAN逻辑由于其直观、易用等优点得到广泛的应用。概述了BAN逻辑,并基于BAN逻辑对Aziz-Diffie无线网络密钥协议进行了形式化描述和分析,验证了协议存在的漏洞,同时提出了该协议的改进方案。
|
| 关 键 词： | BAN逻辑 形式化分析 无线局域网协议 Aziz-Diffie 协议安全 |
Formal analysis and improvement of aziz-diffie protocols |
| |
| WENG Yan-qin, SHI Shu-dong,XIE Yan-ming.Formal analysis and improvement of aziz-diffie protocols[J].Journal of Hubei Normal University(Natural Science),2011,31(3):85-89. |
| |
| Authors: | WENG Yan-qin SHI Shu-dong XIE Yan-ming |
| |
| Institution: | WENG Yan-qin1,2 SHI Shu-dong2,XIE Yan-ming1,2(1.Institute of Mathematics and Statistical,Hubei Normal University,Huangshi 435002,China,2.Institute of Computer Science and Technology,Hubei Nomal University,China) |
| |
| Abstract: | Formal analysis method,because of its refined,concise and unambiguous feature,has gradually become a reliable and accurate way in analyzing cryptographic protocols security.As a typical representative of Formal analysis,BAN logic has been widely used with the advantage of its intuitive,easy to use,etc.This article outlines the BAN logic,describes and analyzes the wireless network key Aziz-Diffie protocol based on BAN logic,verifies the existence of loopholes,and also makes some improvements in the agreement... |
| |
| Keywords: | BAN logic formal analysis wireless local area network protocol Aziz-Diffie protocol security |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
