您的位置： 专家智库 > >

侯俊峰

作品数：1 被引量：1H指数：1
供职机构：清华大学信息科学技术学院计算机网络技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇网络
  • 1篇网络安全
  • 1篇安全协议
  • 1篇层次化

机构

  • 1篇清华大学

作者

  • 1篇侯俊峰
  • 1篇黄连生
  • 1篇张磊

传媒

  • 1篇计算机应用研...

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于分层的网络安全协议验证方法被引量：1
2005年
提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要验证的安全属性的一个子属性,那么这个协议即可被证明是安全的。这种方法相比于传统的验证方法,不但高效,而且完备性更佳。
张磊侯俊峰黄连生
关键词：安全协议层次化
全选 清除 导出
共1页<1>
聚类工具0