高三海

作品数：4被引量：0H指数：0
导出分析报告
供职机构：桂林电子科技大学更多>>
发文主题：安全协议操作语义移动通信一致性安全协议分析更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《桂林电子科技大学学报》《计算机工程与应用》《计算机科学》更多>>
所获基金：广西研究生教育创新计划广西壮族自治区自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
电子战仿真中基于XML的异构数据集成研究
《微计算机信息》2008年第30期185-187,共3页朱冠兰 高三海 蒋方婷 韩元杰 
异构数据源的集成问题是当前电子对抗仿真系统中研究的一个热点,它能更有效地利用信息资源、实现数据共享。为此,本文提出了一种基于XML中间件技术的电子战异构数据源集成的层次模型,详细的介绍了模型的各层功能及系统实现的关键技术。...
关键词：电子对抗 仿真 XML 中间件 异构数据源 
三方认证协议BNV的分析及改进
《计算机工程与应用》2008年第4期155-158,共4页高三海 董荣胜 吴光伟 
广西研究生教育创新计划资助项目(No.2007105950812M17)
多个主体之间的安全会话需要有可靠的多方认证协议来保证。基于安全协议的操作语义模型,分析了三方认证协议BNV的安全性,结果表明该协议存在一致性和同步性缺陷。为此,修改了协议的消息结构并添加了标识协议主体身份的消息项。对改进后...
关键词：三方认证协议BNV 操作语义 同步性 一致性 
基于安全协议操作语义模型的组合协议分析及验证
《桂林电子科技大学学报》2007年第5期378-382,共5页高三海 董荣胜 
广西自然科学基金(054205);广西研究生教育创新计划资助项目(2007105950812M17)
协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题。通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scy...
关键词：组合协议 协议分析 操作语义模型 Scyther 
基于结构化操作语义的安全协议分析框架研究
《计算机科学》2007年第8期101-104,176,共5页高三海 董荣胜 钱俊彦 
国家自然科学基金项目(60663005);广西自然科学基金项目(0542052)的资助
操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题。本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,...
关键词：安全协议 形式化方法 分析框架 操作语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部