王新兵
- 作品数：6 被引量：9H指数：2
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 安全协议形式化验证方法的比较与分析被引量：1
- 2001年
- 网络的飞速发展，使得安全问题日益突出，而身份认证协议则是安全性的基础。目前国际上的热点是安全协议的形式化验证。文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。对其各自特点进行比较与分析。
- 黄连生王新兵谢峰杨克
- 关键词：形式化验证
- 从Woo-Lam协议到网络协议的抽象验证被引量：1
- 2001年
- 形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 .以 Woo- L am协议为例 ,通过逆向递推的方式得到了协议的所有攻击路径 ,并以图的形式表示其关系 ,详尽分析了协议的漏洞 ,最后 。
- 张磊桑田黄连生王新兵
- 关键词：形式化方法加密网络协议
- 基于角色冒充对数字签名协议的攻击(英文)被引量：3
- 2001年
- 实现对具有数字签名的身份认证协议进行验证 .从攻击者的角度 ,基于角色冒充的方法 ,使用逆向归结的推理方式 ,采用 JAVA来实现验证算法 .对于一些具有数字签名的协议 ,可以进行有效的验证 .
- 王新兵马征黄连生周宏斌
- 关键词：数字签名形式化验证通信协议网络安全
- 一种信息安全保护系统被引量：1
- 2001年
- 信息的安全，日益受到关注。目前已实现了一种信息安全的保护系统，它可以进行信息的输入、安全保护、压缩传输。主要使用了信息搭载和信息分存技术。
- 王文新王新兵赵雁南
- 关键词：信息隐藏LZW算法
- 一种安全协议的机器证明算法被引量：1
- 2001年
- 安全协议的形式化验证是网络安全的一个重要领域。文章介绍了一种机器的自动证明算法。与传统算法不同，文章的算法是证伪的从“攻击者”的角度出发，避免了“有限状态机”方法的复杂“状态空间”的搜索。
- 黄连生王新兵谢锋杨克
- 关键词：安全协议网络安全人工智能
- 基于攻击者的“角色冒充”的协议验证方法被引量：2
- 2001年
- 网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。
- 黄连生王新兵谢峰杨克
- 关键词：网络安全身份验证协议密码协议安全协议形式化验证攻击者
