冯伟
作品数： 25被引量：45H指数：3
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

秦宇
作品数：67被引量：329H指数：9
供职机构：中国科学院软件研究所
研究主题：可信计算 可信平台模块 安全芯片 远程证明 可信密码模块
初晓博
作品数：19被引量：148H指数：3
供职机构：中国科学院软件研究所
研究主题：终端平台 安全芯片 可信计算 远程证明 可信平台模块
冯登国
作品数：755被引量：7,789H指数：39
供职机构：中国科学院软件研究所
研究主题：信息安全 密码学 网络安全 访问控制 可信计算
赵世军
作品数：17被引量：34H指数：5
供职机构：中国科学院软件研究所
研究主题：可信网络 终端平台 可信计算 可信密码模块 TPM
张倩颖
作品数：62被引量：77H指数：5
供职机构：首都师范大学
研究主题：定理证明器 逻辑命题 形式化验证 逻辑语言 形式化分析方法
作品列表