交叉协议安全性分析

作者：孙海波; 林东岱; 李莉串空间密码协议交叉协议

摘要：串空间理论是一种新兴的用于密码协议形式化分析的方法。该文将利用串空间理论对交叉协议的安全性进行分析，并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社