计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
1期
142-144,148
,共4页
于代荣%杨扬%马炳先%刘明军%王世贤
于代榮%楊颺%馬炳先%劉明軍%王世賢
우대영%양양%마병선%류명군%왕세현
基于身份的密码体制%IB_TLS协议%BAN逻辑%TLS协议
基于身份的密碼體製%IB_TLS協議%BAN邏輯%TLS協議
기우신빈적밀마체제%IB_TLS협의%BAN라집%TLS협의
基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用.通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议.使用BAN逻辑对其进行形式化分析,证明IB_TLS协议是安全的.
基于身份的密碼體製(IBC)輕量、高效,密鑰管理方式簡單,但缺乏有效安全協議的支持限製瞭其應用.通過增加支持IBC的加密套件,引入IBC公鑰代替RSA證書公鑰,減少消息交換數量,提齣支持IBC的、高效的基于身份的IB_TLS協議.使用BAN邏輯對其進行形式化分析,證明IB_TLS協議是安全的.
기우신빈적밀마체제(IBC)경량、고효,밀약관리방식간단,단결핍유효안전협의적지지한제료기응용.통과증가지지IBC적가밀투건,인입IBC공약대체RSA증서공약,감소소식교환수량,제출지지IBC적、고효적기우신빈적IB_TLS협의.사용BAN라집대기진행형식화분석,증명IB_TLS협의시안전적.
