摘要
在逆向分析程序二进制代码时经常会遇到密码库函数。为了减少工作量,设计了一个面向分析人员的密码库模型。模型通过形式化的方法描述密码学框架和密码函数库的架构,并完成密码库函数属性到框架的映射,最后实现了数据解析与映射结果展示。模型能够解决两方面问题:一是掌握密码函数在库中所属的层次;二是了解该函数实现何种密码学相关算法、协议等信息,并以图形化方式展示结果。模型能够自动、快速地为分析人员找到相关知识,有助于学习密码学的整体抽象结构。
Analyzer always encounters cryptographic library functions when analyzing binary code. In order to simplify the workload of the reverse analyzer, a cryptographic model was designed. The model was designed using formal method to describe cryptographic frame and cryptographic library architecture, and then a mapping language was given to map cryptographic library function property to the frame and architecture, finally an API is designed to resolve the functions”parameter data and show mapping results. The model can help to resolve two kinds of problem： mastering the functions level in its library, understanding the function” s cryptographic algorithm and protocol information and show them graphically. The model resolved the problem of encountering cryptographic library function with its way of founding related knowledge automatically and rapidly. It can contribute to learn the whole cryptographic frame.
出处
《计算机应用》
CSCD
北大核心
2015年第A01期159-165,共7页
journal of Computer Applications
基金
国家863计划项目(2012AA012902)
关键词
密码库模型
密码库架构
密码算法
加解密密钥
加解密数据
信息恢复
cryptographic library model
cryptographic library architecture
cryptographic algorithm
cryptographic key
cryptographic data
information recovery
