New World

1. 기본사항 집합 표기법 - 원소 : 𝒂 ∈ 𝑺, 𝒃 ∉ 𝑺 - 집합 : 𝑺 = {1, 2, 3} / 𝑺 = { 𝒙｜𝟎 < 𝒙 < 𝟒 인 자연수} - 집합의 크기 : |𝑺| = 3 부분집합 : A의 모든 원소가 B의 원소라면 A는 B의 부분집합 (𝑨 ⊆ 𝑩 ⇔ ∀x 또는 𝐀 ⊂ 𝑩 ) 진부분집합 : 𝑨 ⊆ 𝑩, 𝑩 ⊆ 𝑨 ⇔ 𝑨 ⊆ 𝑩, 𝑨 ≠ 𝑩 상동 : 𝑨 = 𝑩 ⇔ 𝑨 ⊆ 𝑩 𝒂𝒏𝒅 𝑩 ⊆ 𝑨 서로소 : 서로 겹치는 원소가 없는 사이 분할 : 집합을 공집합이 아닌 부분집합들로 나눌 때 그 집합의 모든 원소들이 각각 나눠진 부분집합들 중 하나에만 포함될 경우 전체 집합을 그 집합의 분할이라고 함 멱집합 : 집합의 모든 부분집합들의 집합 ( P(A) 로 표기) 2. 집합연산 -합집합 : 전체 집합 |..

1. 기본사항 공리 : 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정, 별도의 증명 X 참으로 이용 증명 : 특정한 공리들을 가정, 제안된 명제가 참임을 입증 정리 : 공리로부터 증명된 명제 - 보조정리 : 정리를 증명하는 과정 중에 사용되는 증명된 명제 - 따름정리 : 정리로부터 쉽게 도출되는 부가적인 명제 2. 직접증명법 (연역법) 명제 변형 X 증명, 공리와 정의, 정리를 논리적으로 직접 연결하여 증명 ex) 파스칼 삼각형 3. 수학적 귀납법 자연수 n에 대한 명제의 성질을 증명 기본단계 => 귀납가정 => 귀납단계 기본단계 : n의 출발점에서 명제가 성립하는가 확인 귀납가정 : n = k 일 때, 명제가 성립한다고 가정 귀납단계 : n = k + 1 일 때도 명제가 성립함을 증명 4...

1. 명제 명제 : 참과 거짓을 구별할 수 있는 문장이나 수학적 식 명제 종류 : 합성명제, 조건명제, 쌍조건명제, 항진명제, 모순명제 2. 논리연산 2.1 논리연산 합성명제 : 하나 이상의 명제와 논리연산자 그리고 괄호로 이루어진 명제 논리합 : P v Q 논리곱 : P ㅅ Q 부정 : ~P 배타적 논리합 : XOR 사용, (P ㅅ~Q) v (~PㅅQ) 2.2 조건명제 - 조건의 역할을 수행하고 Q가 결론의 역할을 수행하는 경우 - 쌍조건명제 2.3 동치 - 두 명제 p와 q가 논리적으로 동등하면 논리적 동치 - 교환법칙, 결합법칙, 분배법칙, 항등법칙, 지배법칙, 부정법칙, 이중부적법칙, 멱등 법칙, 드모르간 법칙 흡수법칙, 함수법칙, 대우법칙 3. 술어논리 논리 : 명제 논리, 술어 논리

1. 해시함수 해시 함수의 개념 : 임의의 길이의 입력 데이터를 고정된 길이의 해시코드로 대응 약한 일방향성, 강한 일방향성, 충동 저항성 2. 전자서명 전자서명 : 메시지를 보낸 사람의 신원이 진짜임을 증명, 변조 X 개인키 이용, 해시함수 이용 1. 키 관리 공개키에서는 개인키는 감추고 공개키는 공개 2. 공개키 기반 구조의 개요 PKI : 공개키 암호에 기반을 둔 중요한 기반 기술의 집합체 인증서 발행, 갱신, 폐지 3. 공개키 기반 구조의 동작원리 4. 제공되는 서비스 기밀성 : 허락 X, 손님이나 객체가 내용을 알 수 없도록 무결성 : 전송 중에 변경되지 않았음을 보장 5. 공개키 기반 구조 모델 인증기관, 등록기관, 디렉터리, 사용자

