方略学科导航

搜索结果: 1-1 共查到“军事学 SSM”相关记录1条 . 查询时间(0.203 秒)

对改进的无线认证协议SSM的分析串空间机密性认证性 2009/7/23

针对刘霞提出的改进的Server-specific MAKEP协议，首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析，并运用“理想”和“诚实”两个概念简化分析协议的步骤，证明了rs，rc是保密的，然后对协议的认证性进行分析，分析包括响应者认证和发起者认证。最终结果表明改进的SSM协议能够达到协议的安全目标。