计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2014年
2期
462-466
,共5页
双方密钥%安全认证密钥协商%eCK安全模型%安全性假设%形式化证明
雙方密鑰%安全認證密鑰協商%eCK安全模型%安全性假設%形式化證明
쌍방밀약%안전인증밀약협상%eCK안전모형%안전성가설%형식화증명
key in both sides%SAKA%eCK security model%security assumption%formal verification
在完全放开的网络情况下,针对如何构造安全和高效的密钥协商协议,提出了一种双轮双方认证密钥协商协议.利用密钥协商出一个共同会话密钥,将对两方认证的新密钥协商协议中两个模型进行分析,得出构造双轮双方密钥协商协议的基本原则,再对于新形式的两轮密钥协商会议进行的形式化证明,此外构造了一个三轮共同认证的可确认的密钥协商协议.通过实验性能分析表明,新协议在平衡计算量和安全性假设方面,取得了良好的效果.
在完全放開的網絡情況下,針對如何構造安全和高效的密鑰協商協議,提齣瞭一種雙輪雙方認證密鑰協商協議.利用密鑰協商齣一箇共同會話密鑰,將對兩方認證的新密鑰協商協議中兩箇模型進行分析,得齣構造雙輪雙方密鑰協商協議的基本原則,再對于新形式的兩輪密鑰協商會議進行的形式化證明,此外構造瞭一箇三輪共同認證的可確認的密鑰協商協議.通過實驗性能分析錶明,新協議在平衡計算量和安全性假設方麵,取得瞭良好的效果.
재완전방개적망락정황하,침대여하구조안전화고효적밀약협상협의,제출료일충쌍륜쌍방인증밀약협상협의.이용밀약협상출일개공동회화밀약,장대량방인증적신밀약협상협의중량개모형진행분석,득출구조쌍륜쌍방밀약협상협의적기본원칙,재대우신형식적량륜밀약협상회의진행적형식화증명,차외구조료일개삼륜공동인증적가학인적밀약협상협의.통과실험성능분석표명,신협의재평형계산량화안전성가설방면,취득료량호적효과.
