-
初晓博
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家科技支撑计划
相关作者
- 秦宇
![](/images/user-pic.gif)
- 作品数:61被引量:319H指数:9
- 供职机构:中国科学院软件研究所
- 研究主题:可信计算 可信平台模块 安全芯片 远程证明 工控系统
- 冯伟
![](/images/user-pic.gif)
- 作品数:22被引量:38H指数:3
- 供职机构:中国科学院软件研究所
- 研究主题:可信计算 信任根 物联网 远程证明 物联网安全
- 冯登国
![](/images/user-pic.gif)
- 作品数:750被引量:7,749H指数:39
- 供职机构:中国科学院软件研究所
- 研究主题:信息安全 密码学 网络安全 访问控制 可信计算
- 张倩颖
![](/images/user-pic.gif)
- 作品数:61被引量:71H指数:5
- 供职机构:首都师范大学
- 研究主题:逻辑命题 定理证明器 逻辑语言 形式化验证 形式化分析方法
- 赵世军
![](/images/user-pic.gif)
- 作品数:17被引量:34H指数:5
- 供职机构:中国科学院软件研究所
- 研究主题:可信网络 终端平台 可信计算 可信密码模块 TPM