기타/암호학 24

[암호학] 3. 자연수

갑자기 자연수? 수는 모든 학문의 기초가 되고 그 중 가장 생각하기 쉬운 자연수는 어디에든 나타나는 개념이다. 하지만 우리는 자연수란 무엇인가?라고 질문하면 쉽게 답하기 어렵다. 1,2,3같이 개수를 셀 수 있는 수 아닌가요? 위와 같은 답은 생각하긴 쉽지만 모호한 답이다. 자연수를 엄밀하게 정의하기 위해 보통 페아노 공리계를 말하곤 한다. https://namu.wiki/w/%EC%9E%90%EC%97%B0%EC%88%98#s-2.1 자연수 - 나무위키 이 다섯 가지 공리와 그리고 가장 간단한 형태의 덧셈, 곱셈, 그리고 대소 관계 정의를 이용하면 우리가 아는 자연수의 모든 성질들을 이끌어낼 수 있다. 자연수에서의 덧셈은 덧셈이 가지는 가 namu.wiki 수학도 그렇고 과학도 그렇고 이공계학문은 공리..

기타/암호학 2022.12.06

[암호학] 2. Halting Problem

Complexity Theory 세계로... Complexity Theory(계산복잡도 이론)은 암호학에 필요한 이론이라고 한다. 우리가 알고리즘때 사용하는 Big-O표기법도 Complexity Theory에서 나왔다. (알고리즘도 여기에 포함된다고 한다.) 즉 Complexity Theory란 튜링머신(컴퓨터)이 어떤 연산을 하는데 얼마나 걸리는지를 분석하는 컴퓨터 과학 분야이다. 미리 알아둬야할 컨셉이 있다. 어떤 문제가 어렵다는 것은 해당 문제를 해결하는 시간이 오래 걸린다는 뜻이다. 사실 "오래 걸린다"도 추상적이긴 하지만 "어렵다"도 마찬가지이니 의미만 이해하고 넘어가자. Halting Problem 어떤 프로그램과 인풋이 주어졌을 때 해당 프로그램이 정지하는 지(끝나는 지) 판정하시오. Hal..

기타/암호학 2022.12.04

[암호학] 1. 암호란 무엇인가?

암호란 무엇인가요? 위 그림은 암호를 설명하는 가장 기본적인 그림이라고 한다. 과정 Alice가 Bob에게 메시지 M을 보내려고 한다. M을 암호화하여 C로 만들어 Bob에게 전송한다. Bob은 C를 M으로 복원하여 메시지를 확인한다. 그 과정중 Eve라는 어떤 사람이 암호문 C를 가로챌 수 있다. (위/변조는 지금 생각하지 말자.) Eve가 C를 가로채더라도 M으로 복원할 수 없어야 한다. 즉, 우리의 목표는 Bob은 C $\rightarrow$ M을 할 수 있어야하고 Eve는 C $\rightarrow$ M을 할 수 없어야한다. 사람 이름을 A, B, E라고 쓰기보다 Alice, Bob으로 사용하여 재미(?)있게 표현한다고 한다. (한국으로 치면 철수와 영희) 여기서 Eve는 Evasesdropper..

기타/암호학 2022.12.02

[암호학] 0. 암호학

Introduce. 암호학은 현재 수강하고 있는 전공과목이다. 마지막 학기이지만 전공이 3학점이 남아 암호학과 정보보안중 하나를 선택해 들으려고 했는데 정보보안수업이 졸업프로젝트와 겹쳐서 암호학을 선택하게 되었다.. 학기가 거의 끝나가는 지금 굉장한 만족감을 가지고 수강하고 있다. (매 수업마다 감탄하며 듣는다.) 그래서 블로그에 쓸지말지를 오랜기간 고민하다가 너무 좋은 내용이 많아서 리마인드하는 느낌으로 기록해놓으려고 한다. Chapter. 아마 챕터는 다음과 같을 것이다. Chapter 1. Complexity Theory (with Computation Theory) Chapter 2. Number Theory (블로그에 적어둔 포스팅 재사용 예정) Chapter 3. Cryptography Sys..

기타/암호학 2022.12.02