您的位置： 专家智库 > >

周宏斌

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

合作作者

领域

  • 3个电子电信
  • 3个自动化与计算...
  • 1个理学

主题

  • 3个形式化
  • 3个形式化方法
  • 3个形式化验证
  • 3个网络
  • 3个网络安全
  • 3个网络协议
  • 3个加密
  • 3个攻击者
  • 3个安全协议
  • 2个信息安全
  • 2个信息隐藏
  • 2个形式化验证方...
  • 2个英文
  • 2个身份验证
  • 2个身份验证协议
  • 2个数字签名
  • 2个数字签名协议
  • 2个搜索
  • 2个通信
  • 2个通信协议

机构

  • 3个清华大学

资助

  • 3个国家自然科学...
  • 1个国家高技术研...
  • 1个国家重点基础...

传媒

  • 3个计算机研究与...
  • 3个清华大学学报...
  • 2个软件学报
  • 2个计算机工程与...
  • 1个电子学报
  • 1个计算机应用研...
  • 1个计算机辅助设...
  • 1个微计算机信息
  • 1个全国第四届信...

地区

  • 3个北京市
共 3 条 记 录，以下是 1-3
黄连生
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：安全协议 网络安全 形式化验证 数字水印 形式化验证方法
发表作品相关人物供职机构所获资助研究领域
王新兵
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：形式化验证 网络安全 安全协议 通信协议 数字签名协议
发表作品相关人物供职机构所获资助研究领域
桑田
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：形式化验证 网络安全 串空间 安全协议 信息安全
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0