方略学科导航

搜索结果: 1-1 共查到“知识库军事学 SPI”相关记录1条 . 查询时间(0.046 秒)

基于Spi演算的密码协议的控制流分析 Spi演算认证并行会话攻击 2008/5/15

基于Spi演算和控制流分析，提出了一个密码协议的新分析方法。随后利用该方法对Beller-Chang-Yacobi MSR协议进行了分析，通过证明该协议已知的漏洞，说明该方法是正确的，并通过更深入的研究和分析，证明了该协议在并行会话攻击下是不安全的，基于此对该协议进一步改进，改进后的协议是安全的。