您的位置： 专家智库 > >

王新兵

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

合作作者

领域

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

主题

  • 7个网络
  • 6个形式化
  • 6个形式化验证
  • 6个网络安全
  • 6个计算机
  • 6个安全协议
  • 5个攻击者
  • 4个形式化验证方...
  • 4个搜索
  • 3个信息安全
  • 3个形式化方法
  • 3个身份验证
  • 3个身份验证协议
  • 3个搜索算法
  • 3个状态搜索
  • 3个网络协议
  • 2个代码
  • 2个信息隐藏
  • 2个英文
  • 2个用户

机构

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

资助

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

传媒

  • 6个清华大学学报...
  • 5个计算机研究与...
  • 4个计算机工程与...
  • 3个计算机应用研...
  • 3个软件学报
  • 2个微计算机信息
  • 1个中国康复理论...
  • 1个世界华人消化...
  • 1个中华神经科杂...
  • 1个中华医院感染...
  • 1个中国图象图形...
  • 1个中华肝胆外科...
  • 1个英国医学杂志...
  • 1个中国临床神经...
  • 1个电子科技
  • 1个胃肠病学
  • 1个脑与神经疾病...
  • 1个中华急诊医学...
  • 1个医学新知
  • 1个经济前沿

地区

  • 7个北京市
共 7 条 记 录，以下是 1-7
黄连生
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：安全协议 网络安全 形式化验证 数字水印 形式化验证方法
发表作品相关人物供职机构所获资助研究领域
杨克
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：安全协议 形式化验证 网络安全 极小值 立方体
发表作品相关人物供职机构所获资助研究领域
谢峰
供职机构：清华大学
研究主题：安全协议 形式化验证 遍历 协同过滤 推荐系统
发表作品相关人物供职机构所获资助研究领域
赵雁南
供职机构：清华大学
研究主题：智能机器人 控制器 控制系统 机器人控制器 ASIC
发表作品相关人物供职机构所获资助研究领域
周宏斌
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：形式化验证 网络安全 串空间 安全协议 信息安全
发表作品相关人物供职机构所获资助研究领域
桑田
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：形式化验证 网络安全 串空间 安全协议 信息安全
发表作品相关人物供职机构所获资助研究领域
张磊
供职机构：北京工业大学建筑工程学院城市与重大工程安全减灾省部共建重点实验室
研究主题：混凝土 大体积混凝土 温控防裂 混凝土坝 防裂
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0