|
已选(0)清除
条数/页： 排序方式：
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 王微谨
  收藏 | 浏览/下载：192/0 | 提交时间：2019/07/03
|
| 基于SPIN的安全协议的攻击者建模方法研究 期刊论文
2018, 卷号: 0, 期号: 2, 页码: 61-70
作者: 易辉凡; 万良; 黄娜娜; 王鹍鹏
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/05
|
| 时间触发以太网拜占庭容错方法的形式化验证 期刊论文
载人航天, 2018, 卷号: 24, 页码: 273-278
作者: 汤雪乾; 李峭; 孔韵雯; 何锋
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/30
|
| 一种面向多线程的编译验证模型 学位论文
2017
作者: 张晓曈
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/05
|
| Java编译器的可信验证方法研究 学位论文
2017
作者: 沈云飞
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/05
|
| 下一代可信计算协议的设计与分析 学位论文
博士, 北京: 中国科学院研究生院, 2016
邵健雄
收藏 | 浏览/下载：21/0 | 提交时间：2016/06/06
|
| 运行时验证技术的研究进展 期刊论文
2016, 2016
张硕; 贺飞; ZHANG Shuo; HE Fei
收藏 | 浏览/下载：2/0 |
| 基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| 汉语析句的形式化问题 期刊论文
中文信息学报, 2016
彭炜明; 宋继华; 王宁
收藏 | 浏览/下载：2/0 | 提交时间：2017/12/03
|
| 软件形式化方法与应用专题前言 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 495-496
詹乃军; 王戟; 李宣东
收藏 | 浏览/下载：7/0 | 提交时间：2016/12/09
|
