电子质量
電子質量
전자질량
ELECTRONICS QUALITY
2010年
11期
32-34,43
,共4页
安全协议%公钥密码机制%身份认证%密钥协商
安全協議%公鑰密碼機製%身份認證%密鑰協商
안전협의%공약밀마궤제%신빈인증%밀약협상
为了解决网络中的安全传输和通信问题,提出一个新的基于公钥密码机制的安全协议.该安全协议的设计和分析采用了面向主体的逻辑方法,协议中引入了可信任的第三方,采用挑战/响应机制实现通信双方的身份认证,采用Diffie-Hellmam机制实现了密钥协商.通过Rubin逻辑形式化分析,验证了该协议具有一定的严密性,能够实现身份认证和密钥协商功能.
為瞭解決網絡中的安全傳輸和通信問題,提齣一箇新的基于公鑰密碼機製的安全協議.該安全協議的設計和分析採用瞭麵嚮主體的邏輯方法,協議中引入瞭可信任的第三方,採用挑戰/響應機製實現通信雙方的身份認證,採用Diffie-Hellmam機製實現瞭密鑰協商.通過Rubin邏輯形式化分析,驗證瞭該協議具有一定的嚴密性,能夠實現身份認證和密鑰協商功能.
위료해결망락중적안전전수화통신문제,제출일개신적기우공약밀마궤제적안전협의.해안전협의적설계화분석채용료면향주체적라집방법,협의중인입료가신임적제삼방,채용도전/향응궤제실현통신쌍방적신빈인증,채용Diffie-Hellmam궤제실현료밀약협상.통과Rubin라집형식화분석,험증료해협의구유일정적엄밀성,능구실현신빈인증화밀약협상공능.
