基于双线性对的踪迹属性计算可靠性分析

Reliability Analysis of Trace Properties Calculation Based on Bilinear Pairings

针对目前越来越复杂的安全协议,在建立计算可靠的安全协议符号分析方法的深入研究,提出了一种解决该问题的新方法,即踪迹属性的计算可靠性分析方法。关于踪迹属性的计算可靠性分析方法研究,在主动攻击者模型下,提出了计算可靠且支持双线性对、公钥加密、数字签名的安全协议符号模型,该模型明确指定双线性对实例生成器、加密算法和签名算法需要满足的安全假设,并证明了在满足这些安全假设的条件下,符号方法分析的踪迹属性蕴含计算方法分析的踪迹属性,这证明了该模型具有计算可靠性。

In this paper view of the present increasingly complex security protocols,the establishment of calculation and reli-able security protocol in-depth study of symbolic analysis method,this paper proposes a new method to solve the problem,namelythe trace properties calculation of reliability analysis methods. Researching on trace properties calculation of reliability analysismethods,under the active attacker model,puts forward the calculation and reliable support for bilinear pairings,public-key en-cryption,digital signature safety protocol symbol model. This model explicitly specifies the double linear generator for instance,en-cryption and signature algorithm need to satisfy the safe assumption,and proves that under the condition of meeting these safe as-sumption,symbolic methods to analyze the trace attribute contains the calculation method for the analysis of trace attribute,whichproves the reliability of the proposed model.