|
已选(0)清除
条数/页： 排序方式：
|
| 基于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, 卷号: 45, 期号: 10
作者: 任正伟; 徐明迪; 孙小雁; 张茂胜; 王丽娜
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于简单随机抽样的大数据可信性验证方法 期刊论文
电子学报, 2017
作者: 任正伟; 孙小雁; 王丽娜; 王骞; 徐明迪
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 一种适用于可信编译器的源语言转换与检查框架 期刊论文
中国科技论文, 2017
作者: 张晓曈; 何炎祥
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| 同步数据流语言时态消去的可信翻译 期刊论文
2016, 2016
张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
收藏 | 浏览/下载：9/0 |
| 可信编译器构造的翻译确认方法简述 期刊论文
2016, 2016
刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
收藏 | 浏览/下载：6/0 |
| 基于场景行为的需求建模及质量特性检测 期刊论文
计算机应用研究, 2016, 卷号: 33, 期号: 5
作者: 金欢; 黄箐
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
