论文部分内容阅读
多个主体之间的安全会话需要有可靠的多方认证协议来保证。基于安全协议的操作语义模型，分析了三方认证协议BNV的安全性，结果表明该协议存在一致性和同步性缺陷。为此，修改了协议的消息结构并添加了标识协议主体身份的消息项。对改进后协议的安全性进行分析，结果表明改进后的协议不存在原协议的缺陷，协议参与主体满足一致性与同步性要求。最后，基于改进后协议。提出了一个n方认证协议的协议原型。