软件常用加密算法并简单逆向识别知识
前言
想作为分析勒索病毒前的密码学接触.有些太难的算法,弟弟属实吃力,就不献丑了.可能也存在未察觉的错误,希望各位帮忙提出来,避免误导他人.谢谢师傅们.
常用加解密算法的逆向分析中的识别,不做过多算法原理上的叙述,别人讲的好多了.站在巨人的肩膀上.
这篇文章只作为特征查找用来辅助平时分析用.
两种工具ida
插件FindCrypt2
和peid
的KANA
进行算法识别是很好用的.
Base64
历史发展
base64
最早就是用来邮件传输协议中的,原因是邮件传输协议只支持 ascii
字符传递,因此如果要传输二进制文件,如:图片、视频是无法实现的。因此 base64
就可以用来将二进制文件内容编码为只包含 ascii 字符的内容,这样就可以传输了.
简单来说为了兼容各种数据格式.
基本原理
采用每三字节置换为四字节的方式,3x8
24位二进制转换为4x6
的方式,前两位用0
填充.字符不够转换的话,空字符=
填充.(1字节或二字节输入,那么只能使用输出的2个或3个字符)
使用字符表"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"
置换
Base24
:"BCDFGHJKMPQmogRTVWXY2346789"
Base32
:"ABCDEFGHJKLMNOPQRSTUVWXYZ234567"
Base60
:"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwx"
逆向初探
Findcrypt2
和KANAL
都能是识别出置换表.
所以先关注置换表,然后关注下相关的位运算操作,可能就是base
相关算法.
编码伪代码部分:
魔改Base64
- 置换表里的字符顺序变化或者修改置换表
- 将置换表分成几个不连续的部分,根据偏移进行对应的索取,或者进行加密.
嘛 具体问题具体分析
单向散列
用的比较多的就是MD5
和SHA-1
等算法
MD5
特征
这里和加密与解密上都讲的挺好的,我做些我需要的东西的提炼
填充消息使其长度与
448 mod 512
同余,是为了后面填充64
位的长度.填充方法:附一个
1
在消息后面,然后用0
填充,填充长度0<x<=512
初始化最开始需要使用
0x67452301
,0xefcdab89
,0x98badcfe
,0x10325476
进行初始化然后进行数据处理,相关细节看书和源码就好.需要使用左移数组
{ 7, 12, 17, 22, 7, 12, 17, 22, 7, 12, 17, 22, 7,12, 17, 22, 5, 9, 14, 20, 5, 9, 14, 20, 5, 9, 14, 20, 5, 9, 14, 20,4, 11, 16, 23, 4, 11, 16, 23, 4, 11, 16, 23, 4, 11, 16, 23, 6, 10,15, 21, 6, 10, 15, 21, 6, 10, 15, 21,, 6, 10, 15, 21 }
和64个存放32位字节的加法常数数组,由
2^32 * (abs(sin(i)))
得出,i
的范围1
到64
.{ 0xd76aa478, 0xe8c7b756, 0x242070db, 0xc1bdceee, 0xf57c0faf, 0x4787c62a, 0xa8304613, 0xfd469501, 0x698098d8, 0x8b44f7af, 0xffff5bb1, 0x895cd7be, 0x6b901122, 0xfd987193, 0xa679438e, 0x49b40821, 0xf61e2562, 0xc040b340, 0x265e5a51, 0xe9b6c7aa, 0xd62f105d, 0x02441453, 0xd8a1e681, 0xe7d3fbc8, 0x21e1cde6, 0xc33707d6, 0xf4d50d87, 0x455a14ed, 0xa9e3e905, 0xfcefa3f8, 0x676f02d9, 0x8d2a4c8a, 0xfffa3942, 0x8771f681, 0x6d9d6122, 0xfde5380c, 0xa4beea44, 0x4bdecfa9, 0xf6bb4b60, 0xbebfbc70, 0x289b7ec6, 0xeaa127fa, 0xd4ef3085, 0x04881d05, 0xd9d4d039, 0xe6db99e5, 0x1fa27cf8, 0xc4ac5665, 0xf4292244, 0x432aff97, 0xab9423a7, 0xfc93a039, 0x655b59c3, 0x8f0ccc92, 0xffeff47d, 0x85845dd1, 0x6fa87e4f, 0xfe2ce6e0, 0xa3014314, 0x4e0811a1, 0xf7537e82, 0xbd3af235, 0x2ad7d2bb, 0xeb86d391 };
512位消息分组为
16组 x 32位
,进行4*16
次运算128位散列值。
逆向识别
FindCrypt2
和peid
的KANA
都是识别加法常数
采用加密与解密中的MD5KeyGen.exe
进行分析学习
寄存器初始化
MD5
计算部分伪代码每使用16个硬编码常量,都会发现算法的改变.详细算法看上面第四点
这样简单的确定了是
MD5
算法,然后可以从进行回溯,ida
识别有点问题,汇编看了下二者相等.v11
是置换表说明v4
可能就是计算后的值,再动态调试可知,过滤掉前面的判断进行MD5
计算的值为说明在中途加了
www.pediy.com
字符串,sub_4012E0
集成了字符串添加
和拷贝的字符大小刚好等于原字符串差64位的大小时,拷贝并直接计算MD5的功能
.大概的流程差不多分析出来了,基本上修改下原版
MD5
的算法就能写出注册机了
魔改
- 可能会改变四个常数
- 改变输入后的字符,添加或者做某些运算等等
- hash处理过程可能改变
SHA算法
散列值长度:SHA-1
160位 SHA-256
256位 SHA-384
384位 SHA-512
512位
SHA-2
包括SHA-224
、SHA-256
、SHA-384
、SHA-512
、SHA-512/224
、SHA-512/256
SHA-1
原理参考:https://www.wosign.com/News/news_2018121101.htm 讲的很详细
特征
消息填充和
MD5
一样,512位为一组,然后16组x32位
,然后扩充位80组x32位
,进行4*20
次运算使用该函数进行计算
A,B,C,D,E←[(A<<5)+ ft(B,C,D)+E+Wt+Kt],A,(B<<30),C,D
,f
函数伪代码在下方使用常数
初始化寄存器的
hash
值
逆向初探SHA-1加密
使用加密与解密的6.1.2
示例程序
FindCrypt
插件识别出SHA-1
常量对输入进行判断,
Name
不为空,Serial
为20位基本流程
注册机
成功
计算函数的部分伪代码参考
总结
要注意字节与位转换函数,不太熟悉容易迷惑
对称加密
RC4
RC4生成一种被称为密钥流
的伪随机流.它与加密的数据长度相等.密钥流与数据同位异或进行加解密.密钥流生成分为两个部分KSA与PRGA.
the key-scheduling Algorithm (KSA) 密钥调度算法
按照升序
0,1,2,3,4.....,254,255
初始化一个256字节数组S
.使用密钥填充一个256字节数组
T
,长度不够的话,轮转填入,直到填满.对数组
S
进行打乱.int j = 0;
for (i = 0;i<256;i++){
j =(j+S[i]+T[i])%256;
swap(S[i],S[j]);
}
the Pseudo-Random Generation Algorithm (PRGA) 伪随机生成算法
int i, j = 0;
while (data_length--) {
i = (i + 1) % 256;
i = (i + 1) % 256;
j = (j + S[i]) % 256;
swap(S[i], S[j]);
int t = (S[i] + S[j]) % 256;
int k = S[t];
//k为加密密钥,直接进行与数据异或或者存进数组里最后进行异或都可以,
}
函数完整代码
#include<iostream>
using namespace std;
int S[256] = { 0 };
void swap(int& a, int& b) {
int c = a;
a = b;
b = c;
}
void KSA(unsigned char key[], int len) {
for (size_t i = 0; i < 256; i++) S[i] = i;
int j = 0;
for (size_t i = 0; i < 256; i++)
{
j = (j + S[i] + key[i % len]) % 256;
swap(S[i], S[j]);
}
}
void PRGA(unsigned char data[], int len) {
int i = 0, j = 0, num = 0;
int data_length = len;
while (data_length--) {
i = (i + 1) % 256;
j = (j + S[i]) % 256;
swap(S[i], S[j]);
int t = (S[i] + S[j]) % 256;
int k = S[t];
data[num] = (data[num] ^ k);
num++;
}
}
int main() {
unsigned char key[] = "xwdidi.com";
unsigned char data[] = "bbspediycom";
KSA(key, strlen((char*)key));
PRGA(data,strlen((char*)data));
for (size_t i = 0; i < strlen((char*)data); i++)
{
cout << hex << (int)data[i] << " ";
}
return 0;
}
初探逆向识别RC4
使用加密与解密中的RC4Sample
进行分析学习.
主函数体伪代码
中间两个函数可能就是KSA
和PGRA
.
sub_401000
伪代码全图:
可以看中间do-while
循环,有一个数组的256
位初始化.说明a1+2
是一个数组s-box
的位置,那么*a1
和a1[0]
就是两个int
型变量.然后下面的循环中,其实是交换和计算j
是交叉在一起的.31,32,35,36
是计算j
的位置,30,33,34
是交换.
通过v3
与a3
比较,获得对key长度取余的效果.v8
则是每循环一次加一取值的s-box
.
sub_401070
第一眼会发现做了异或操作,可能这就是PRGA
.
仔细观察后发现result[2]
其实是s-box
的首地址,其他变量的话就是相对首地址的偏移.30,31,34,35,36
其实交换函数.其他就是获得异或key所需的偏移计算.
魔改RC4
- 使用其它算法对参数进行加密,与其他加密算法糅合.
- S盒的内部数据固定
总结
对于循环,又有256
或者0x100
的关键字,获取字符串长度,又再次使用处理过的值进行异或的话可以去怀疑是RC4
加密.
TEA
xtea
,xxtea
,tea
都可以用0x9E3779B9
识别,详细分析后面有空再写吧
AES
基本原理
分组长度:128比特
密钥长度:128, 192, 256比特
圈数:分别为10, 12, 14
设定Nr为第r+1
次轮函数. 将输入复制到状态数组中.在进行一个初始轮密钥加操作之后, 执行Nr
次论函数.对状态数组进行变换, 其中最后一轮不同于前Nr-1 轮. 将最终的状态数组复制到输出数组中. 即得到最终密文(引用自加密与解密)
AES-128:
轮密钥加(AddRoundKey):将状态元素与轮密钥进行简单的异或计算,唯一需要三个参数的过程.
字节替代(SubBytes):使用S-box
进行查表,字节替换操作。
S-box
:
行位移(ShiftRows):数组大小为4x4字节
,第一行保持不变,第二行循环左移1字节,第三行循环左移2字节,第四行循环左移3字节.
列混淆(MixColumns):以列为单位,可看作进行矩阵乘法,矩阵为((02,03,01,01)(01,02,03,01)(01,01,02,03)(03,01,01,02))
密钥扩展(KeyExpansion):通过密码扩展算法生成Nr+1
个32位双字
解密就是逆过程了
空间换时间
大多数时候,常见aes使用空间换时间
将轮函数的几个步骤合并为一组简单的查表操作,只是最后一步没有,需要使用常规方法处理.
然后需要4个T
表,一个T
表需要256个4字节的32位双字,所以需要4kb
的存储空间.
每进行一轮,4次查表,4轮异或运算.一共有四次,16轮查表,16轮异或
T表数据图
逆向初探识别RSA
一样使用的是加密与解密中的样例
FindCrypt
识别处MD5
和AES
Serial
长度为32字节,使用16进制的话刚好为128位。静态分析大概这样,接下来动态看看
sub_401320
压入初始化后的寄存器数组地址,name
, 长度最终获得128位
MD5
散列值执行
sub_401EC0
内存中的
sbox
细致算法省略
函数中存在大量的移位异或操作,太大了就不截图了.
注册机
加密模式与填充模式
- ECB: 需要加密的消息按照块密码的块大小被分为数个块,并对每个块进行独立加密。
- CBC : 每 个明文块先与前一个密文块进行异或后,再进行加密
- CTR
- OCF
- CFB
ECB 与 CBC
PKCS7Padding: 假设数据长度需要填充n(n>0)个字节才对齐,那么填充n个字节,每个字节都是n;如果数据本身就已经对齐了,则填充一块长度为块大小的数据,每个字节都是块大小。
PKCS5Padding:PKCS7Padding的子集,块大小固定为8字节
Zero-Padding 用0填充(适合以\ 0结尾的字符串加解密)
非堆对称加密
RSA
基本原理
选择两个不同大的质数
p
和q
,计算n=p*q
根据欧拉函数,求得
r=φ(n)=φ(p)φ(q)=(p−1)(q−1)
选择一个与
e
互质且小于r
的整数,并求得c关于r的模反元素,命名为d
,有ed ≡ 1 mod r
销毁
p
和q
,此时(n,e)
为公钥,(n,d)
为私钥$$
加密
加密 n^e ≡ c \bmod N,消息解密c^d ≡ n \bmod N \
(只需要证明n^{ed} ≡n\bmod N即可)
$$
逆向初探RSA
发现这个程序和书前文使用Miracl
库运算的逻辑相同,那也简单分析一下.
逐一检测数据是否为
0123456789abcdeABCDEF
中的数据,如果有则直接报错参数初始化
传入
Serial
赋值m,大数n
和e
计算取模
比较判断是否正确
由此我们可知是将serial进行RSA解密与输入进行比较.得知了
n=0x80C07AFC9D25404D6555B9ACF3567CF1
和e=0x10001
使用大数分解
RSATool
的Factor N
功能,得到p=0xA554665CC62120D3
,q=0xC75CB54BEDFA30AB
输入
E
,点击Calc. D
得到d=0x651A40B9739117EF505DBC33EB8F442D
xwdidi
的16进制为787764696469
,使用大叔计算器进行c ^d ≡ m mod N
计算,最后得到m=0x5D99FFF7B67285275C8639BCEF982B7
,带入软件后返回Success!
注册机
powmod函数的部分伪代码作为参考
Mircal大数运算库
Mircal库过于常用,需要进一步的熟悉才能更加利于分析.
头文件有mircal.h
和mirdef.h
两者,库文件为ms32.lib
以下是大数运算库函数的Magic number
反汇编识别
反汇编识别着重在于查看函数内部的mov doword ptr [eax+ecx*4+20], yy
格式的反汇编代码,yy即为magic number
这是函数对比图
sub_401730
sub_403BD0
其他的就不一一找了,都在函数内部都能看见.基本上是这样去识别.
Reference
推荐
-
-
QQ空间
-
新浪微博
-
人人网
-
豆瓣