计算机与数字工程2017，Vol.45Issue(8)：1586-1591,6.DOI:10.3969/j.issn.1672-9722.2017.08.027
基于密钥循环的通用可复合符号分析
Universal Composable Symbolic Analysis Based on Key Circulation
摘要
Abstract
In view of the present increasingly complex security protocols,the establishment of calculation and reliable securi-ty protocol in-depth study of symbolic analysis method,this paper proposes a new method to solve the problem,namely universal composable symbol analysis method. By extending the existing analysis method of the gm composite symbol,key exchange protocol based on bilinear pairings can be analyzed,and at the same time the reliability of the calculation can be guaranteed,also can en-sure the safety can be complex. The cryptography abstract operation in the symbol model combined with ideal function in UC model, and proves that if the agreement under the symbol model to meet the corresponding security properties,is under the UC model must be the realization of the safety function of the corresponding ideal.关键词
安全协议/密钥循环/通用可复合/双线性对Key words
security protocols/the key cycle/universal composable/bilinear pairings分类
信息技术与安全科学引用本文复制引用
付浩,肖建新..基于密钥循环的通用可复合符号分析[J].计算机与数字工程,2017,45(8):1586-1591,6.基金项目
国家自然科学基金青年科学基金项目(编号:41604117)资助. （编号:41604117）
