您的位置： 专家智库 > >

湖南省教育厅科研基金(09C1200)

作品数：1 被引量：2H指数：1
相关作者：宋勇秦拯更多>>
相关机构：湖南大学湖南民族职业学院更多>>
发文基金：湖南省教育厅科研基金广东省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇入侵
  • 1篇入侵检测
  • 1篇入侵检测系统
  • 1篇通信
  • 1篇通信协议
  • 1篇全通
  • 1篇网络
  • 1篇网络入侵
  • 1篇网络入侵检测
  • 1篇网络入侵检测...
  • 1篇安全通信
  • 1篇安全通信协议

机构

  • 1篇湖南大学
  • 1篇湖南民族职业...

作者

  • 1篇秦拯
  • 1篇宋勇

传媒

  • 1篇计算机与现代...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
网络入侵检测系统安全通信协议的设计及验证被引量：2
2010年
针对网络入侵检测系统中各模块间安全通信存在的一些问题,本文提出一种适用于网络入侵检测系统的网络安全协议,并在理论上验证其安全性和在产品测试中证明其可靠性。
宋勇秦拯
关键词：安全通信协议形式化验证
全选 清除 导出
共1页<1>
聚类工具0