通用可组合符号化分析群组密钥协商协议

来源 :中国通信 | 被引量 : 0次 | 上传用户:dt
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Canetti and Herzog have already proposed universally composable symbolic analysis (UCSA) to analyze mutual authentication and key exchange protocols. However, they do not analyze group key exchange protocol. Therefore, this paper explores an approach to analyze group key exchange protocols, which realize automation and guarantee the soundness of cryptography. Considered that there exist many kinds of group key exchange protocols and the participants number of each protocol is arbitrary. So this paper takes the case of Burmester-Desmedt (BD) protocol with three participants against passive adversary (3-BD-Passive). In a nutshell, our works lay the root for analyzing group key exchange protocols automatically without sacrificing soundness of cryptography.
其他文献
创新教育是培养全面人才的教育,一个人的创新能力可以体现其综合素质,一个国家创新人才的多少直接影响整个社会的发展。而学校课堂教学则是培养学生创新能力的主要渠道,本文
To address cross-ISP traffic problem caused by BitTorrent, we present our design and evaluation of a proximity-aware BitTorrent system. In our approach, clients
IPTV中间件技术依然存在关键问题IPTV的中间件作为在IPTV业务发展中长期的热点问题,一直受到各方关注,并且取得了一定的进展。中国电信和中国网通在实际业务推广过程中,已 I
2007即将在新年的钟声中远去,要盘点这一年的热门话题,雅虎与谷歌是不可绕过的。12月中旬,两大搜索巨头先后公布各自平台的2007年十大搜索关键词,其中雅虎还特别推出了10大IT
心血管疾病患者有发生猝死的潜在危险性,寻求有效的高危预测指标为患者进行危险分层和预后判断,对延长患者的生存时间有重要的意义。目前运用的无创方法如左室射血分数、心率
小学三年级是作文教学的起步阶段,从一二年级的写话,到中高年级的习作,是从“句段”到“篇章”的过渡,写作上难度的加大,使得很多学生无从下手.表现为:很多学生不知道如何布
期刊
在不断探索和实践新课改的理念中,提高英语课堂教学的有效性可以通过好的教学方法,好的教学方法是教师开展教学活动的基本保证。激发学生的学习动机、调动学生学习的积极性,
This paper is a continuation of our last paper [1] which describes the theory of Virt-BLP model. Based on Virt-BLP model, this paper implements a mandatory acce
本文通过对荣华二采区10
期刊
目的了解大连市农贸市场、餐饮外环境、绿化带和居民区等不同生态环境蝇类种群构成及其季节变化规律,为蝇类防制提供科学依据。方法 2013年4—11月采用捕蝇笼法调查不同环境