机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2013 [1]
• 2006 [1]
• 1992 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 一种基于项重写的密码模块API安全性检测算法 期刊论文  OAI收割 中国科学院大学学报, 2013, 卷号: 30, 期号: 5, 页码: 699-705 刘波; 陈华   |  收藏  |  浏览/下载：35/0  |  提交时间：2014/12/16 PKCS#11  模型检测  项重写  广度优先搜索  PKCS#11  model checking  term rewriting  breadth-first search   一种基于图重写的计算机安全风险分析系统 期刊论文  OAI收割 计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274 李娜; 谢冬青   |  收藏  |  浏览/下载：31/0  |  提交时间：2011/07/13 风险分析  图重写  终止  最小覆盖  图重写  计算机  安全风险  分析系统  Graph Rewriting  Analysis Model  重写规则  风险分析  模型  方法  最小覆盖  统一视图  决策集合  基础  攻击步骤  项重写  利用图  复杂度  二分图  证明   基于重写技术的自动定理证明 期刊论文  OAI收割 计算机科学, 1992, 期号: 2, 页码: 79-80,24 张健   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/11 一阶逻辑  自动定理证明  技术  推理规则  重写规则  完备化过程  项重写系统  基本思想  证明方法  不等式