总结了利用模型检测工具SPIN对安全协议进行建模的方法.以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用S......

TCP连接迁移技术使网络可以在主服务器发生故障的情况下稳定地提供服务。该文分析基于椭圆曲线Diffie—Hellman密钥协商的连接迁移......

分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析......

Helsinki协议是ISO／IECDIS11770—3中提出的重要认证协议，由于协议受到来自内部的攻击，Mithcell-Yeun对其进行了改进。但改进后协议的......