CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
收藏  |  浏览/下载：192/0  |  提交时间：2019/07/03
Barrier certificates revisited 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:  Dai, Liyun
收藏  |  浏览/下载：34/0  |  提交时间：2017/02/16
Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction 期刊论文
INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2016, 卷号: 29, 期号: 3, 页码: 567-578
Lu, SQ; Zhao, JH; Cheng, QF
收藏  |  浏览/下载：24/0  |  提交时间：2016/12/13
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏  |  浏览/下载：21/0  |  提交时间：2016/06/21
数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏  |  浏览/下载：16/0  |  提交时间：2016/12/09
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06
SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
带有空间上下文信息的细粒度Android安全强化机制的设计 期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 5, 页码: 285-290,315
任桂超; 丁丽萍; 贺也平
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
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

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