基于身份的TLS协议及其BAN逻辑分析

• 作者: 于代荣 刘明军 杨扬 王世贤 马炳先
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 基于身份的密码体制 IB_TLS协议 BAN逻辑 TLS协议
• 年，卷（期）: 2011,（1）
• 页码范围: 142-144,148
• 分类号: TP309
• 字数: 3976字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.01.049

摘要

基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用.通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议.使用BAN逻辑对其进行形式化分析,证明IB_TLS协议是安全的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘明军	济南大学信息科学与工程学院	19	284	10.0	16.0
2	杨扬	北京科技大学信息工程学院	183	2049	21.0	36.0
3	马炳先	济南大学信息科学与工程学院	7	65	5.0	7.0
4	于代荣	北京科技大学信息工程学院	3	25	3.0	3.0
8	王世贤	济南大学信息科学与工程学院	1	17	1.0	1.0