|
已选(0)清除
条数/页： 排序方式：
|
| 面向多核嵌入式软件的可信验证架构的研究与应用 学位论文
2018
作者: 王乃冰
  收藏 | 浏览/下载：4/0 | 提交时间：2019/11/26
|
| 基于TPM 2.0的内核完整性度量框架 期刊论文
计算机工程, 2018, 卷号: 44
作者: 王勇; 张雨菡; 洪智; 文茹; 樊成阳
收藏 | 浏览/下载：11/0 | 提交时间：2019/12/05
|
| 公平交换协议的信道可信度形式化验证方法 Formal Verification Method for Fair Exchange Protocol by Channel Credibility 期刊论文
2018, 卷号: 39, 期号: 2, 页码: 240
作者: 杨晋吉[1]; 申涵瑞[1]; 陈清亮[2]
收藏 | 浏览/下载：11/0 | 提交时间：2019/12/13
|
| 满足对应性属性的平台配置证明 期刊论文
计算机应用, 2018, 卷号: 38, 期号: 2, 页码: 337-342
作者: 徐明迪; 高杨; 高雪原; 张帆
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/27
|
| 基于PEFSM行为模型的黑盒测试用例生成方法 期刊论文
计算机科学, 2017, 卷号: 44, 页码: 234-240
作者: 梁浩然; 周宽久; 崔凯; 潘杰; 侯刚
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/02
|
| 一种面向多线程的编译验证模型 学位论文
2017
作者: 张晓曈
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/05
|
| 基于简单随机抽样的大数据可信性验证方法 期刊论文
电子学报, 2017, 卷号: 45, 期号: 10
作者: 任正伟; 徐明迪; 孙小雁; 张茂胜; 王丽娜
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于简单随机抽样的大数据可信性验证方法 期刊论文
电子学报, 2017
作者: 任正伟; 孙小雁; 王丽娜; 王骞; 徐明迪
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于动态语义的Java源程序分析 学位论文
2017
作者: 刘瑞
收藏 | 浏览/下载：15/0 | 提交时间：2019/12/05
|
| 基于区块链技术的电子病历的共享查询方法 专利
申请日期: 2017-01-01, 公开日期: 2018
作者: 刘明哲; 杨昆; 杨雅茗; 何明富; 蒋鑫
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/13
|