1. 공개키 암호의 개념 암호화와 복호화에 두 개의 서로 다른 키를 사용 공개키 : 누구나 공개키를 이용할 수 있도록 공개 개인키 : 오직 자신만 이용하도록 아무에게도 공개X 2. 기반 문제 소인수분해 : RSA 알고리즘 이산대수 : ElGamal 알고리즘, DSA, KCDSA, Diffie-Hellman 키 교환 프로토콜 등 타원곡선 이산대수 : 타원곡선 상의 점과 타원곡선에서 정의되는 덧셈 연산을 이용, EC-DSA, EC-KCDSA 3. 공개키 암호 알고리즘들 RSA 알고리즘 : 소인수분해 문제 기반 ElGamal 알고리즘 : 유한체상에서의 이산대수 문제 기반 ECC : 타원곡선 군에서의 이산대수 문제 기반

1. 대칭키 암호의 개념 대칭키 암호 : 암호화와 복호화에 하나의 같은 비밀키를 사용 2. 블록 암호 평문을 고정된 크기의 블록으로 나눠 각 블록마다 암호화 과정을 수행하여 암호문을 얻는 방식 단순한 함수를 반복적으로 적용함으로 암호학적으로 강한 함수 라운드 함수 : 반복되는 함수 라운드 키 : 라운드 함수에 작용하는 키 키 스케줄 : 키를 입력하여 라운드 키를 발생 파이스텔 구조 -하나의 입력 블록을 분할하여 좌우 두개의 블록으로 구분하여 짝수 번의 라운드를 진행 - 라운드 함수와 관계없이 역변환 SPN 구조 - 하나의 입력 블록을 여러 개의 소블록으로 나눈 후 라운드를 진행 - 라운드 함수가 역변환 가능해야함 블록암호의 사용모드 전자코드북(ECB) : 독립적으로 암호화, 하나의 암호문에 오류가 발생해..

1. 디지털 포렌식 개요 포렌식 : 범죄 사실을 규명하기 위해 범죄 현장에 남겨진 각종 증거를 과학적으로 분석 수행과정 : 디지털 데이터 수집 => 데이터 분석 및 증거 확보 => 조사결과에 대한 보고서 작성 2. 디지털 증거 유형 내용물 : 사건을 직접적으로 증명, 컴퓨터 저장 증거 특성정보 : 디지털 증거를 식별하거나 분류하는데 도움이 되는 모든 부가적인 메타데이터 정보, 컴퓨터 생성 증거 특성 비가시성 : 디지털 형태이므로 육안으로 식별 불가능 변조 가능성 : 오류에 따른 손상이나 의도적인 변조가 쉬움 복제 용이성 : 원본과 동일한 내용으로 쉽게 복제 대규모성 : 특별한 수집 및 분석도구나 전문인력 X, 증거를 찾기 쉽지 않음 휘발성 : 메모리나 네트워크 상에서만 일시적으로 존재 초국경성 : 디지털..

곧 2년차가 되어가는 파견 QA이다. 졸업하고 나서 조기 취업으로 QA로 일을 시작하게 되었다. 파견 QA라고는 하지만 의외로 좋은 곳들에서 일을 했다. 이름만 들으면 알만한 곳들에서 QA 경험을 쌓았다. 하지만 이젠 슬슬 놓아주려고 한다.. 해당 글은 파견 2년차 QA가 자신의 생각만을 글로 적은 것으로 자사서비스 QA나 경력이 많은 사람들이 보기엔 부적합하다고 판단한다. 자신의 한탄글일 뿐이니 별 생각 없이 소설 한편 읽는다고 생각하며 읽어주시길. 1. QA로 얻은 것들 QA란, 개발이 완료된 시스템이 사용자에게 가기 바로 직전 단계에서 그 시스템이 원하는 동작을 하는지, 망가지지는 않는지 확인하는 작업이다. 아무리 개발을 잘한다고 한들 실제 사용자들은 이리 뛰고, 저리 뛴다. 시스템에 무슨 짓을 가..