一种密码模块API安全性检测方法与系统

发明专利有效专利

申请号：
CN201310013010.4
IPC分类号：G06F21/55
申请日期：
2013-01-14
申请人：
中国科学院软件研究所

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种密码模块API安全性检测方法与系统
申请号	CN201310013010.4	申请日期	2013-01-14
法律状态	授权	申报国家	中国
公开/公告日	2013-05-08	公开/公告号	CN103093144A
优先权	暂无	优先权号	暂无
主分类号	G06F21/55 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F21/24 （转入G06F 21/60） G06F21/50 监控用户、程序或设备，以维护平台完整。例如处理器、固件或操作系统〔2013.01〕 G06F21/55 检测本地入侵或实施对策〔2013.01〕	IPC分类号	G;0;6;F;2;1;/;5;5查看分类表>
申请人	中国科学院软件研究所	申请人地址	北京市海淀区中关村南四街4号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	中国科学院软件研究所	当前权利人	中国科学院软件研究所
发明人	刘波;陈华;高思;范丽敏;冯登国
代理机构	北京君尚知识产权代理事务所（普通合伙）	代理人	余长江

摘要

本发明公开了一种密码模块API安全性检测方法与系统。本方法为：1)功能实现识别模块获取待检测的密码模块API的实现信息；2)自动化分析模块根据所述实现信息建立该密码模块API的形式化模型，然后对该形式化模型进行安全性检测，检测是否存在攻击；3)如果存在攻击，实例攻击验证模块根据自动分析模块得出的检测结果生成相应的攻击实例，并对密码模块API进行实际攻击，验证攻击是否存在，如果实际验证攻击不存在，则该密码模块API为安全的。本系统包括功能实现识别模块、自动化分析模块、实例攻击验证模块。与现有技术相比，本发明大大提高了密码模块API安全性的检测效率。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供