马小薏
- 作品数:3 被引量:1H指数:1
- 供职机构:江西省公安厅更多>>
- 发文基金:江西省教育厅科技计划项目国家重大基础研究前期研究专项江西省自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 网络安全认证协议形式化分析被引量:1
- 2006年
- 形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点。用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力。我们运用一种基于算法知识概念的逻辑分析安全协议,入侵者假定使用算法来计算其知识,入侵者的能力也通过对其所使用的算法作适当的限制来获得。运用模型检测器SPIN对TMN协议进行分析,实验结果证明了此方法的有效性,可方便地用于其他网络安全协议验证。
- 肖美华江耘邓宸芳马小薏薛锦云
- 关键词:形式化分析安全协议
- 网络安全认证协议形式化分析
- 形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点。用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力。我们运用一种...
- 肖美华邓宸芳马小薏薛锦云江耘
- 关键词:形式化分析安全协议
- 文献传递
- 网络安全认证协议形式化分析
- 形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力.我们运用一种...
- 肖美华邓宸芳马小薏薛锦云江耘
- 关键词:形式化分析安全协议网络安全
- 文献传递