부인 가능성 앱: 진정한 부인 가능성과 외관만의 차이
진정한 부인 가능성은 숨겨진 데이터의 존재를 증명할 수 없어야 합니다. 대부분의 "부인 가능성" 앱은 이 기준을 충족하지 못합니다.
부인 가능성은 암호화에서 오랫동안 논의되어온 개념입니다. VeraCrypt의 숨겨진 볼륨에서 시작하여 현재 모바일 앱까지 이어졌습니다. 핵심 아이디어는 간단합니다: 숨겨진 데이터가 존재한다는 증거가 없어야 한다는 것입니다.
외관상의 부인 가능성 vs 진정한 부인 가능성
| 특성 | 외관상의 부인 가능성 | 진정한 부인 가능성 |
|---|---|---|
| 작동 방식 | 앱이 다른 것처럼 보임 (계산기 등) | 숨겨진 보관함이 수학적으로 존재를 증명할 수 없음 |
| 발견 가능성 | 앱을 아는 사람에게 발견 가능 | 보관함 수와 내용을 알 수 없음 |
| 기술적 메커니즘 | UI 위장 | 암호화 아키텍처 (보관함 레지스트리 없음) |
| 강제 공개 시 | 보관함이 발견되면 끝 | "미끼" 보관함 내용 공개 가능 |
| 예시 | 계산기 보관함 앱 | Vaultaire, VeraCrypt 숨겨진 볼륨 |
Vaultaire가 현재 구현하는 범위
일상 언어에서 그럴듯한 부인 가능성은 무언가를 확실하게 부인할 수 있음을 의미합니다. 저장소 암호화에서는 유용한 대상이 더 좁습니다. 암호화된 저장소의 검사관은 명시된 위협 모델 내에서 숨겨진 콘텐츠와 사용되지 않은 패딩 공간을 구별할 수 없어야 합니다. 어떤 앱도 이미 열려 있는 저장소, 기록된 입력, 외부 복사본 또는 모든 형태의 장치 손상으로 그 약속을 확장할 수 없습니다.
- 설정된 패턴은 해당 패턴과 연결된 볼트만 엽니다.
- 일반 인터페이스에는 마스터 볼트 목록이 표시되지 않습니다.
- 현재 로컬 형식은 볼트마다 암호화된
vault_index_<fingerprint>.bin파일 하나를 저장합니다. - 앱 컨테이너에 접근한 조사관은 파일을 셀 수 있습니다. 파일 이름은 볼트 이름, 패턴 또는 평문 내용을 공개하지 않습니다.
AES-GCM 인증과 결정적인 인덱스 파일 이름은 후보 볼트 키에 대한 오프라인 검사를 제공합니다. PBKDF2는 각 추측의 비용을 높이지만, 별도의 암호 해시가 없다고 해서 성공 또는 실패를 확인할 수 없는 것은 아닙니다.
기술적 능력을 갖춘 도둑이 도난당한 휴대폰에서 데이터를 추출하려고 시도할 수도 있습니다. 적절하게 패딩된 거부 가능 저장소는 전체 할당, 장치 상태, 백업 및 운영 추적이 여전히 위협 모델에 속하더라도 풀을 차지하는 데이터 세트 수를 숨기는 것을 목표로 합니다. Vaultaire는 현재 콘텐츠를 암호화하지만 구성된 볼트당 하나의 셀 수 있는 로컬 인덱스를 노출합니다.
계산기 보관함의 한계
계산기 보관함은 외관상의 부인 가능성을 제공합니다. 즉:
- 계산기 보관함을 모르는 사람에게는 효과적입니다.
- 계산기 보관함 범주를 아는 사람에게는 즉시 의심받습니다.
- 앱을 강제로 열게 되면 숨겨진 보관함이 발견됩니다.
- 포렌식 분석으로 앱의 진짜 기능이 드러납니다.
자주 묻는 질문
부인 가능성이란 무엇인가요?
숨겨진 볼트는 앱의 일반 인터페이스에 표시되지 않는 볼트입니다. 강력한 암호화 거부성은 숨겨진 데이터를 사용되지 않은 패딩된 저장소와 구별할 수 없다는 별도의 속성입니다. Vaultaire는 현재 첫 번째 속성을 제공합니다. 볼트당 하나의 인덱스 파일 형식은 앱 컨테이너 액세스 권한이 있는 검사관에 대해 두 번째를 제공하지 않습니다.
계산기 보관함이 부인 가능성을 제공하나요?
강력한 저장소 거부성은 조사관이 정적 암호화 저장소의 패딩된 여유 공간과 숨겨진 데이터를 구별하지 못하도록 하는 것을 목표로 합니다. 이 기능을 주장하는 대부분의 앱은 검색 가능한 구성 플래그가 있는 외관 미끼 모드를 제공합니다. 더 강력한 정의를 충족하려면 정확한 위협 모델, 셀 수 있는 볼트 레지스트리 없음, 공개 구성 플래그 없음, 안정적인 패딩, 실제 슬롯을 노출하지 않는 암호화된 레코드가 필요합니다.