计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
6期
145-148,156
,共5页
密钥协商%可证明安全%安全模型%规约%模拟%UC框架
密鑰協商%可證明安全%安全模型%規約%模擬%UC框架
밀약협상%가증명안전%안전모형%규약%모의%UC광가
群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一.介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法,详细讨论了计算复杂性方法中的关键技术,包括基于规约的证明技术及基于模拟的证明技术、基于规约的安全模型和基于模拟的安全模型,探讨了安全性分析方法的发展趋势.
群組密鑰協商允許多箇用戶通過不安全的信道建立一箇共享的會話密鑰,設計安全的群組密鑰協商協議是最基本的密碼學任務之一.介紹瞭群組密鑰協商協議的兩類安全性分析方法:計算複雜性方法和形式化分析方法,詳細討論瞭計算複雜性方法中的關鍵技術,包括基于規約的證明技術及基于模擬的證明技術、基于規約的安全模型和基于模擬的安全模型,探討瞭安全性分析方法的髮展趨勢.
군조밀약협상윤허다개용호통과불안전적신도건립일개공향적회화밀약,설계안전적군조밀약협상협의시최기본적밀마학임무지일.개소료군조밀약협상협의적량류안전성분석방법:계산복잡성방법화형식화분석방법,상세토론료계산복잡성방법중적관건기술,포괄기우규약적증명기술급기우모의적증명기술、기우규약적안전모형화기우모의적안전모형,탐토료안전성분석방법적발전추세.
