정의
정보 이론적 보안(Information-Theoretic Security)은 암호 시스템의 안전성이 계산 복잡도에 의존하지 않고, 어떠한 계산 능력을 가진 공격자라도 성공적으로 공격할 수 없도록 보장되는 보안 개념이다. 즉, 공격자가 무한한 연산 자원을 가졌다고 가정하더라도 비밀이 노출되지 않는다.
주요 특징
| 특징 | 내용 |
|---|---|
| 무조건적 보안 | 보안이 컴퓨팅 파워나 알고리즘의 효율성에 좌우되지 않는다. |
| 완전 비밀(Perfect Secrecy) | 암호문을 관측해도 평문에 대한 사전 확률과 사후 확률이 동일하여, 평문에 대한 어떠한 정보도 얻을 수 없다. |
| 키·리소스 요구 | 일반적으로 완전 비밀을 달성하려면 키 길이가 평문 길이와 동일하거나 그보다 커야 한다(예: 일회용 패드). |
| 구현 방식 | 물리적 잡음, 양자 현상, 비밀 공유 등 다양한 메커니즘을 통해 실현될 수 있다. |
대표적인 예시
-
일회용 패드(One‑Time Pad)
- 키와 평문이 동일한 길이를 가지며, 키는 완전히 무작위이고 한 번만 사용한다.
- 샤논(Claude Shannon)의 완전 비밀 정의에 부합한다.
-
비밀 공유(Secret Sharing) 스킴
- 예: Shamir의 다항식 기반 비밀 공유.
- 특정 수의 참여자만 모이면 비밀을 복원할 수 있고, 그 이하의 참여자에게는 정보가 완전히 차단된다.
-
양자 키 분배(QKD)
- 양자역학적 원리를 이용해 키를 교환하며, 도청 시도 자체가 탐지 가능하다.
- 이론적으로는 무조건적 보안을 제공한다(실제 구현에서는 장비의 결함에 따라 제한될 수 있다).
관련 개념 및 차이점
- 계산적 보안(Computational Security): 공격자의 계산 능력에 제한이 있음을 전제로 보안을 정의한다(예: RSA, AES).
- 조건부 무조건적 보안(Conditional Unconditional Security): 물리적 가정(예: 잡음 채널)이나 특정 모델(예: 신뢰할 수 없는 중계자) 하에서 무조건적 보안을 논한다.
역사적 배경
- 클로드 샤논(1949): “통신 이론에 대한 수학적 이론”에서 완전 비밀을 정의하고, 일회용 패드가 그 조건을 만족함을 증명하였다.
- 마우리어(Maurer, 1993): 잡음이 있는 채널을 활용한 키 합의 프로토콜을 제시하며, 정보 이론적 보안의 적용 범위를 확대하였다.
한계 및 실제 적용
- 키 관리의 비용이 높으며, 대규모 데이터 전송에 직접 적용하기 어려운 점이 있다.
- 물리적 가정(예: 채널 잡음, 양자 상태)의 신뢰성이 확보되어야 한다.
- 따라서 현재 상용 암호 시스템에서는 주로 계산적 보안이 사용되지만, 특정 분야(예: 군사 통신, 양자 암호)에서는 정보 이론적 보안이 중요한 역할을 한다.
참고 문헌
- C. E. Shannon, “Communication Theory of Secrecy Systems,” Bell System Technical Journal, 1949.
- U. M. Maurer, “Secret key agreement by public discussion from common information,” IEEE Transactions on Information Theory, 1993.
- N. Gisin, G. Ribordy, W. Tittel, H. Zbinden, “Quantum cryptography,” Reviews of Modern Physics, 2002.
