CAJ | 학술논문

在逆向分析程序二进制代码时经常会遇到密码库函数。为了减少工作量，设计了一个面向分析人员的密码库模型。模型通过形式化的方法描述密码学框架和密码函数库的架构，并完成密码库函数属性到框架的映射，最后实现了数据解析与映射结果展示。模型能够解决两方面问题：一是掌握密码函数在库中所属的层次；二是了解该函数实现何种密码学相关算法、协议等信息，并以图形化方式展示结果。模型能够自动、快速地为分析人员找到相关知识，有助于学习密码学的整体抽象结构。
재역향분석정서이진제대마시경상회우도밀마고함수。위료감소공작량，설계료일개면향분석인원적밀마고모형。모형통과형식화적방법묘술밀마학광가화밀마함수고적가구，병완성밀마고함수속성도광가적영사，최후실현료수거해석여영사결과전시。모형능구해결량방면문제：일시장악밀마함수재고중소속적층차；이시료해해함수실현하충밀마학상관산법、협의등신식，병이도형화방식전시결과。모형능구자동、쾌속지위분석인원조도상관지식，유조우학습밀마학적정체추상결구。
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.