检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张经纬[1] 舒辉[1] 蒋烈辉[1] 李继中[1]
机构地区:[1]解放军信息工程大学信息工程学院,河南郑州450002
出 处:《计算机工程与设计》2011年第10期3243-3246,3273,共5页Computer Engineering and Design
基 金:国家863高技术研究发展计划基金项目(2007AA01Z483)
摘 要:嵌入式设备在网络中引发了很多安全隐患,针对嵌入式系统的网络安全问题,识别其中的公钥密码算法是分析系统安全性的一个重要方面。在对公钥密码算法加密原理的研究以及在汇编级算法特征分析的基础上,提出了一种基于语义的公钥密码算法加密行为分析方法,可以对算法的加密行为进行准确地刻画,并结合模型检测技术完成对嵌入式系统中可能包含的公钥密码算法的识别。测试结果表明,该方法具有较好的准确性和稳定性。As the number of security risks in the network caused by embedded devices is growing, according to the network securityissues in embedded system, recognizing public key cryptography algorithm is a significant aspect in analyzing its system security. On researching the basic concept of public key cryptography algorithm and analyzing assemble cryptogram algorithms, a semantic based method is brought forward to analyze public key cryptography encrypting behavior, which can describe the encrypting behavior accurately. And combining with model checking technology, recognizing the public key cryptography algorithm contained in embedded system is accomplished. The test results show that the method has good accuracy and stability.
关 键 词:嵌入式系统安全性 算法识别 程序理解 算法特征 模型检测
分 类 号:TP301.6[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.119.142.123