Cryptographic procedure analysis based on cryptographic library function

doi:10.11772/j.issn.1001-9081.2014.07.1929

Journal of Computer Applications ›› 2014, Vol. 34 ›› Issue (7): 1929-1935.DOI: 10.11772/j.issn.1001-9081.2014.07.1929

Previous Articles Next Articles

Cryptographic procedure analysis based on cryptographic library function

ZHANG Yanwen¹,YIN Qing²,LI Zhenglian²,SHU Hui³,⁴,CHANG Rui²

1. State Key Laboratory of Mathematical Engineering and Advanced Computing, Information Engineering University，Zhengzhou Henan 450001, China
2. State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou Henan 450000, China
3. State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou Henan 450001, China
4. Information Engineering University, Zhengzhou Henan 450000, China;

Received:2014-01-03 Revised:2014-02-21 Online:2014-08-01 Published:2014-07-01
Contact: ZHANG Yanwen

基于密码库函数的程序加解密过程分析

张彦文¹,尹青²,李政廉²,舒辉¹,³,常瑞²

1. 信息工程大学,郑州 450000
2. 数学工程与先进计算机国家重点实验室，郑州 450000
3. 数学工程与先进计算国家重点实验室,郑州 450001

通讯作者: 张彦文
作者简介:张彦文(1987-)，男，湖南娄底人，硕士研究生，主要研究方向：逆向工程；尹青(1968-)，女，江苏徐州人，教授，博士，主要研究方向：网络与信息安全；舒辉(1974-)，男，江苏盐城人，副教授，博士，主要研究方向：网络与信息安全；李政廉(1987-)，男，北京人，硕士研究生，主要研究方向：网络与信息安全；常瑞 (1981-)，女，河南郑州人，讲师，博士研究生，主要研究方向：逆向工程、嵌入式安全。

Abstract

Abstract:

Since it's hard to analyze the cryptographic procedure using method of property scan or debugging for the variety and different implementation of cryptographic algorithms, a method was proposed based on library function prototype analysis and their calling-graph building. Library functions prototype analysis is analyzing cryptographic algorithm knowledge and library frame knowledge to form a knowledge base. Calling-graph building is building a calling-graph that reflects the function calling order according to parameter value of the functions. Finally cryptographic algorithm knowledge and library frame knowledge on the calling-graph were extracted. The method discriminated common cryptographic algorithm almost 100%, and it could not only recover cryptographic data, key and cryptographic mode, but also help to analyze the relationship between more than two cryptographic algorithms dealing with the same data. The method could be used to analyze Trojan, worm and test whether the library is used correctly.

摘要：

针对常见密码算法种类多及实现方式不同，采用现有特征扫描和动态调试的方法分析程序中的加解密过程非常困难的问题。提出一种基于库函数原型分析和库函数调用链构造的加解密过程分析方法，库函数原型分析是分析常见密码库函数所包含的密码算法知识和库框架知识，并记录形成知识库，库函数调用链是根据密码库函数调用时参数值的相等关系构建的库函数调用的先后关系链，最后根据知识库在链上提取展示密码库及密码算法相关知识。该方法对运用到常见库的程序中的算法的识别精确度达到近100%，能详细分析算法调用时的数据、密钥、模式，并有助于对多个算法的协同处理关系作分析。该方法有助于辅助分析木马、蠕虫之类恶意程序，也可用于检测程序对库密码算法的运用是否正确。

CLC Number:

TP309

ZHANG Yanwen YIN Qing LI Zhenglian SHU Hui CHANG Rui. Cryptographic procedure analysis based on cryptographic library function[J]. Journal of Computer Applications, 2014, 34(7): 1929-1935.

张彦文尹青李政廉舒辉常瑞. 基于密码库函数的程序加解密过程分析[J]. 计算机应用, 2014, 34(7): 1929-1935.

References

