QQ客服 官方微博 反馈留言

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