一种基于项重写的密码模块API安全性检测算法

刘波; 陈华

文献导航

搜索文章

搜索思路

钛学术文献服务平台 \
学术期刊 \
科教文艺期刊 \
大学学报期刊 \
中国科学院大学学报期刊 \
一种基于项重写的密码模块API安全性检测算法

一种基于项重写的密码模块API安全性检测算法

作者：

刘波陈华

基本信息来源于合作网站，原文需代理用户跳转至来源网站获取

PKCS#11

模型检测

项重写

广度优先搜索

摘要：

针对密码模块API的形式化验证,提出一种基于项重写形式化模型的检测算法.该算法利用符号化及广度优先搜索方法,使用项重写规则对敌手的初始知识集不断进行匹配和扩展,直到找到攻击路径或者搜索完状态空间.以密码模块API标准PKCS#11为例具体实现了该检测算法,通过5个实验完成了对PKCS#11对称密钥管理部分API的形式化验证.实验结果表明,该方法能有效检测针对PKCS#11的攻击,并找到一个新的攻击序列.

内容分析

关键词云

关键词热度

相关文献

推荐文献

根据相关规定，获取原文需跳转至原文服务方进行注册认证身份信息

完成下面三个步骤操作后即可获取文献，阅读后请点击下方页面【继续获取】按钮

钛学术文献服务平台

学术出版新技术应用与公共服务实验室出品

原文合作方

获取文献流程

1.访问原文合作方请等待几秒系统会自动跳转至登录页，首次访问请先注册账号，填写基本信息后，点击【注册】

2.注册后进行实名认证，实名认证成功后点击【返回】

3.检查邮箱地址是否正确，若错误或未填写请填写正确邮箱地址，点击【确认支付】完成获取，文献将在1小时内发送至您的邮箱

*若已注册过原文合作方账号的用户，可跳过上述操作，直接登录后获取原文即可

点击【获取原文】按钮，跳转至合作网站。

首次获取需要在合作网站进行注册。

注册并实名认证，认证后点击【返回】按钮。

确认邮箱信息，点击【确认支付】，订单将在一小时内发送至您的邮箱。

* 若已经注册过合作网站账号，请忽略第二、三步，直接登录即可。

期刊分类
期刊（年）
期刊（期）
期刊推荐

中学生教育体育图书情报档案大学学报少儿教育教育文化文学新闻出版科研管理艺术语言文字

中国科学院大学学报2013年第6期中国科学院大学学报2013年第5期中国科学院大学学报2013年第4期中国科学院大学学报2013年第3期中国科学院大学学报2013年第2期中国科学院大学学报2013年第1期

按字母查找期刊：

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他

联系合作广告推广: shenyukuan@paperpass.com

篇名	一种基于项重写的密码模块API安全性检测算法
来源期刊	中国科学院大学学报	学科	工学
关键词	PKCS#11 模型检测项重写广度优先搜索
年，卷（期）	2013,（5）	所属期刊栏目	计算机科学
研究方向		页码范围	699-705
页数		分类号	TP309
字数		语种	中文
DOI	10.7523/j.issn.2095-6134.2013.05.020

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘波	中国科学院软件研究所	266	2712	24.0	39.0
5	陈华	中国科学院软件研究所	65	683	13.0	24.0