CORC

在结果中检索

CORC

浏览/检索结果: 共261条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
收藏  |  浏览/下载：192/0  |  提交时间：2019/07/03
Authenticated key exchange with entities from different settings and varied groups 期刊论文
SECURITY AND COMMUNICATION NETWORKS, 2016, 卷号: 9, 期号: 12, 页码: 1843-1863
Guo, YF; Zhang, ZF
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
A survey on position-based routing for vehicular ad hoc networks 期刊论文
TELECOMMUNICATION SYSTEMS, 2016, 卷号: 62, 期号: 1, 页码: 15-30
Liu, JQ; Wan, JF; Wang, QR; Deng, P; Zhou, KL; Qiao, YP
收藏  |  浏览/下载：24/0  |  提交时间：2016/12/09
基于Trustzone的强安全需求环境下可信代码执行方案 期刊论文
计算机研究与发展, 2015, 卷号: 52, 期号: 10, 页码: 2224-2238
张英骏; 冯登国; 秦宇; 杨波
收藏  |  浏览/下载：69/0  |  提交时间：2016/12/09
软件结构化测试数据生成技术 学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏  |  浏览/下载：25/0  |  提交时间：2014/05/29
A Strand Space Approach to Provable Anonymity 会议论文
2nd International Workshop of Formal Techniques for Safety-Critical Systems, FTSCS 2013, Queenstown, New zealand, October 29, 2013 - October 30, 2013
Li, Yongjian (1); Pang, Jun (2)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
支持用户撤销的属性认证密钥协商协议 期刊论文
通信学报, 2014, 卷号: 35, 期号: 5, 页码: 33-43
李强; 冯登国; 张立武
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
Metrics for differential privacy in concurrent systems 会议论文
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Xu, Lili (1); Chatzikokolakis, Konstantinos (2); Lin, Huimin (4)
收藏  |  浏览/下载：8/0  |  提交时间：2014/12/16
Automated proof for authorization protocols of TPM 2.0 in computational model 会议论文
10th International Conference on Information Security Practice and Experience, ISPEC 2014, Fuzhou, China, May 5, 2014 - May 8, 2014
Wang, Weijin (1); Qin, Yu (1); Feng, Dengguo (1)
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
Formalizing provable anonymity in Isabelle/HOL 期刊论文
Formal Aspects of Computing, 2014
Li, Yongjian (1); Pang, Jun (3)
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16

©版权所有 ©2017 CSpace - Powered by CSpace