4.1. Multiple Choice

해설을 보지 말고 주어진 정보 → 구할 것 → 사용할 공식·판정 관계를 한 줄씩 복원하세요.

CVE는 일반 취약점 유형과 개발 오류를 분류한다.

정답 문장만 말하지 말고 근거·중간값·메시지 흐름 중 이 문항에 필요한 것을 빈 종이에 남기세요.

작성한 뒤에만 아래 기준을 열고, 실제로 쓴 항목만 체크하세요.

• Log4Shell은 CVE인가 CWE인가?
• 원문의 판정을 반대로 만들 수 있는 최소 조건 변경 하나를 제시하고, 바뀐 문장이 정의의 어느 조건을 만족하는지 설명하세요.

조건 변형: 원문의 강한 표현(예: muss, immer, vollständig)을 조건부 표현으로 하나 고쳐 쓰고, 그 변경 뒤에는 판정이 왜 달라지거나 유지되는지 반례와 함께 설명하세요.

고칠 답안: CVE와 CWE의 역할을 서로 바꾸지 않는다.

복구 힌트: CVE는 특정 제품·버전의 공개된 개별 취약점에 식별자를 준다. 일반 약점 유형 분류는 CWE다.

오답의 첫 잘못된 전제를 한 줄로 지우고, 올바른 조건과 결론을 두 줄로 다시 쓰세요.

채점 전 예상과 실제 채점 결과가 달랐는지 확인한 뒤 상태를 남기세요. ‘숙달’은 근거와 중간 과정까지 무힌트로 재현했을 때만 선택합니다.

해설을 보지 말고 주어진 정보 → 구할 것 → 사용할 공식·판정 관계를 한 줄씩 복원하세요.

CWE는 특정 제품의 개별 취약점을 설명한다.

정답 문장만 말하지 말고 근거·중간값·메시지 흐름 중 이 문항에 필요한 것을 빈 종이에 남기세요.

작성한 뒤에만 아래 기준을 열고, 실제로 쓴 항목만 체크하세요.

• 한 CVE가 여러 CWE 유형과 연결될 수 있는 이유는?
• 원문의 판정을 반대로 만들 수 있는 최소 조건 변경 하나를 제시하고, 바뀐 문장이 정의의 어느 조건을 만족하는지 설명하세요.

조건 변형: 원문의 강한 표현(예: muss, immer, vollständig)을 조건부 표현으로 하나 고쳐 쓰고, 그 변경 뒤에는 판정이 왜 달라지거나 유지되는지 반례와 함께 설명하세요.

고칠 답안: CWE 번호를 제품 사건 번호로 보지 않는다.

복구 힌트: CWE는 buffer overflow, SQL injection 같은 약점 유형의 분류다. 특정 취약점 식별은 CVE다.

오답의 첫 잘못된 전제를 한 줄로 지우고, 올바른 조건과 결론을 두 줄로 다시 쓰세요.

채점 전 예상과 실제 채점 결과가 달랐는지 확인한 뒤 상태를 남기세요. ‘숙달’은 근거와 중간 과정까지 무힌트로 재현했을 때만 선택합니다.

해설을 보지 말고 주어진 정보 → 구할 것 → 사용할 공식·판정 관계를 한 줄씩 복원하세요.

off-by-one은 loop/index 경계가 정확히 1 어긋난 오류다.

정답 문장만 말하지 말고 근거·중간값·메시지 흐름 중 이 문항에 필요한 것을 빈 종이에 남기세요.

작성한 뒤에만 아래 기준을 열고, 실제로 쓴 항목만 체크하세요.

• 길이 n 배열의 마지막 유효 index는?
• 원문의 판정을 반대로 만들 수 있는 최소 조건 변경 하나를 제시하고, 바뀐 문장이 정의의 어느 조건을 만족하는지 설명하세요.

조건 변형: 원문의 강한 표현(예: muss, immer, vollständig)을 조건부 표현으로 하나 고쳐 쓰고, 그 변경 뒤에는 판정이 왜 달라지거나 유지되는지 반례와 함께 설명하세요.

고칠 답안: 작은 숫자 차이라 영향도 작다고 생각하지 않는다.

