您的位置： 专家智库 > >

周宏斌

作品数：2 被引量：29H指数：2
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇网络
  • 2篇网络安全
  • 1篇信息安全
  • 1篇英文
  • 1篇数字签名
  • 1篇数字签名协议
  • 1篇通信
  • 1篇通信协议
  • 1篇签名
  • 1篇签名协议
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇安全协议
  • 1篇串空间

机构

  • 2篇清华大学

作者

  • 2篇周宏斌
  • 2篇黄连生
  • 1篇桑田
  • 1篇王新兵

传媒

  • 1篇计算机研究与...
  • 1篇软件学报

年份

  • 1篇2003
  • 1篇2001
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于串空间的安全协议形式化验证模型及算法被引量：26
2003年
网络安全在信息时代非常重要 ,而网络安全的关键问题之一是安全协议 首先介绍了当前安全协议形式化验证的前沿方向———串空间理论 ,随后阐述了基于该理论设计的自动验证模型———T模型 ,给出了该模型的算法及描述 ,并通过验证改进前后的Needham
周宏斌黄连生桑田
关键词：串空间安全协议网络安全信息安全计算机网络
基于角色冒充对数字签名协议的攻击(英文)被引量：3
2001年
实现对具有数字签名的身份认证协议进行验证 .从攻击者的角度 ,基于角色冒充的方法 ,使用逆向归结的推理方式 ,采用 JAVA来实现验证算法 .对于一些具有数字签名的协议 ,可以进行有效的验证 .
王新兵马征黄连生周宏斌
关键词：数字签名形式化验证通信协议网络安全
全选 清除 导出
共1页<1>
聚类工具0