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