高三海
- 作品数：5 被引量：0H指数：0
- 供职机构：桂林电子科技大学更多>>
- 发文基金：广西研究生教育创新计划广西壮族自治区自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 电子战仿真中基于XML的异构数据集成研究
- 2008年
- 异构数据源的集成问题是当前电子对抗仿真系统中研究的一个热点,它能更有效地利用信息资源、实现数据共享。为此,本文提出了一种基于XML中间件技术的电子战异构数据源集成的层次模型,详细的介绍了模型的各层功能及系统实现的关键技术。该模型将电子对抗仿真系统中高层的应用和底层的基本操作分开,屏蔽了各异构数据源之间的差异,从而有效的提高了仿真平台的通用性和扩展性。
- 朱冠兰高三海蒋方婷韩元杰
- 关键词：电子对抗仿真中间件异构数据源
- 安全协议操作语义模型研究及应用
- 安全协议的操作语义模型是一种分析安全协议的新模型,它结合了以往多种协议分析模型的优点,能分析多个协议及多个主体并行运行的协议系统的安全性,具有严谨、简洁、高效等特点。 本文对安全协议的操作语义模型进行了深入的研究,并基...
- 高三海
- 关键词：安全协议自动化验证移动通信
- 文献传递
- 基于安全协议操作语义模型的组合协议分析及验证
- 2007年
- 协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题。通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击。结果表明,操作语义模型是分析与验证组合协议的一种可行方法。
- 高三海董荣胜
- 基于结构化操作语义的安全协议分析框架研究
- 2007年
- 操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题。本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义。最后,以经典的Needham Schroeder Lowe协议为例,用该分析框架分析了其机密性和认证性。
- 高三海董荣胜钱俊彦
- 关键词：安全协议形式化方法操作语义
- 三方认证协议BNV的分析及改进
- 2008年
- 多个主体之间的安全会话需要有可靠的多方认证协议来保证。基于安全协议的操作语义模型,分析了三方认证协议BNV的安全性,结果表明该协议存在一致性和同步性缺陷。为此,修改了协议的消息结构并添加了标识协议主体身份的消息项。对改进后协议的安全性进行分析,结果表明改进后的协议不存在原协议的缺陷,协议参与主体满足一致性与同步性要求。最后,基于改进后协议,提出了一个n方认证协议的协议原型。
- 高三海董荣胜吴光伟
- 关键词：操作语义一致性
