中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [4]
西安光学精密机械研究... [1]
采集方式
OAI收割 [5]
内容类型
会议论文 [2]
期刊论文 [2]
成果 [1]
发表日期
2014 [1]
2013 [1]
2012 [1]
2011 [1]
1964 [1]
学科主题
Telecommun... [1]
筛选
浏览/检索结果:
共5条,第1-5条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Formal analysis of TPM2.0 key management APIs
期刊论文
OAI收割
CHINESE SCIENCE BULLETIN, 2014, 卷号: 59, 期号: 32, 页码: 4210-4224
Zhang, Qianying
;
Zhao, Shijun
;
Qin, Yu
;
Feng, Dengguo
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2014/12/16
Trusted computing
TPM2.0
Security APIs
Key management
Secrecy
Formal analysis
TEEM: A user-oriented trusted mobile device for multi-platform security applications
会议论文
OAI收割
6th International Conference on Trust and Trustworthy Computing, TRUST 2013, London, United kingdom, June 17, 2013 - June 19, 2013
Feng, Wei (1)
;
Feng, Dengguo (1)
;
Wei, Ge (2)
;
Qin, Yu (1)
;
Zhang, Qianying (1)
;
Chang, Dexian (1)
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2014/12/16
formal analysis of trusted platform module commands for compromising user key
期刊论文
OAI收割
CHINA COMMUNICATIONS, 2012, 卷号: 9, 期号: 10, 页码: 91-102
Qin Yu
;
Zhao Shijun
;
Zhang Qianying
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2013/09/17
trusted computing
TPM
TPM command
applied pi calculus
API analysis
a property-based attestation scheme with the variable privacy
会议论文
OAI收割
10th IEEE Int. Conf. on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, 8th IEEE Int. Conf. on Embedded Software and Systems, ICESS 2011, 6th Int. Conf. on Frontier of Computer Science and Technology, FCST 2011, Changsha, China, November 1
Qin Yu
;
Chang Dexian
;
Zhao Shijun
;
Zhang Qianying
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2013/10/08
Computer privacy
Embedded systems
Experiments
爆炸快门
成果
OAI收割
1964
主要完成人:
秦乾英
;
王俊翎
;
仇明禄
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2012/06/27