준비 서버 docker 링크 참조 make apt install make 을 통해 설치할 수 있다 설치 방법은 Ubuntu 22.04 기준으로 작성되었다 클라이언트 각 플랫폼에 맞는 OPENVPN 클라이언트 OPENVPN 서버 열기 Makefile in...
개발 환경 설치 Node.js VSCode 프로젝트 생성 Workspace로 사용할 폴더 생성 해당 프로젝트 폴더에서 터미널 열기 npx create-react-app <프로젝트명> 입력 정상적으로 완료 시 해당 Workspace 폴더 내 프로젝트명 이름의 폴더가 추가된다. 문제 : 허가되지 않은 스크립트 관...
기댓값 (Expected Value) 정의 : 표본 공간 S에 대한 random variable X(s)의 기댓값(expected value, expectation or mean)은 다음과 같다 [E(X) = \sum_{s \in S}P(s)X(s)] 예시 X를 공정한 주사위를 굴렸을 때 나오는 값이라고 하자. X의 예상값은 얼마인가? ...
베이즈 정리 (Bayes’ Theorem) 정의 : 베이즈 정리는 두 확률 변수의 사전 확률과 사후 확률 사이의 관계를 나타내는 정리’ 정의 : E, F가 샘플 공간 $S$의 사건라고 가정하자. $P(E) \ne 0, P(F) \ne 0$라고 가정했을 때, 다음과 같다 [P(F \mid E) = \frac{P(E \mid F)P(F...
시나리오 가정 회사 기밀 유출자 A씨는 “기밀” 키워드가 포함된 기밀 파일을 이메일을 통해 유출했다 기밀 유출 이전 인터넷을 통해 “기밀유출”, “기밀유출 형량” 등의 검색을 하였다 유출 자료는 휴지통으로 지운 상태 FTK Imager로 증거 수집 C드라이브 볼륨의 [root] 확인 다음 파일들을 복사 RecycleBi...
FTK Imager Link 해당 링크에서 Download 링크를 클릭해 다운로드 할 수 있다 다운로드 시 이메일 주소가 필요하다 Nirsoft nirsoft 여러 기본적인 포렌식 도구를 받을 수 있는 사이트이다 아래는 몇가지 포렌식 도구 예시이다 Browser Tools BrowsingHistoryView ...
시스템 구조 연산 장치 제어 장치 레지스터 메모지 역할 연산 관련 레지스터 EAX (누산기) EDX (데이터 레지스터) EFLAGS (상태 레지스터) 세그먼트 레지스터 CS (코드 세그먼트) DS (데이터 세그먼트) SS (스택 세그먼트) 상태 플래그 CF : 캐리 발생시 ZF :...
시스템 종류 범용 시스템 개인용 컴퓨터 (PC) e(ex. ) 서버 컴퓨터 네트워크를 클라이언트 요청을 처리 (ex. 웹서버, 파일서버, DNS서버 등) 메인 프레임 (Main Frame) 단말기를 통해 다수의 사용자가 작업가능한 범용 목적의 대용 ...
분석 목적에 따른 분류 수사 관점 범행 흔적, 정보 복구, 검색 과정을 거쳐 정보 추출 목적 사고 대응 관점 사고 내용 분석후 조치해 추가 피해 예방 서비스 재개 분석 대상에 따른 분류 디스크 포렌식 : 하드디스크, CD-ROM 등 보조 기억장치에서 증...
Laplace의 정의 키워드 experiment는 일련의 가능한 결과 중 하나를 산출하는 절차 표본 공간(sample space)는 가능한 결과의 집합 사건(event)는 표본 공간의 하위 집합 정의 : $S$가 유한한 표본 공간이고 $E$가 하나의 사건, 즉 $S$의 부분 집합이라면, $E$의 확률은 $P(E) = \mid E...
비둘기집 원리 비둘기 집 원리 : $K$가 양의 정수이고 $K+1$개의 개체가 $K$개의 상자에 배치되면, 적어도 하나의 상자에는 두개 이상의 개체가 포함된다 일반화된 비둘기집 원리 일반화된 비둘기집 원리 : $N$개의 물체를 $k$개의 상자에 넣으면 최소한 $\lceil N/k \rceil$개의 물체를 포함하는 상자가 하나 이상 있...
DN_09 Basic Counting Principle : 곱 규칙 곱 규칙 : 절차는 두 가지 순서가 있는 task로 나눌 수 있고 첫 일을 수행하는 방법이 $n_1$개, 두번째 일을 수행하는 방법이 $n_2$라면, 절차를 수행하는 방법은 $n_1 \cdot n_2$가지 이다 예시 각 번호판에 영문 대문자 3개와 숫자 3개가 순서...
재귀적 정의된 함수 정의 : 함수의 재귀적 또는 귀납적 정의는 다음 두 단계로 구성된다 Basis Step : 함수 F(0)의 값을 지정한다 Recursive Step(재귀 단계) : 작은 정수의 값에서 정수의 값을 구하는 규칙을 지정한다 문제 1 Suppose f is defined by: $f(0) = 3$ and $f(n+1...
강한 귀납법 (String Inductio) 강한 귀납법 : 모든 양의 정수 $n$에서 P(n)이 참임을 증명하기 위해 두 과정을 거쳐야 한다 Basis Step : P(1)이 참임을 증명 Inductive Step : 다음 조건문을 보이기 [[P(1)∧P(2)∧\cdots∧P(k)] → P(k+1)] 강한 귀납법은 수학적 귀...
수학적 귀납법 Basic Step : Show P(1) is true Inductive Step : 모든 양의 정수 k에 대해 P(k) → P(k+1)이 참임을 보인다 술어논리로 정리하면 다음과 같다 [[P(1)∧∀k(P(k)→P(k+1))] → ∀nP(n)] 정의역은 양의 정수의 집합이다 수학적 귀납법의 양의 정수 집합의 비어있지...
선형 합동 (Linear Congruences) 정의 : $m$은 양의 정수, $a, b$는 정수, $x$는 변수일 때 다음과 같은 합동식이 있다 [ax ≡ b (\mod m)] 이 식을 선형 합동(linear congruence)이라 부린다 선형 합동 $ax ≡ b (\mod m)$에 대한 해는 합동을 만족하는 모든 $x$가 된다 ...
DN_07, p.32 소수 (Prime) 정의 : 1보다 크고 1과 자기 자신 외에 positive factors가 없는 정수 $p$를 소수라고 부른다 정리 : 1보다 큰 모든 양의 정수는, 소수이거나, 오름차순 정렬된 두 개 이상의 소수의 곱으로 쓸 수 있다 예시 $100 = 2 \cdot 2 \cdot 5 \cdot 5...
Base B Representations 다음 정리를 통해 1보다 큰 양의 정수 $b$을 기준으로 정해 사용할 수 있다 정리 1 : $b$를 1보다 큰 양의 정수라고 하자. 그럼 $n$이 양의 정수일 때, 이는 다음 형식으로 고유하게 나타낼 수 있다 [n = a_kb^k + a_{k-1}b^{k-1} + a_{k-2}b^{k-2} + a_...
Division (나누기) 정의 : $b = ac$인 정수 $c$가 있다면 $a$ divides $b$라고 한다 ($a$와 $b$가 정수이고 $a \ne 0$인 경우) notation : $\mid$ $a \mid b$ 는 $a$ divides $b$를 뜻한다 $a \mid b$ 는 $b / a$를 뜻한다 ...
시간 복잡도 (Time Complexity) 예시 1 : 최대값 구하기 다음 알고리즘의 시간복잡도를 계산하라 풀이 $\max < a_i $ 비교 연산은 $n-1$ 번 반복된다 $i$가 증가할 때마다, $i \le n$ 인지 확인하기 위한 테스트 수행 마지막 비교를 통해 $i > n$ 가 결정된다 정확히 $2 (n-...
