基于密钥循环的通用可复合符号分析

Universal Composable Symbolic Analysis Based on Key Circulation

针对目前越来越复杂的安全协议,在建立计算可靠的安全协议符号分析方法的深入研究,提出了一种解决该问题的新方法,即通用可复合符号分析方法。通过扩展现有通用可复合符号分析方法,使其可以分析基于双线性对的密钥交换协议,并在保证计算可靠性的同时,还可以保证可复合安全性。将符号模型中的密码学抽象操作与UC模型中的理想功能进行了结合,并且证明了如果协议在符号模型下满足了相应的安全性质,则在UC模型下一定安全的实现了相应的理想功能。

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.