自动化证明相关论文
可证明安全是目前分析密码协议安全性的一种重要方法,利用计算机技术实现安全性的自动化分析是目前的一个研究热点。本文在前人工......
随着无线网络技术的迅速发展,民用飞机机载信息域在机场环境下,使用Gatelink与机场Wi Fi连接,实现与机场及航空公司专网的通信。为......
投票是人们使用自己选举权力来表达自己对某一问题的观点的一种方式。随着计算机技术和通信技术的不断发展,人们利用计算机在任何......
可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定。该文论述了基于游戏(Game based)转换......
针对Diffie-Hellman密钥交换协议,提出了采用观测等价关系的建模方法,证明了该方法的可靠性,并利用该方法扩展了自动工具CryptoVer......
首先从攻击者上下文与进程表达式2个方面对标准应用PI演算进行扩展,然后从协议状态的角度,应用扩展后的应用PI演算对协议抗拒绝服......
形式化方法是分析与验证安全协议属性的强有力的工具。在对一阶定理证明器ProVerif深入研究的基础上,对简化的Needham-Schroeder认......