복구 힌트: `<=`와 `<`를 혼동해 한 번 더 또는 덜 반복하거나 배열 경계를 한 칸 넘는 전형적인 오류다.

오답의 첫 잘못된 전제를 한 줄로 지우고, 올바른 조건과 결론을 두 줄로 다시 쓰세요.

채점 전 예상과 실제 채점 결과가 달랐는지 확인한 뒤 상태를 남기세요. ‘숙달’은 근거와 중간 과정까지 무힌트로 재현했을 때만 선택합니다.

해설을 보지 말고 주어진 정보 → 구할 것 → 사용할 공식·판정 관계를 한 줄씩 복원하세요.

programmer가 stack canary를 수동으로 끼워 넣는다.

정답 문장만 말하지 말고 근거·중간값·메시지 흐름 중 이 문항에 필요한 것을 빈 종이에 남기세요.

작성한 뒤에만 아래 기준을 열고, 실제로 쓴 항목만 체크하세요.

• canary leak이 있으면 방어가 약해지는 이유는?
• 원문의 판정을 반대로 만들 수 있는 최소 조건 변경 하나를 제시하고, 바뀐 문장이 정의의 어느 조건을 만족하는지 설명하세요.

조건 변형: 원문의 강한 표현(예: muss, immer, vollständig)을 조건부 표현으로 하나 고쳐 쓰고, 그 변경 뒤에는 판정이 왜 달라지거나 유지되는지 반례와 함께 설명하세요.

고칠 답안: canary가 모든 memory corruption을 막는다고 쓰지 않는다.

복구 힌트: 보통 compiler 옵션과 runtime이 stack frame에 canary를 자동 삽입하고 return 전에 변조를 검사한다.

오답의 첫 잘못된 전제를 한 줄로 지우고, 올바른 조건과 결론을 두 줄로 다시 쓰세요.

채점 전 예상과 실제 채점 결과가 달랐는지 확인한 뒤 상태를 남기세요. ‘숙달’은 근거와 중간 과정까지 무힌트로 재현했을 때만 선택합니다.

해설을 보지 말고 주어진 정보 → 구할 것 → 사용할 공식·판정 관계를 한 줄씩 복원하세요.

JS packing과 binary stripping은 reverse engineering을 어렵게 하는 obfuscation 방법이다.

정답 문장만 말하지 말고 근거·중간값·메시지 흐름 중 이 문항에 필요한 것을 빈 종이에 남기세요.

작성한 뒤에만 아래 기준을 열고, 실제로 쓴 항목만 체크하세요.

• stripped binary도 disassembly가 가능한 이유는?
• 원문의 판정을 반대로 만들 수 있는 최소 조건 변경 하나를 제시하고, 바뀐 문장이 정의의 어느 조건을 만족하는지 설명하세요.

조건 변형: 원문의 강한 표현(예: muss, immer, vollständig)을 조건부 표현으로 하나 고쳐 쓰고, 그 변경 뒤에는 판정이 왜 달라지거나 유지되는지 반례와 함께 설명하세요.

고칠 답안: obfuscation을 cryptographic confidentiality와 동일시하지 않는다.

복구 힌트: packing은 코드를 압축·변형하고 stripping은 symbol/debug 정보를 제거해 분석과 원래 구조 복원을 어렵게 한다.

오답의 첫 잘못된 전제를 한 줄로 지우고, 올바른 조건과 결론을 두 줄로 다시 쓰세요.

채점 전 예상과 실제 채점 결과가 달랐는지 확인한 뒤 상태를 남기세요. ‘숙달’은 근거와 중간 과정까지 무힌트로 재현했을 때만 선택합니다.

해설을 보지 말고 주어진 정보 → 구할 것 → 사용할 공식·판정 관계를 한 줄씩 복원하세요.

NX bit는 주입된 code 실행을 막을 수 있다.

정답 문장만 말하지 말고 근거·중간값·메시지 흐름 중 이 문항에 필요한 것을 빈 종이에 남기세요.

작성한 뒤에만 아래 기준을 열고, 실제로 쓴 항목만 체크하세요.

• NX와 ASLR의 보호 방식 차이는?
• 원문의 판정을 반대로 만들 수 있는 최소 조건 변경 하나를 제시하고, 바뀐 문장이 정의의 어느 조건을 만족하는지 설명하세요.

