|
已选(0)清除
条数/页： 排序方式：
|
| 基于JTAG和SM3的嵌入式仪表设备可信启动技术研究与实现 期刊论文
网络安全技术与应用, 2021, 期号: 10, 页码: 13-16
作者: 陈鑫; 刘贤达; 张博文; 王庆辉
  收藏 | 浏览/下载：10/0 | 提交时间：2021/10/30
|
| 面向路径的软件测试数据进化生成系统 其他
2015-09-06, 2015-09-06
巩敦卫; 罗永金; 张岩; 吴川; 姚香娟; 任丽娜; 张婉秋
收藏 | 浏览/下载：3/0 | 提交时间：2017/06/15
|
| 基于Trustzone的强安全需求环境下可信代码执行方案 期刊论文
计算机研究与发展, 2015, 卷号: 52, 期号: 10, 页码: 2224-2238
张英骏; 冯登国; 秦宇; 杨波
收藏 | 浏览/下载：69/0 | 提交时间：2016/12/09
|
| 可演化网络中移动代码的安全机制Security mechanisms for mobile code in evolutionary networks 期刊论文
高技术通讯High Technology Letters, 2012
作者: 刘涛; 王锐; 钱德沛
收藏 | 浏览/下载：3/0 | 提交时间：2015/08/25 |
| 基于MOF的软件体系结构分析结果集成框架 期刊论文
软件学报, 2012
陈湘萍; 黄罡; 宋晖; 孙艳春; 梅宏
收藏 | 浏览/下载：6/0 | 提交时间：2015/11/12
|
| 基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文
计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶
收藏 | 浏览/下载：16/0 | 提交时间：2013/09/17
|
| 开放云端计算环境中的任务执行代码安全机制 期刊论文
计算机科学, 2012, 卷号: 39, 期号: 7, 页码: 7-10
徐小龙; 耿卫建; 杨庚; 王汝传
收藏 | 浏览/下载：12/0 | 提交时间：2013/09/17
|
| 面向富互联网应用的计算任务动态迁移机制 期刊论文
计算机科学与探索, 2011
王旭东; 刘譞哲; 赵祺; 黄罡
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/11
|
| 面向富互联网应用的计算任务动态迁移机制 其他
2010-01-01
王旭东; 刘譞哲; 赵祺; 黄罡
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/12
|
| 软件属性保障中的源代码静态分析技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：12/0 | 提交时间：2009/06/11
|
