해당 링크에서 Download 링크를 클릭해 다운로드 할 수 있다 다운로드 시 이메일 주소가 필요하다 여러 기본적인 포렌식 도구를 받을 수 있는 사이트이다 아래는 몇가지 포렌식 도구 예시이다 Browser Tools BrowsingHistoryView ChromeCacheView ChromeCookieView
메모지 역할 연산 관련 레지스터 EAX (누산기) EDX (데이터 레지스터) EFLAGS (상태 레지스터) CS (코드 세그먼트) DS (데이터 세그먼트) SS (스택 세그먼트) CF : 캐리 발생시 ZF : 0이라면 OF : 오버플로 발생시, MSB가 변경시 PF : 짝수인 경우 세트 SF : 음수인 경우 스택 힙 BSS 세그먼트...
개인용 컴퓨터 (PC) e(ex. ) 서버 컴퓨터 네트워크를 클라이언트 요청을 처리 (ex. 웹서버, 파일서버, DNS서버 등) 메인 프레임 (Main Frame) 단말기를 통해 다수의 사용자가 작업가능한 범용 목적의 대용 컴퓨터 슈퍼 컴퓨터 연구 목적으로 사용되는 초고속 컴퓨터 단일 기계로는 가장 빠름 ...
수사 관점 범행 흔적, 정보 복구, 검색 과정을 거쳐 정보 추출 목적 사고 대응 관점 사고 내용 분석후 조치해 추가 피해 예방 서비스 재개 디스크 포렌식 : 하드디스크, CDROM 등 보조 기억장치에서 증거 수집 시스템 포렌식 : 운영체제, 응용 프로그램 및 프로세스 분석 네트워크 포렌식 : 네트워크 통해 전송되는 데이터 ...
키워드 experiment는 일련의 가능한 결과 중 하나를 산출하는 절차 표본 공간(sample space)는 가능한 결과의 집합 사건(event)는 표본 공간의 하위 집합 정의 : $S$가 유한한 표본 공간이고 $E$가 하나의 사건, 즉 $S$의 부분 집합이라면, $E$의 확률은 $P(E) = \mid E \mid / \mid S \mid$ 이다 ...
비둘기 집 원리 : $K$가 양의 정수이고 $K+1$개의 개체가 $K$개의 상자에 배치되면, 적어도 하나의 상자에는 두개 이상의 개체가 포함된다 일반화된 비둘기집 원리 : $N$개의 물체를 $k$개의 상자에 넣으면 최소한 $\lceil N/k \rceil$개의 물체를 포함하는 상자가 하나 이상 있다 증명 대우에 의한 증명을 사용한다 a) 동일한 모양의 ...
DN09 곱 규칙 : 절차는 두 가지 순서가 있는 task로 나눌 수 있고 첫 일을 수행하는 방법이 $n1$개, 두번째 일을 수행하는 방법이 $n2$라면, 절차를 수행하는 방법은 $n1 \cdot n2$가지 이다 예시 각 번호판에 영문 대문자 3개와 숫자 3개가 순서대로 포함되어 있으면 몇개의 서로 다른 번호판을 만들 수 있나? 풀이 $26 \cdot ...
정의 : 함수의 재귀적 또는 귀납적 정의는 다음 두 단계로 구성된다 Basis Step : 함수 F(0)의 값을 지정한다 Recursive Step(재귀 단계) : 작은 정수의 값에서 정수의 값을 구하는 규칙을 지정한다 Suppose f is defined by: $f(0) = 3$ and $f(n+1) = 2 \cdot f(n) + 3$ Find f(...
강한 귀납법 : 모든 양의 정수 $n$에서 P(n)이 참임을 증명하기 위해 두 과정을 거쳐야 한다 Basis Step : P(1)이 참임을 증명 Inductive Step : 다음 조건문을 보이기 $$ [P(1)∧P(2)∧\cdots∧P(k)] → P(k+1) $$ 강한 귀납법은 수학적 귀납법의 두번째 원리, 또는 완전 귀납법(complete induc...
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)$$ 정의역은 양의 정수의 집합이다 수학적 귀납법의 양의 정수 집합의 비어있지 않은 모든 하위 집합이 최소 요소...
정의 : $m$은 양의 정수, $a, b$는 정수, $x$는 변수일 때 다음과 같은 합동식이 있다 $$ax ≡ b (\mod m)$$ 이 식을 선형 합동(linear congruence)이라 부린다 선형 합동 $ax ≡ b (\mod m)$에 대한 해는 합동을 만족하는 모든 $x$가 된다 정의 : $a\tilde{a} ≡ 1 (\mod m)$ 을 만족하는...
DN07, p.32 정의 : 1보다 크고 1과 자기 자신 외에 positive factors가 없는 정수 $p$를 소수라고 부른다 정리 : 1보다 큰 모든 양의 정수는, 소수이거나, 오름차순 정렬된 두 개 이상의 소수의 곱으로 쓸 수 있다 예시 $100 = 2 \cdot 2 \cdot 5 \cdot 5 = 2^2 \cdot 5^2$ $641 = 64...
다음 정리를 통해 1보다 큰 양의 정수 $b$을 기준으로 정해 사용할 수 있다 정리 1 : $b$를 1보다 큰 양의 정수라고 하자. 그럼 $n$이 양의 정수일 때, 이는 다음 형식으로 고유하게 나타낼 수 있다 $$n = akb^k + a{k1}b^{k1} + a{k2}b^{k2} + a{k3}b^{k3} + ... + a1b + a0$$ $k$는 음수가 ...
정의 : $b = ac$인 정수 $c$가 있다면 $a$ divides $b$라고 한다 ($a$와 $b$가 정수이고 $a \ne 0$인 경우) notation : $\mid$ $a \mid b$ 는 $a$ divides $b$를 뜻한다 $a \mid b$ 는 $b / a$를 뜻한다 $a$ divides $b$가 아니라면 정리 : $a$, $b$, $c...
다음 알고리즘의 시간복잡도를 계산하라 풀이 $\max < ai $ 비교 연산은 $n1$ 번 반복된다 $i$가 증가할 때마다, $i \le n$ 인지 확인하기 위한 테스트 수행 마지막 비교를 통해 $i n$ 가 결정된다 정확히 $2 (n1) + 1 = 2n 1$번의 비교가 이뤄진다 그러므로 이 알고리즘은 $Θ(n)$ 이다 다음 알고리즘의 시간복잡도...
정의 $f$와 $g$를 양의 실수의 무한한 부분집합에 대해 정의된 함수라고 하고, $g$는 $x$의 충분히 큰 모든 실수 값에 대해 음수가 아닌 값이라고 하자 $x x0$일 때마다 $ f(x) C \mid g(x) \mid$ 되는 양의 상수 $C$와 $x0$ 이 있다면 $f$ is $Ω(g)$ 라고 한다 그러므로 $f$ is $Ω(g)$ ↔ $...
컴퓨터 과학과 수학에서 함수가 얼마나 빨리 성장하는지 관심을 갖는 경우가 많다 그 이유로 동일한 문제를 해결하기 위해 둘 이상 알고리즘의 효율성을 비교할 수 있다 입력이 증가함에 따라 특정 알고리즘을 사용하는것이 실용적인지 여부도 결정할 수 있다 정의 : $f$ 와 $g$를 양의 실수의 무한한 부분 집합에 대해 정의된 함수라고 하고, $g$는 $x$의...
정보 확인
다음 포맷에 맞게 섹션을 추가하면 된다 추가 예시
Terminal devices : tty로 시작하는 장치. 텍스트를 입력받고 텍스트를 출력으로 생성하는 사용자 인터페이스로, 대화형 쉘에서 사용된다. Pseudoterminal devices : pty로 시작하는 장치. ssh등을 연결할 때 사용된다 MMC devices and partitions : mmcblk로 시작하는 장치. 여기서 시스템의 MMC 장...