基于身份的TLS协议及其BAN逻辑分析
ID-based TLS Protocol and Its BAN Logic Analysis作者机构:北京科技大学信息工程学院北京100083 济南大学信息科学与工程学院济南250022
出 版 物:《计算机工程》 (Computer Engineering)
年 卷 期:2011年第37卷第1期
页 面:142-144,148页
核心收录:
学科分类:08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家自然科学基金资助项目(60903099 60673160) 山东省中青年科学家奖励基金资助项目(BS2009DX012) 山东省高等学校科技计划基金资助项目(J09LG14) 济南大学校科研基金资助项目(XKY1009) 济南大学信息学院科研基金资助项目(Y0809)
主 题:基于身份的密码体制 IB TLS协议 BAN逻辑 TLS协议
摘 要:基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析,证明IB_TLS协议是安全的。