[电子信息] 安全协议验证模型的高效自动生成

说明： 安全协议验证模型的高效自动生成,资料为PDF文档格式.
<Fran*****> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 安全协议逻辑程序不停机性快速预测的动态方法

说明： 安全协议逻辑程序不停机性快速预测的动态方法,资料为PDF文档格式.
<23632*****> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 安全协议的规范化设计

说明： 安全协议的规范化设计,资料为PDF文档格式.
<duck_l*******> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 安全协议状态空间的束动作偏序约简算法

说明： 安全协议状态空间的束动作偏序约简算法,资料为PDF文档格式.
<xinshi*******> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 安全Push＋VOD＋DRM系统的设计与分析

说明： 安全Push＋VOD＋DRM系统的设计与分析,资料为PDF文档格式.
<ganjin*******> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 大规模联合软件异常监测模型算法仿真

说明： 大规模联合软件异常监测模型算法仿真,资料为PDF文档格式.
<hjyc****> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 大规模混合数据库缓冲区替换方法优化仿真

说明： 大规模混合数据库缓冲区替换方法优化仿真,资料为PDF文档格式.
<jlli*****> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 大数据环境下高校教学基本状态数据库的研究

说明： 大数据环境下高校教学基本状态数据库的研究,资料为PDF文档格式.
<dsy****> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 大数据库的相似记录检测方法研究

说明： 大数据库的相似记录检测方法研究,资料为PDF文档格式.
<tonch******> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 大数据动态安全SAT双向防御模型的研究

说明： 大数据动态安全SAT双向防御模型的研究,资料为PDF文档格式.
<yayi****> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 大型数据库聚类中伪装危险数据识别方法研究

说明： 大型数据库聚类中伪装危险数据识别方法研究,资料为PDF文档格式.
<GZ***> 在 2018-03-09 上传 | 大小： | 下载0次

[电子信息] 大型数据库中的最优数据查询图的设计与仿真

说明： 大型数据库中的最优数据查询图的设计与仿真,资料为PDF文档格式.
<caichen*******> 在 2018-03-09 上传 | 大小： | 下载0次