黎兴华

作品数：3被引量：0H指数：0
导出分析报告
供职机构：解放军理工大学通信工程学院更多>>
发文主题：安全协议移动IP操作系统安全操作系统DMD更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《军事通信技术》《计算机应用》更多>>
所获基金：江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种时间相关安全协议的自动验证工具
《计算机应用》2009年第6期1654-1658,共5页黎兴华 雷新锋 刘军 
江苏省自然科学基金资助项目(BK2008090)
设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了...
关键词：分层逻辑树 时间相关 安全协议 自动验证 
基于DMD的通用安全信息系统开发研究
《军事通信技术》2008年第4期46-49,54,共5页黎兴华 徐章波 刘军 洪继奎 
提出了一种基于DMD的信息系统开发模型,描述了基于该模型的信息系统设计原则、开发流程和体系结构,并通过实例说明了DMD的功能和应用,最后介绍了系统的安全策略和特点。应用该模型开发的系统后期维护灵活方便,可扩展性强,具有较强的实...
关键词：数据维护字典 安全 信息系统 模型 
基于有色Petri网的移动IP注册过程安全性分析
《军事通信技术》2008年第3期76-80,共5页洪继奎 刘军 黎兴华 李哲 
在分析移动IP注册工作机制及安全威胁的基础上,分别建立了基于有色Petri网的移动IP注册模型和攻击模型,通过推理验证了攻击的可达性,最后给出了相应的防护方法。
关键词：注册 拒绝服务攻击 重放攻击 可达性分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部