首页 | 本学科首页   官方微博 | 高级检索  
     

用BAN逻辑方法分析TLS协议
引用本文:马英杰,肖丽萍,何文才,李彦兵.用BAN逻辑方法分析TLS协议[J].微处理机,2006,27(1):20-23.
作者姓名:马英杰  肖丽萍  何文才  李彦兵
作者单位:1. 燕山大学,河北,066004;北京电子科技学院,北京,100070
2. 燕山大学,河北,066004
3. 北京电子科技学院,北京,100070
摘    要:密码协议的形式化正在成为国际上研究的热点,通过形式化分析密码协议来判断密码协议是否安全可靠。BAN逻辑是最早提出、最为重要的一种安全协议分析方法,被广泛地用于密码协议的安全性证明。文章介绍了BAN逻辑和TLS协议,用BAN逻辑分析TLS协议,从而证明TLS协议的双方认证协议是完整的、没有漏洞的。

关 键 词:BAN逻辑  TLS协议  形式化分析密码协议
文章编号:1002-2279(2006)01-0020-04
收稿时间:2004-07-20
修稿时间:2004年7月20日

BAN Logic Analysis of TLS Protocol
MA Ying-jie, XIAO Li-ping, HE Wen-cai.BAN Logic Analysis of TLS Protocol[J].Microprocessors,2006,27(1):20-23.
Authors:MA Ying-jie  XIAO Li-ping  HE Wen-cai
Affiliation:1. Yanshan University, Hebei 066004, China; 2. Electronic Science and Technology Institute, Beijing 100070, China
Abstract:Formal analysis of cryptographic protocol becomes international hot spot in researching, the security of cryptographic protocol can be judged by Formal analysis of cryptographic protocol. BAN logic is the earliest and the most important analysis method of security orotocol, and it can prove the security of cryptographic protocol. In this paper we discuss BAN logic and TLS protocol, we describe a process of analysis of TLS protocol using BAN logic, it can prove that the both authentication protocol of TLS is intact.
Keywords:BAN logic  TLS protocol  Formal analysis of cryptographic protocol
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号