기본 콘텐츠로 건너뛰기

PWNable

PWNable collision

http://pwnable.kr/index.php


writeup을 보면 MD5의 해시 충돌의 사용해 푸는 문제라는 힌트가 주어진다. 이제 저기에 나온 ssh로 접속해서 파일들을 확인했다.
MD5란 MD5(Message-Digest algorithm 5)는 128비트 암호화 해시 함수이다. 해시 함수는 임의 길이를 가진 문자열을 입력받아 고정된 길이의 해쉬값을 출력한다. 말 그대로 함수를 생각하며 되는데 해쉬함수의 문제점은 충돌이 일어날 수 있다는 것이다. 즉, 특정 해쉬값을 나오게 하는 값이 하나가 아닐경우 해시 충돌이 일어났다고 말한다.



col.c라는 파일이 보인다. 코드를 읽기 위해 cat명령어를 사용해 살펴봤다.



if(입력한 단어의 수가 2개 미만)--> printf("usage: ~~")
if (입력한 2번째 단어가 20바이트가 아니라면) --> printf("passcode~~")
if (hashcode 와 check_password(두번째 단어)의 반환값이 같다면) --> 성공!!
그외의 경우 --> printf("wrong passcode.")

col.c를 해석하면 다음과 같다. 성공을 하기 위해서는 hashcode의 값과 check_password(argv[1])의 밪환값이 같아야 하는데 hashcode는 처음에 0x21DD09EC라고 초기화 돼있다. check_password()함수는 전달받은 인자를 정수형으로 바꿔서 5번에 걸쳐 더한 다음 그 총 합을 반환한다. 따라서 이 값이 0x21DD09EC와 같으면 된다.
그럼 16진수 21DD09EC를 5 로 나누면 몫은 6C5CEC8이 나오고 나머지가 4이므로 4번은 6C5CEC8이고 한 번은 6C5CECC이여야 한다. 이 5번은 다 더하면 원하는 숫자 0x21DD09EC가 나온다.


$는 실행 파일의 인자로 ()안에 있는 문자를 넣어준다는 의미이다. 파이썬을 사용해서 입력해 주는데 리틀 엔디언 방식이기 때문에 숫자를 뒤쪽부터 잘라서 입력해준다. 여기서 리틀 엔디안이란 엔디언의 한 방식이다. 엔디언은 컴퓨터 메모리와 같은 1차원 공간에 여러개의 연속된 대상을 배열하는 걸 의미한다. 바이트를 배열하는 방식을 바이트 오더라고 한다. 엔디언은 최상위 바이트부터 하위주소에 넣는 빅 엔디안과 최하위바이트부터 하위주소에 넣는 리틀 엔디안이 있다. 빅 엔디언은 사람이 숫자를 쓰는 방식과 또같아 보이지만 리틀 엔디안은 숫자를 바이트 단위로 쪼개서 뒤에서 부터 쓴다고 생각하면된다.
입력된 명령어를 보면 6C5CE8 과 6C5CECC를 바이트 단위로 나눈 후 뒤 부터 써준것을 볼 수 있다.
이렇게 입력해주면 성공!









참고:
http://nobilitycat.tistory.com/entry/pwnablekr-collision
https://ko.wikipedia.org/wiki/%ED%95%B4%EC%8B%9C_%EC%B6%A9%EB%8F%8C
https://seed.kisa.or.kr/iwt/ko/intro/EgovHashFunction.do
https://ko.wikipedia.org/wiki/%EC%97%94%EB%94%94%EC%96%B8
http://skmagic.tistory.com/160



라벨:

댓글

댓글 쓰기

이 블로그의 인기 게시물

C언어 - 1~100 사이의 소수 구하기

  C 문제 정수 값을 인자로 받아서 소수인지 판단하는 IsPrime 함수를 정의하고 이 함수를 이용해 1 부터 100 사이의 소수를 모두 구해서 출력하는 프로그램을 작성하시오 .   1.main 함수 만들기 IsPrime 이라는 함수에 인자를 2 부터 99 로 넣어주는 함수를 만들어야 한다 . 반복을 위해 for 함수를 사용한다 . main 함수의 타입이 int 이기 때문에 return 값을 적어줘야 함 .   2.IsPrime 함수 만들기 딱히 반환해야 할 값이 없기 때문에 타입은 void 경우를 2 가지로 나눔 . ①if  인자가 2 일 경우 --> 2 는 소수이기 때문에 2 를 출력함 ②else  인자가 2 가 아닐 경우 --> 2 부터 ( 인자 -1) 까지의 수로 인자를 나눠서 모든 경우에 나머지가 0 이 아니면 소수임 . 즉 어떤 숫자로 나눠 떨어지면 소수가 아니라는 의미로 더이상의 경우를 확인할 필요가 없음 . 따라서 반복하던 for 문을 빠져나옴 . for 문이 끝난 후 인자의 값과 count 의 값이 같다면 count 의 어떠한 숫자로도 인자가 나누어지지 못했다는 의미이다 . 이는 소수라는 뜻과 마찬가지이기 때문에 이 경우에 인자를 출력한다 .   3. 기타 출력한 후 모습을 살펴보는데 IsPrime 에서의 출력이 숫자 끝에 콤마 (,) 가 붙기 때문에 모든 출력이 끝나도 마지막 숫자 뒤에 콤마가 붙어 있다 . 이를 없애기 위해서는 이스케이프 문자 ‘\ b’ 를 사용했다 . 출력 화면이 더 편하게 보이도록 ‘\b\n’ 를 썼으나 이럴 경우 '\b' 의 효과가 사라졌다 . ‘\b\b\n’ 처럼 사용했으나 결과는 역시나 \ n 의 효과만 나타날 뿐 \ b 의 효과는 없었다 . 이를 해결하기 위해 구글링도 했지만 적절한 답을...
