|
|||||
|
|
| 基于身份的TLS协议及其BAN逻辑分析 | |
| 引用本文： | 于代荣,杨扬,马炳先,刘明军,王世贤.基于身份的TLS协议及其BAN逻辑分析[J].计算机工程,2011,37(1):142-144,148. |
| 作者姓名： | 于代荣 杨扬 马炳先 刘明军 王世贤 |
| 作者单位： | 1. 北京科技大学信息工程学院,北京100083;济南大学信息科学与工程学院,济南250022 2. 北京科技大学信息工程学院,北京,100083 3. 济南大学信息科学与工程学院,济南,250022 |
| 基金项目： | 国家自然科学基金资助项目(60903099, 60673160)；山东省中青年科学家奖励基金资助项目(BS2009DX012)；山东省高等学校科技计划基金资助项目(J09LG14)；济南大学校科研基金资助项目(XKY1009)；济南大学信息学院科研基金资助项目(Y0809) |
| 摘 要： | 基于身份的密码体制(IBC)轻量、高效，密钥管理方式简单，但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件，引入IBC公钥代替RSA证书公钥，减少消息交换数量，提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析，证明IB_TLS协议是安全的。 |
| 关 键 词： | 基于身份的密码体制 IB_TLS协议 BAN逻辑 TLS协议 |
ID-based TLS Protocol and Its BAN Logic Analysis |
|
| YU Dai-rang,YANG Yang,MA Bing-xian,LIU Ming-jun,WANG Shi-xian.ID-based TLS Protocol and Its BAN Logic Analysis[J].Computer Engineering,2011,37(1):142-144,148. | |
| Authors: | YU Dai-rang YANG Yang MA Bing-xian LIU Ming-jun WANG Shi-xian |
| Affiliation: | (1. Information Engineering School, University of Science and Technology Beijing, Beijing 100083, China; 2. School of Information Science and Engineering, Jinan University, Jinan 250022, China) |
| 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. |
| Keywords: | ID-Based Cryptography(IBC) IB_TLS protocol BAN logic Transport Layer Security(TLS) protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |