沈文鑫
- 作品数：4 被引量：0H指数：0
- 供职机构：解放军理工大学通信工程学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于BAN类逻辑的自动验证构架
- BAN逻辑和BAN类逻辑是验证安全协议简单易用的逻辑方法。基于BAN类逻辑的自动验证构架,以拥有和信仰为基础,通过使用自动分析和验证技术,解决了BAN类逻辑的理想化过程的非形式化和初始假设集合的非形式化问题,并自动的验证...
- 张一丹刘军沈文鑫
- 关键词：安全协议BAN类逻辑非形式化
- 文献传递
- 安全协议形式化分析与验证研究
- 安全协议形式化分析与验证技术是计算机网络安全领域的重大课题之一。形式化方法多种多样。文中首先描述了形式化分析的前提,然后采用对比的方式详细介绍了目前流行的几种形式化验证技术的验证过程及相应的优缺点,并介绍了一种新的验证技...
- 张一丹沈文鑫刘宇锋潘娜
- 关键词：逻辑推理计算机网络网络安全安全协议
- 文献传递
- 计算机网络安全性分析模型研究
- 论文针对已有的网络安全性分析模型存在的问题进行改进,引入了网络设备的安全级,细化了攻击者的权限等级,增加了网络攻击的复杂性,使得改进后模型能够适合网络攻击的概率分析、网络安全评估的量化分析、生成网络攻击图的复杂度控制。
- 沈文鑫张一丹刘军
- 关键词：计算机网络网络安全网络攻击
- 文献传递
