您的位置： 专家智库 > >

黎兴华

作品数：4 被引量：1H指数：1
供职机构：解放军理工大学通信工程学院更多>>
发文基金：江苏省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...

主题

  • 1篇信息安全
  • 1篇网络
  • 1篇系统安全
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇安全技术
  • 1篇安全协议
  • 1篇WINDOW...
  • 1篇操作系
  • 1篇操作系统
  • 1篇操作系统安全

机构

  • 2篇解放军理工大...
  • 1篇山东省农村信...

作者

  • 2篇黎兴华
  • 1篇雷新锋
  • 1篇刘军

传媒

  • 1篇计算机应用
  • 1篇第十八届全国...

年份

  • 1篇2009
  • 1篇2008
共 4 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种时间相关安全协议的自动验证工具被引量：1
2009年
设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。
黎兴华雷新锋刘军
关键词：安全协议
Windows Vista操作系统安全技术研究
为应对可能的安全威胁,Windows Vista操作系统在继承和改进原版本诸多安全技术的基础上增加了很多新的安全技术,安全标准达到美国国防部的C2级。本文通过对Vista一些重要安全技术机制和原理的分析,介绍了Vista...
黎兴华李涛高翠
关键词：计算机网络操作系统信息安全安全技术
文献传递
全选 清除 导出
共1页<1>
聚类工具0