-
冯伟
-
-
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 秦宇
- 作品数:60被引量:313H指数:9
- 供职机构:中国科学院软件研究所
- 研究主题:可信计算 可信平台模块 安全芯片 远程证明 可信密码模块
- 初晓博
- 作品数:19被引量:144H指数:3
- 供职机构:中国科学院软件研究所
- 研究主题:终端平台 安全芯片 可信计算 远程证明 可信平台模块
- 冯登国
- 作品数:745被引量:7,671H指数:39
- 供职机构:中国科学院软件研究所
- 研究主题:信息安全 密码学 网络安全 访问控制 可信计算
- 赵世军
- 作品数:17被引量:34H指数:5
- 供职机构:中国科学院软件研究所
- 研究主题:可信网络 终端平台 可信计算 可信密码模块 TPM
- 张倩颖
- 作品数:60被引量:70H指数:5
- 供职机构:首都师范大学
- 研究主题:逻辑命题 定理证明器 逻辑语言 形式化验证 形式化分析方法