［1］LI J, SHU H. The research of crypto algorithm recognition technology［J］. Netinfo Security, 2012(11): 46-49. (李继中, 舒辉. 密码算法识别技术研究［J］. 信息网络安全, 2012(11): 46-49.)
［2］HALDERMAN J A, SCHOEN S D, HENINGER N, et al. Lest we remember: cold-boot attacks on encryption keys［J］. Communications of the ACM, 2009, 52(5): 91-98.
［3］MAARTMANN-MOE C, THORKILDSEN S E, ARNES A. The persistence of memory: Forensic identification and extraction of cryptographic keys［J］. Digital Investigation, 2009(6): 132-140.
［4］FLIRT: Fast library acquisition for identification and recognition［EB/OL］. ［2013-10-10］.https://www.hex-rays.com/products/ida/tech/flirt/in_depth.shtml.
［5］NETHERCOTE N. Dynamic binary analysis and instrumentation［D］. Cambridge: University of Cambridge, 2004.
［6］GROBERT F, WILLEMS C, HOLZ T. Automated identification of cryptographic primitives in binary rograms［C］// Proceedings of the 14th International Conference on Recent Advances in Intrusion Detection. Berlin: Springer-Verlag, 2011: 41-60.
［7］CALVET J, FERNANDEZ J M, MARION J Y. Aligot: cryptographic function identification in obfuscated binary programs［C］// Proceedings of the 2012 ACM Conference on Computer and Communications Security. New York: ACM, 2012: 169-182.
［8］OKSANEN K. Detecting algorithms using dynamic analysis［C］// Proceedings of the 9th International Workshop on Dynamic Analysis. New York: ACM, 2011: 1-6.
［9］ZHAO R, GU D, LI J, et al. Detection and analysis of cryptographic data inside software: Information security［C］// Proceedings of the 14th International Conference on Information Security. Berlin: Springer-Verlag, 2011: 182-196.
［10］REEK K A. Pointers on C［M］.XU B, translated. Beijing: Posts and Telecommunications Press, 2008.(REEK K A. C和指针［M］.徐波,译.北京:人民邮电出版社, 2008.)
［11］EAGER M J. Introduction to the DWARF debugging format［EB/OL］.［2013-10-10］. http://dwarfstd.org/.
［12］LI Y, KANG F, SHU H. Cryptographic algorithm recognition based on dynamic binary analysis［J］ . Computer Engineering, 2012, 38(17): 106-109.(李洋, 康绯, 舒辉. 基于动态二进制分析的密码算法识别［J］. 计算机工程, 2012, 38(17):106-109.)
［13］KHEDKER U, SANYAL A, SATHE B. Data flow analysis: theory and practice［M］.New York: CRC Press, 2009.

[1]	SHE Wei, MA Tianxiang, FENG Haige, TIAN Zhao, LIU Wei. Blockchain covert communication method based on contract call concealment#br# #br# [J]. Journal of Computer Applications, 0, (): 0-0.
[2]	Rui GAO, Xuebin CHEN, Zucuan ZHANG. Dynamic social network privacy publishing method for partial graph updating [J]. Journal of Computer Applications, 2024, 44(12): 3831-3838.
[3]	Yong XIANG, Yanjun LI, Dingyun HUANG, Yu CHEN, Huiqin XIE. Differential and linear characteristic analysis of full-round Shadow algorithm [J]. Journal of Computer Applications, 2024, 44(12): 3839-3843.
[4]	Zhenhao ZHAO, Shibin ZHANG, Wunan WAN, Jinquan ZHANG, zhi QIN. Delegated proof of stake consensus algorithm based on reputation value and strong blind signature algorithm [J]. Journal of Computer Applications, 2024, 44(12): 3717-3722.
[5]	Yiting WANG, Wunan WAN, Shibin ZHANG, Jinquan ZHANG, Zhi QIN. Linkable ring signature scheme based on SM9 algorithm [J]. Journal of Computer Applications, 2024, 44(12): 3709-3716.
[6]	Jing LIANG, Wunan WAN, Shibin ZHANG, Jinquan ZHANG, Zhi QIN. Traceability storage model of charity system oriented to master-slave chain [J]. Journal of Computer Applications, 2024, 44(12): 3751-3758.
[7]	Deyuan LIU, Jingquan ZHANG, Xing ZHANG, Wunan WAN, Shibin ZHANG, Zhi QIN. Cross-chain identity authentication scheme based on certificate-less signcryption [J]. Journal of Computer Applications, 2024, 44(12): 3731-3740.
[8]	Xin ZHANG, Jinquan ZHANG, Deyuan LIU, Wunan WAN, Shibin ZHANG, Zhi QIN. Cross-chain identity management scheme based on identity-based proxy re-encryption [J]. Journal of Computer Applications, 2024, 44(12): 3723-3730.
[9]	DENG Yilin, YU Fajiang. Pseudo-random number generator based on LSTM and separable self-attention mechanism#br# #br# [J]. Journal of Computer Applications, 0, (): 0-0.
[10]	. Correlation power analysis of advanced encryption standard algorithm based on uniform manifold approximation and projection [J]. Journal of Computer Applications, 0, (): 0-0.
[11]	. Dynamic searchable encryption scheme based on puncture pseudorandom function [J]. Journal of Computer Applications, 0, (): 0-0.
[12]	. fedPF: Federated learning for personalization and fairness [J]. Journal of Computer Applications, 0, (): 0-0.
[13]	. Review of research on conflict-based cache side-channel attacks and eviction sets [J]. Journal of Computer Applications, 0, (): 0-0.
[14]	. Secure and efficient frequency estimation method based on shuffled differential privacy [J]. Journal of Computer Applications, 0, (): 0-0.
[15]	. Blockchain-based model for notarization of simulation testing data in autonomous driving [J]. Journal of Computer Applications, 0, (): 0-0.

Cryptographic procedure analysis based on cryptographic library function

基于密码库函数的程序加解密过程分析

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics