谢鸿波
- 作品数：17 被引量：15H指数：3
- 供职机构：重庆通信学院更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划重庆市应用基础研究项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于时序关系的消息推理及安全协议符号迹分析
- 2010年
- 如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消息间的相互关系被用来统一多种安全属性的形式化表达,定义了相应的属性满足关系,提出了分析安全协议的一般框架。最后给出了一个实例分析,并指出该框架以后的研究方向。
- 谢鸿波吴远成周明天
- 关键词：形式化分析
- 工程扫描图象的消噪技术研究
- 本文在分析了扫描图象噪声来源的基础上,主要针对二值图象中附着在目标图象边缘的噪声提出一种有效的消噪方法,即通过对二值图象的带有宽度信息的骨架的分析,找出噪声骨架的特征,消除噪声骨架并恢复原始图象。该方法在工程图纸矢量化的...
- 朱桂斌张艳红吴乐华谢鸿波黄菊
- 关键词：图象处理消噪
- 文献传递
- 安全属性形式化描述统一框架及其分析方法研究
- 2011年
- 在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠性和完备性。在此基础上,将知识推理和进程演算结合起来,提出了一个安全协议形式化分析的一般模型。最后,给出了一些安全属性的研究实例,并指出了进一步完善此模型的研究方向。
- 谢鸿波谭兴烈周明天
- 关键词：知识推理形式化分析安全协议
- 基于证书的单点访问模型被引量：4
- 2006年
- 以授权管理基础设施和公钥基础设施为基础,研究了单点访问系统的实现模型。这两种技术在单点访问系统中实现身份认证和访问授权控制功能。通过中间件的方式来实现身份认证和授权管理模型,并设计了相关的安全协议,对整个体系结构的安全做了简单分析。该技术可使现有应用做较少的修改就能实现一个安全、透明的单点访问系统。
- 谢鸿波冯军周明天
- 关键词：公共密钥基础设施特权管理基础设施单点登录
- 安全协议认证属性的设计框架研究
- 2007年
- 提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性。
- 刘一静谢鸿波吴远成
- 关键词：通道模型
- 安全协议形式化分析方法的关键技术研究
- 计算机网络正以惊人的速度向各个领域渗透，其中的安全问题也变得越来越突出和复杂，解决安全问题对许多网络应用来说已是头等大事。从目前解决安全问题的方式来看，安全协议是解决网络安全问题最有效的手段之一。如何保证安全协议的安全性...
- 谢鸿波
- 关键词：安全协议形式化分析语义模型有向图
- 文献传递
- 串空间模型的原理与应用被引量：3
- 2005年
- 介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。
- 谭立力刘璟谢鸿波谭兴烈
- 关键词：密码协议串空间CCITT
- 二值图像的多尺度细化算法
- 在给出二值图像多尺度表示法的基础之上，提出一种基于多尺度表示的细化算法，与目前已有的相比较，它的计算量小、抗噪性能好、便于硬件实现。实验结果表明，该算法很好地克服了传细化算法的不足，为处理受强噪声污染的二值图像提供了一个...
- 朱桂斌张艳红吴乐华谢鸿波
- 关键词：多尺度图像识别二值图像
- 文献传递
- 认证协议的有向图模型及其安全性分析
- 2008年
- 认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此基础上提出了协议消息构造的逆向搜索算法.用该算法分析Woo-Lam认证协议,找到了该协议一种新的攻击方法及其攻击路径.
- 谢鸿波吴远成周明天
- 关键词：有向图
- 基于消息唯一起源的动态逻辑方法
- 2007年
- 本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑"理想化协议"步骤的缺陷,提出了消息唯一起源的概念和判定规则,严格区分"可靠信任"和"不可靠信任",解决了"相信事情的发生"和"相信事情的真实性"两种不同信任的区别,并在此基础上建立了动态逻辑方法.通过实例分析,该方法可以发现类BAN逻辑不能发现的协议漏洞,从而证明了方法的有效性.
- 谢鸿波吴远成周明天
- 关键词：动态逻辑
