×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [3]
内容类型
期刊论文 [3]
发表日期
2013 [1]
2006 [1]
1992 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共3条,第1-3条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
一种基于项重写的密码模块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
一阶逻辑
自动定理证明
技术
推理规则
重写规则
完备化过程
项重写系统
基本思想
证明方法
不等式
©版权所有 ©2017 CSpace - Powered by
CSpace