江西省自然科学基金(0411041)
- 作品数：11 被引量：87H指数：4
- 相关作者：肖美华薛锦云李力郑超美喻国平更多>>
- 相关机构：南昌大学江西师范大学中国科学院软件研究所更多>>
- 发文基金：江西省自然科学基金国家自然科学基金江西省教育厅科技计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 网络安全认证协议形式化分析被引量：1
- 2006年
- 形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点。用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力。我们运用一种基于算法知识概念的逻辑分析安全协议,入侵者假定使用算法来计算其知识,入侵者的能力也通过对其所使用的算法作适当的限制来获得。运用模型检测器SPIN对TMN协议进行分析,实验结果证明了此方法的有效性,可方便地用于其他网络安全协议验证。
- 肖美华江耘邓宸芳马小薏薛锦云
- 关键词：形式化分析安全协议
- 入侵检测系统描述语言的分析被引量：2
- 2007年
- 介绍了入侵检测系统描述语言的概念和理想攻击描述语言所具备的特性,对几种典型的攻击描述语言进行了详细的分析和比较,探讨了描述语言发展方向,为开发更为完善的语言打好基础。
- 沈宏杰郑超美李力
- 关键词：入侵检测系统攻击描述语言模式库
- 时态逻辑形式化描述并发系统性质被引量：21
- 2004年
- 时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.
- 肖美华薛锦云
- 关键词：形式化方法并发系统时态逻辑
- 强干扰下数据采集系统稳定通讯解决方案被引量：1
- 2007年
- 本文介绍了RS-232串行总线及USB通用串行总线技术,讨论了其抗干扰性,分析了串口出现误码及USB接口出现死锁现象的原因,提出了一种强干扰下数据采集系统稳定通讯的解决方案。使用RS-232传送指令,USB传送采集数据,当监测到通讯死锁时,通过指令控制USB接口重新初始化,保证了强干扰下通讯的稳定可靠性。
- 涂其远马建余英
- 关键词：RS-232USB稳定性
- 基于XML的Web文档处理系统
- 2008年
- 随着网络技术的发展,可扩展标记语言XML得到了极大的进步。与超文本标记语言HTML不同,XML实现了文档数据内容与显示的分离,具有很强的自我描述能力、可扩展性好等特点,从而有利于信息共享和查询,已经被广泛的应用在各个方面,包括定义行业数据标准、数据交换和数据集成。本文在分析XML技术的基础上,采用XML结合Java语言以及流行的数据库系统作为解决方案,设计并实现了一个包括数据查询功能的Web文档处理系统。
- 李姗
- 关键词：XMLJAVA语言查询
- 网络安全认证协议形式化分析
- 形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点。用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力。我们运用一种...
- 肖美华邓宸芳马小薏薛锦云江耘
- 关键词：形式化分析安全协议
- 文献传递
- 网络认证协议攻击的非形式化分析被引量：4
- 2006年
- 随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个典型协议攻击的非形式化分析,归纳出协议漏洞产生的原因,并探讨了相应的改进的方法。
- 李静肖美华
- 关键词：密码协议
- 基于SPIN/Promela的并发系统验证被引量：26
- 2004年
- 并发系统安全性分析是当前计算机科学中一个重要的研究领域。模型检测是最成功的自动验证技术之一,其成功应用归功于有效验证工具的支持。SPIN 是一种著名的分析验证并发系统逻辑一致性的工具。本文在阐述 SPIN工作机理的基础上,详细分析了基于 SPIN 的系统建模语言 Promela 中通道操作、基本数据结构及其功能,并设计了SPIN 形式化验证软件系统的基本算法,最后运用 SPIN 对一个并发系统实例进行验证,得出了相应验证输出图。
- 肖美华薛锦云
- 关键词：并发系统
- 基于ARM的嵌入式Web服务器技术研究被引量：8
- 2007年
- 将嵌入式技术与Internet技术结合形成可以远程控制和管理的智能嵌入式设备(系统),是嵌入式系统发展的一个方向。本文分析和介绍了ARM处理器及特性,对嵌入式Web服务器的功能和结构、关键技术进行了研究,用ARM处理器代替传统的单片机,提出了基于ARM的嵌入式Web服务器的完美解决方案。
- 李荣鑫喻国平
- 关键词：ARM嵌入式WEB服务器EWS
- 一种IPv6数据包安全传输的实现被引量：3
- 2006年
- 在分析了现有的加密体制的基础上,结合IPv6数据包的特点,设计了一种保护IPv6数据包传输的安全方案,该方法可以实现网络环境下的加密传输,并且具有数字签名和身份认证的功能.最后,本文给出了一个实现的例子。
- 李力肖庆郑超美
- 关键词：IPV6网络安全加解密