조건 변형: 원문의 강한 표현(예: muss, immer, vollständig)을 조건부 표현으로 하나 고쳐 쓰고, 그 변경 뒤에는 판정이 왜 달라지거나 유지되는지 반례와 함께 설명하세요.

고칠 답안: ROP처럼 기존 executable code 재사용 공격까지 모두 막는다고 하지 않는다.

복구 힌트: data page를 non-executable로 표시해 stack/heap에 넣은 shellcode의 직접 실행을 차단한다.

오답의 첫 잘못된 전제를 한 줄로 지우고, 올바른 조건과 결론을 두 줄로 다시 쓰세요.

채점 전 예상과 실제 채점 결과가 달랐는지 확인한 뒤 상태를 남기세요. ‘숙달’은 근거와 중간 과정까지 무힌트로 재현했을 때만 선택합니다.

해설을 보지 말고 주어진 정보 → 구할 것 → 사용할 공식·판정 관계를 한 줄씩 복원하세요.

ATM·차량·IoT 같은 특수 시스템 forensics는 고전 IT forensics 영역에 속하지 않는다.

정답 문장만 말하지 말고 근거·중간값·메시지 흐름 중 이 문항에 필요한 것을 빈 종이에 남기세요.

작성한 뒤에만 아래 기준을 열고, 실제로 쓴 항목만 체크하세요.

• 특수 시스템 forensics가 classical IT-Forensik 아래에 포함된다는 강의상의 근거는 무엇인가?
• 원문의 판정을 반대로 만들 수 있는 최소 조건 변경 하나를 제시하고, 바뀐 문장이 정의의 어느 조건을 만족하는지 설명하세요.

조건 변형: 원문의 강한 표현(예: muss, immer, vollständig)을 조건부 표현으로 하나 고쳐 쓰고, 그 변경 뒤에는 판정이 왜 달라지거나 유지되는지 반례와 함께 설명하세요.

고칠 답안: 현실에서 별도 전문 분야로 부르는 관행만 보고 시험 강의의 포함 관계를 뒤집는 것.

복구 힌트: 강의 슬라이드의 글머리표 들여쓰기를 보라. ‘Forensik für besondere IT-Systeme’의 상위 bullet은 무엇인가?

오답의 첫 잘못된 전제를 한 줄로 지우고, 올바른 조건과 결론을 두 줄로 다시 쓰세요.

채점 전 예상과 실제 채점 결과가 달랐는지 확인한 뒤 상태를 남기세요. ‘숙달’은 근거와 중간 과정까지 무힌트로 재현했을 때만 선택합니다.

해설을 보지 말고 주어진 정보 → 구할 것 → 사용할 공식·판정 관계를 한 줄씩 복원하세요.

fuzzing oracle은 program 동작에 대한 feedback을 준다.

정답 문장만 말하지 말고 근거·중간값·메시지 흐름 중 이 문항에 필요한 것을 빈 종이에 남기세요.

작성한 뒤에만 아래 기준을 열고, 실제로 쓴 항목만 체크하세요.

• coverage feedback과 bug oracle의 차이는?
• 원문의 판정을 반대로 만들 수 있는 최소 조건 변경 하나를 제시하고, 바뀐 문장이 정의의 어느 조건을 만족하는지 설명하세요.

조건 변형: 원문의 강한 표현(예: muss, immer, vollständig)을 조건부 표현으로 하나 고쳐 쓰고, 그 변경 뒤에는 판정이 왜 달라지거나 유지되는지 반례와 함께 설명하세요.

고칠 답안: oracle을 미래를 예측하는 AI로 이해하지 않는다.

복구 힌트: crash, sanitizer report, invariant violation, output mismatch 등으로 입력이 실패를 유발했는지 판정한다.

오답의 첫 잘못된 전제를 한 줄로 지우고, 올바른 조건과 결론을 두 줄로 다시 쓰세요.

채점 전 예상과 실제 채점 결과가 달랐는지 확인한 뒤 상태를 남기세요. ‘숙달’은 근거와 중간 과정까지 무힌트로 재현했을 때만 선택합니다.