댓글 쓰기
자세한 내용 보기

C언어 - 입력받은 숫자의 이진수 표현에서 1의 개수를 세는 코드를 짜기

C 언어 문제: 입력받은 숫자의 이진수 표현에서 1의 개수를 세는 코드를 짜기 이 문제를 해결하기 위해서는 시프트 연산자에 대해 알아야 한다. 컴퓨터에서는 숫자를 2진수로 표현하는데 정수는 32비트로 나타낸다. 가장 앞쪽에 있는 비트는 음수와 양수를 구분해 주는 비트이고 이 이하가 숫자를 의미한다. 시프트 연산자는 숫자를 이진수로 표현했을 때 연산을 편리하게 해 주는 연산자이다. 연산자에 대해 자세히 알고 싶으면 ( http://rockykim5581.tistory.com/19 )을 참고하길 바란다. 여기에서는 필요한 부분만 다룰 예정이다. 1. 숫자 입력받기 입력한 숫자를 변수에 대입해야 한다. 2.입력한 숫자의 이진수 표현에서 1의 개수 구하기 이진수에서도 비교 연산자를 사용할 수 있다. AND를 의미하는 &는 두 수가 모두 1일 때만 1(참)을 나타낸다. 이 성징을 이용하면 입력받은 숫자의 이진수를 셀 수 있다. 비트는 1부터 31가지 비교해야 한다.(32비트-사인비트-는 제외) 이 과정을 하기 위해서는 반복문이 필요하다. 여기서는 조건과 초기화, 반복후 실행하는 문이 있어서 for를 사용했다. 비교는 입력은 숫자(이진수 표현)의 n번째(이는 0아니면 1이다)와  n번째가 1인 숫자를 &으로 비교해서 둘 다 모두 1인 경우만 count라는 변수를 하나씩 올려준다. 그러면 입력받은 수의 이진수 표현 1을 셀 수 있게된다. 그러면 n번째가 1이라는 숫자를 어떻게 만들까? 이는 변수(one)를 하나 잡아 반복문의 실행에 따라 1을 시프트 연산자로 이동시킨 수를 대입한다. 예를 들어 처음일 때는 입력받은 수와 1을 옯기지 않은 상태로 비교, 두번째 자리를 비교할 땐 입력받은 수와 1을 한칸 옮긴 상태로 비교하는 식이다. 여기서 주의해야 할 점은 (비교하려는 자리의 수-1)만큼 시프트 연산자로 밀어줘야 한다는 것이다. 1이 한 자리도 차지하기 때문이다. <전체 코드> ...
댓글 쓰기
자세한 내용 보기

C언어 - 입력된 정수 홀수와 짝수로 나눠 크기순으로 출력하기

2 번째 주 - C 언어 문제 길이가 10 인 배열을 만들고 그 배열에 10 개의 정수를 입력 받는다 . 이 때 입력받은 정수가 홀수면 배열의 앞부터 채워나가고 짝수면 배열의 맨 뒤에서부터 채워나가는 프로그램을 만들어라 .( 정수는 항상 10 개를 모두 입력한다고 가정한다 .) 실행화면 조건 1. int arr[10], i, num[10];// arr = 짝수 홀수 정리할 배열 , num = 숫자 입력 배열 \ 2.int lennum =() ; // 배열 num 의 크기 , 배열 입력받을 때 for 문에서 10 으로 하지말 고 lennum 사용해서 받을 것 int lenarr =(); // 배열 arr 의 크기 , {1,3,5,7,9,1,8,6,4,2} 형식을 위해 사용 -->hint: sizeof 사용 3.lenarr 출력 포맷을 위 사진과 동일하게 만들기 위해 사용한다 . 처음과 끝은 { 과 } 를 사용하고 마지막 숫자 뒤에는 콤마가 없어야 한다 . -->hint: if 문 사용   < 풀이 > 코드는 총 4 부분으로 나뉜다 . 입력 받기 , 홀수 정리 , 짝수 정리 , 출력 .   1. 입력받기 입력 받기 위해 for 문을 사용해서 반복한다 . 여기서 조건을 만족시키기 위해 lennum 을 구해야 한다 . siezof 크기를 알려주는 함수인데 단순히 sizeof(num) 을 한다면 10 이 나오지 않는다 . 40 이 나올 것이다 . 이는 배열이 가진 인덱스 X 타입형의 크기 값이 총 배열의 크기이기 때문이다 . 따라서 lennum 을 구하기 위해서는 다음과 같이 해야 한다 . lennum = sizeof (num) / sizeof ( int ); for 문 안에서는 scanf 를 사용해 입력한 숫자를 num 배열에 넣는다 . 입력받기 코드   2. 홀수 정리 ...
댓글 쓰기
자세한 내용 보기