计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
20期
151-152,156
,共3页
刘志猛%赵燕丽%范辉%原达
劉誌猛%趙燕麗%範輝%原達
류지맹%조연려%범휘%원체
安全协议%身份认证%会话密钥%SVO逻辑%逻辑分析
安全協議%身份認證%會話密鑰%SVO邏輯%邏輯分析
안전협의%신빈인증%회화밀약%SVO라집%라집분석
针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥.采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求.
針對認證協議在受限通信網絡環境中的應用和安全問題,提齣一種基于橢圓麯線密碼技術的認證協議,使用對稱密碼為協議中的交互信息提供機密性,在協議最後生成參與者共享的會話密鑰.採用擴展的SVO邏輯對推薦協議進行形式化分析,結果證明該協議的安全性符閤要求.
침대인증협의재수한통신망락배경중적응용화안전문제,제출일충기우타원곡선밀마기술적인증협의,사용대칭밀마위협의중적교호신식제공궤밀성,재협의최후생성삼여자공향적회화밀약.채용확전적SVO라집대추천협의진행형식화분석,결과증명해협의적안전성부합요구.
