%0 Journal Article
%T Security Analysis Approaches for Group Key Agreement Protocols<br>群组密钥协商协议的安全性分析方法研究
%A ZHAO Xiu-feng
%A XU Qiu-liang
%A WEI Da-wei
%A <br>赵秀凤
%A 徐秋亮
%A 韦大伟
%J 计算机科学
%D 2011
%I 
%X Group Key agreement allows multi users to establish a common session key though insecure channels. Designing secure group key agreement protocols is one of the most fundamental cryptographic tasks. This paper introduced two approaches developed for analyzing security group key agreement protocols: computational complexity approach and formal analysis approach. The key technologies of computational complexity approach were discussed, including the proof technology based on reduction and simulatability, and security models based on reduction and simulatability. The trends in this field were presented.
%K Key agreement
%K Provably secure
%K Security model
%K Reduction
%K Simulatablility
%K UC framework<br>密钥协商，可证明安全，安全模型，规约，模拟，UC框架
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B64E2EF1739A75D5F50748F02A0FBC5C&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=B31275AF3241DB2D&sid=769BD58726D66E7D&eid=856C2E13D1000DB7&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=26