摘要
嵌入式设备在网络中引发了很多安全隐患,针对嵌入式系统的网络安全问题,识别其中的公钥密码算法是分析系统安全性的一个重要方面。在对公钥密码算法加密原理的研究以及在汇编级算法特征分析的基础上,提出了一种基于语义的公钥密码算法加密行为分析方法,可以对算法的加密行为进行准确地刻画,并结合模型检测技术完成对嵌入式系统中可能包含的公钥密码算法的识别。测试结果表明,该方法具有较好的准确性和稳定性。
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.
出处
《计算机工程与设计》
CSCD
北大核心
2011年第10期3243-3246,3273,共5页
Computer Engineering and Design
基金
国家863高技术研究发展计划基金项目(2007AA01Z483)
关键词
嵌入式系统安全性
算法识别
程序理解
算法特征
模型检测
embedded system security
algorithm recognition
program understanding
algorithm characteristic
model checking
