您的位置： 专家智库 > >

桑田

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

合作作者

领域

  • 4个电子电信
  • 4个自动化与计算...
  • 2个理学
  • 1个经济管理
  • 1个哲学宗教
  • 1个生物学
  • 1个天文地球
  • 1个化学工程
  • 1个冶金工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电气工程
  • 1个建筑科学
  • 1个水利工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个核科学技术
  • 1个医药卫生

主题

  • 4个形式化
  • 4个形式化验证
  • 4个网络
  • 4个网络安全
  • 4个安全协议
  • 3个形式化方法
  • 3个形式化验证方...
  • 3个英文
  • 3个数字签名
  • 3个数字签名协议
  • 3个通信
  • 3个通信协议
  • 3个签名
  • 3个签名协议
  • 2个代码
  • 2个信息安全
  • 2个信息隐藏
  • 2个身份验证
  • 2个身份验证协议
  • 2个人工智能

机构

  • 4个清华大学
  • 1个贵州大学
  • 1个华中科技大学
  • 1个军事医学科学...
  • 1个华中科技大学...
  • 1个江汉大学
  • 1个北京工业大学
  • 1个武汉大学
  • 1个中国水利水电...
  • 1个北京市红十字...
  • 1个国家住宅工程...
  • 1个莫纳什大学
  • 1个北京七星华创...

资助

  • 4个国家自然科学...
  • 2个国家高技术研...
  • 2个国家重点基础...
  • 1个北京市科技新...
  • 1个北京市自然科...
  • 1个贵州省科学技...
  • 1个国家科技支撑...
  • 1个国家社会科学...
  • 1个湖北省自然科...
  • 1个霍英东教育基...
  • 1个留学人员科技...
  • 1个清华大学基础...
  • 1个武汉市青年科...
  • 1个中国博士后科...
  • 1个北京市教委科...
  • 1个国家科技重大...
  • 1个江苏省汽车重...
  • 1个“八五”国家...
  • 1个北京工业大学...
  • 1个北京市属高等...

传媒

  • 4个计算机研究与...
  • 4个软件学报
  • 3个清华大学学报...
  • 2个计算机工程与...
  • 1个中国康复理论...
  • 1个世界华人消化...
  • 1个工程地质学报
  • 1个中华神经科杂...
  • 1个中华医院感染...
  • 1个中华肝胆外科...
  • 1个英国医学杂志...
  • 1个中国临床神经...
  • 1个电子科技
  • 1个胃肠病学
  • 1个脑与神经疾病...
  • 1个中华急诊医学...
  • 1个医学新知
  • 1个经济前沿
  • 1个卫生职业教育
  • 1个海南医学院学...

地区

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