摘要： 基于身份的密码体制(IBC)轻量、高效，密钥管理方式简单，但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件，引入IBC公钥代替RSA证书公钥，减少消息交换数量，提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析，证明IB_TLS协议是安全的。
关键词:
基于身份的密码体制,
IB_TLS协议,
BAN逻辑,
TLS协议
Abstract: ID-Based Cryptography(IBC) public-key system is lightweight, efficient, and of more convenient key management. But because of the lack of security protocols supporting, the application of IBC is limited. By designing IBC-based cipher-suite, an improved Transport Layer Security(TLS) protocol named IB_TLS is proposed in which RSA public-key is substituted by IBC public-key, and the number of message exchange is reduced. BAN logic is used to analyze IB_TLS formally, and the result shows that IB_TLS is secure.
Key words:
ID-Based Cryptography(IBC),
IB_TLS protocol,
BAN logic,
Transport Layer Security(TLS) protocol
中图分类号:
于代荣, 杨扬, 马炳先, 刘明军, 王世贤. 基于身份的TLS协议及其BAN逻辑分析[J]. 计算机工程, 2011, 37(01): 142-144,148.
XU Dai-Rong, YANG Yang, MA Bing-Xian, LIU Meng-Jun, WANG Shi-Xian. ID-based TLS Protocol and Its BAN Logic Analysis[J]. Computer Engineering, 2011, 37(01): 142-144,148.