不可区分属性的计算可靠性分析方法研究

针对目前越来越复杂的安全协议,在计算可靠的安全协议符号分析方法的基础上,提出了一种计算可靠且支持双线性对、对称加密以及密钥循环的安全协议符号模型,该模型明确指定双线性对实例生成器和加密算法需要满足的安全属性,并证明了在满足这些安全属性的条件下,符号方法分析的不可区分属性蕴含计算方法分析的不可区分属性,这保证了该模型具有计算可靠性。同时,该模型通过增强攻击者对密钥循环的控制能力去除了无密钥循环的限制。