国家自然科学基金(69872019)
- 作品数：9 被引量：38H指数：3
- 相关作者：黄连生王新兵桑田杨克张磊更多>>
- 相关机构：清华大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于矩阵的代替置换网络抗差分密码分析被引量：3
- 2000年
- 在分组密码的设计中 ,提高分组密码的抗差分攻击性能是一个重要的课题。论文提出了一种基于矩阵的代替置换网络模型。基于这一模型 ,设计了一个称为基于全非奇异矩阵的代替置换网络的密码结构。给出了基于全非奇异矩阵的代替置换网络的差分概率上界。证明了当使用大规模的基于全奇异矩阵的代替置换网络时 ,i圈基于全奇异矩阵的代替置换网络的差分概率上界迅速减小。指出了使用大规模的基于全奇异矩阵的代替置换网络可有效地提高分组密码抗差分密码分析的安全性。
- 朱峰郭宝安戴一奇
- 关键词：分组密码差分密码分析矩阵
- 基于矩阵的代替置换网络抗线性密码分析
- 2000年
- 包含代替置换网络的分组密码是一种广泛使用的分组密码系统。论文介绍了一种基于全非奇异矩阵的代替置换网络 ,它可有效的提高分组密码抗线性密码分析的能力。论文给出了基于全非奇异矩阵的代替置换网络的线性壳概率上界。证明了当使用大规模的基于全奇异矩阵的代替置换网络时 ,i圈基于全奇异矩阵的代替置换网络的线性壳概率上界迅速减小。
- 朱峰郭宝安戴一奇
- 关键词：分组密码线性密码分析矩阵
- 安全协议形式化验证方法的比较与分析被引量：1
- 2001年
- 网络的飞速发展，使得安全问题日益突出，而身份认证协议则是安全性的基础。目前国际上的热点是安全协议的形式化验证。文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。对其各自特点进行比较与分析。
- 黄连生王新兵谢峰杨克
- 关键词：形式化验证
- 改进的加密协议形式化验证模型和算法被引量：6
- 2002年
- 状态搜索技术是分析加密协议安全属性的最流行的形式化验证方法之一 ,Mur是一种常用的能分析一般性协议的模型工具 ,它的原理简明 ,但缺点是容易产生状态爆炸。为了克服这一问题 ,针对加密协议的特点 ,提出了改进模型和算法。根据协议的描述定义状态空间 ,建立以攻击者为核心的验证模型 ,使用搜索算法检测是否存在攻击者能完成攻击的不安全状态。在对通信过程、消息传递方式等方面改进后 ,搜索空间的可达状态数减少了很多 。
- 桑田黄连生张磊
- 关键词：状态搜索形式化验证加密协议攻击者网络安全搜索算法
- 基于串空间的安全协议形式化验证模型及算法被引量：26
- 2003年
- 网络安全在信息时代非常重要 ,而网络安全的关键问题之一是安全协议 首先介绍了当前安全协议形式化验证的前沿方向———串空间理论 ,随后阐述了基于该理论设计的自动验证模型———T模型 ,给出了该模型的算法及描述 ,并通过验证改进前后的Needham
- 周宏斌黄连生桑田
- 关键词：串空间安全协议网络安全信息安全计算机网络
- 从Woo-Lam协议到网络协议的抽象验证被引量：1
- 2001年
- 形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 .以 Woo- L am协议为例 ,通过逆向递推的方式得到了协议的所有攻击路径 ,并以图的形式表示其关系 ,详尽分析了协议的漏洞 ,最后 。
- 张磊桑田黄连生王新兵
- 关键词：形式化方法加密网络协议
- 基于攻击者的“角色冒充”的协议验证方法被引量：2
- 2001年
- 网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。
- 黄连生王新兵谢峰杨克
- 关键词：网络安全身份验证协议密码协议安全协议形式化验证攻击者
- 一种安全协议的机器证明算法被引量：1
- 2001年
- 安全协议的形式化验证是网络安全的一个重要领域。文章介绍了一种机器的自动证明算法。与传统算法不同，文章的算法是证伪的从“攻击者”的角度出发，避免了“有限状态机”方法的复杂“状态空间”的搜索。
- 黄连生王新兵谢锋杨克
- 关键词：安全协议网络安全人工智能
- 一种信息安全保护系统被引量：1
- 2001年
- 信息的安全，日益受到关注。目前已实现了一种信息安全的保护系统，它可以进行信息的输入、安全保护、压缩传输。主要使用了信息搭载和信息分存技术。
- 王文新王新兵赵雁南
- 关键词：信息隐藏LZW算法
