基于SPIN的远程证明协议的形式化分析及改进

远程证明是解决移动支付安全问题的有效手段之一。通过对可信计算远程证明协议进行分析,发现用户平台配置信息的隐私性、用户的认证性和远程验证者的认证性存在脆弱点,使用SPIN模型检测工具,应用模型检测方法对协议进行了形式化分析,检测出破坏性攻击漏洞。针对协议中的漏洞对协议进行改进,提出了一种基于用户属性加盐哈希的方法,通过用户属性保证协议的安全传输。最后使用SPIN检测改进后的协议,证明了改进方案的有效性、安全性,阻断了发现的攻击。

计算机无线网络中基于签密算法的模块属性远程证明协议研究

计算机的发展和普及,给人类的生产生活带来了很大的方便,计算机网络问题也随之接踵而来。可信计算机正是在这个时期发展起来的,它对提高计算机网络发挥着重要的作用,提高了计算机的抗击能力。