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

付浩

（长沙师范学院教育技术中心长沙410100）

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

付浩

（长沙师范学院教育技术中心长沙410100）

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

安全协议；计算可靠性；踪迹属性；双线性对

Class NumberTP391

1 引言

进入二十一世纪以来，随着互联网网络信息技术的飞速发展，信息网络的广泛应用已成为人们工作和生活不可或缺的一部分。计算机网络给人们生活带来巨大便利，同时也对网络上信息的安全保护提出了更高的要求。如果计算机网络的安全问题不能切实有效地解决，那么它的应用和发展必定会受到一定的影响。

安全协议是解决网络安全问题最有效的手段之一。构建安全网络环境一般采用密码技术的安全协议，安全协议的目标既是为了实现信息的加密传输，也是为解决网络中的安全问题，它的正确性和安全性对于网络安全极其重要。……