计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
5期
92-95
,共4页
密码协议%协议设计%链空间%认证测试
密碼協議%協議設計%鏈空間%認證測試
밀마협의%협의설계%련공간%인증측시
设计安全、有效的密码协议是密码学和通讯领域的一个十分重要的研究课题,与密码协议的形式化分析方法研究同步发展.文章在研究链空间模型和认证测试思想的基础上,采用链空间方法指导密码协议的设计,并设计了一个基于公钥密码体制的协议PCP.
設計安全、有效的密碼協議是密碼學和通訊領域的一箇十分重要的研究課題,與密碼協議的形式化分析方法研究同步髮展.文章在研究鏈空間模型和認證測試思想的基礎上,採用鏈空間方法指導密碼協議的設計,併設計瞭一箇基于公鑰密碼體製的協議PCP.
설계안전、유효적밀마협의시밀마학화통신영역적일개십분중요적연구과제,여밀마협의적형식화분석방법연구동보발전.문장재연구련공간모형화인증측시사상적기출상,채용련공간방법지도밀마협의적설계,병설계료일개기우공약밀마체제적협의PCP.