다중 사용자 인증을 위한 다대일 매핑 암호 프로토콜

초록

본 논문은 N = P·Q 로 구성된 모듈러 환경에서 C = M^X mod N 형태의 다대일 매핑을 이용해 다중 사용자가 동일한 암호문 C에 대해 서로 다른 평문 M을 가질 수 있게 하는 인증·암호화 프로토콜을 제안한다. 변환의 근(root)들 사이에 존재하는 차이와 곱셈 관계를 이용해 사용자 간 인증과 데이터베이스 접근을 두 단계로 강화한다는 것이 핵심 아이디어이다.

상세 분석

이 논문이 제시하는 핵심 아이디어는 기존 공개키 암호가 일대일 매핑을 전제로 하는 것과 달리, “다대일”(many‑to‑one) 매핑을 활용해 하나의 암호문 C가 X개의 서로 다른 평문 M_i( i=1…X )에 대응하도록 설계한다는 점이다. 구체적으로 N = P·Q (두 소수)이고 φ(N)/X가 정수인 경우에만 적용 가능하도록 제한한다. 이때 C = M^X mod N 로 정의되며, C는 X개의 X제곱근을 갖는다. 논문은 세 가지 수학적 성질을 제시한다.

1. 차이 성질: 서로 다른 두 근 M_a, M_b 의 차이는 N의 소인수 P 혹은 Q의 배수이다. 이는 근들 사이에 일정한 모듈러 관계가 존재함을 의미한다.
2. 곱셈 변환 성질: 한 근에 일정 상수 F 를 곱하면 다른 근이 된다. 즉, M_b ≡ F·M_a (mod N) 로 표현될 수 있다. 이는 근들을 빠르게 전이시키는 연산을 가능하게 한다.
3. 전체 곱셈 역성질: 모든 근을 곱한 뒤 N으로 모듈러 연산을 하면 원래 암호문 C가 복원된다 (∏_{i=1}^{X} M_i ≡ C (mod N)).

이러한 성질을 이용해 프로토콜은 다음과 같은 절차를 만든다. 사용자는 자신의 평문 M_i 를 X제곱하여 C 를 생성하고, 태그 T_i = (M_i^X – C) / P (mod P) 를 함께 전송한다. 수신자는 C와 T_i 로부터 M_i 를 복원하고, 근이 동일한 암호문에 속하는지를 검증한다.

보안 측면에서는 다대일 매핑이 “브루트 포스” 공격을 복잡하게 만든다고 주장한다. 실제로 C 하나에 대해 X개의 가능한 평문이 존재하므로, 공격자는 올바른 평문을 찾기 위해 X배의 탐색 비용이 필요하다. 그러나 이론적으로는 X가 충분히 크지 않다면 여전히 사전 계산 공격이나 사이드 채널 공격에 취약할 수 있다. 특히 φ(N)/X 가 정수라는 제약은 N을 선택할 때 φ(N) 를 크게 만들면서도 X 를 크게 하는 것이 어려워, 실용적인 키 크기(예: 2048비트)와 X 사이의 트레이드오프가 명확히 제시되지 않는다.

또한, 프로토콜은 다중 사용자 인증을 위해 두 단계의 검증을 요구한다. 첫 단계는 태그 T_i 를 통해 사용자가 동일한 C에 속하는지를 확인하고, 두 번째 단계는 데이터베이스 접근 시 최소 두 명 이상의 사용자가 협력해야 암호문을 복호화할 수 있게 설계되었다. 이는 “비밀 하드웨어 공개키” 개념과 결합되어, 키가 하드웨어에 내장된 경우 외부에 노출되지 않도록 한다는 장점을 가진다. 하지만 실제 구현 시 하드웨어 보안 모듈(HSM) 의 신뢰성, 키 교환 비용, 사용자 간 동기화 문제 등이 상세히 다루어지지 않아 실용성에 의문이 남는다.

수학적 근거는 기본적인 모듈러 연산과 오일러 토션트 함수에 기반하지만, 논문은 “근들의 차이가 P 혹은 Q의 배수”라는 주장에 대한 엄밀한 증명을 제공하지 않는다. 또한, “근들의 곱이 C가 된다”는 성질은 X가 소수일 때는 성립하지만, 일반적인 X에 대해서는 추가 조건이 필요할 수 있다. 따라서 프로토콜의 안전성을 보장하려면 보다 정밀한 수론적 분석과 보안 증명이 필수적이다.

실제 적용 가능성을 평가하면, 현재의 표준 공개키 인프라(PKI)와 비교했을 때 키 관리·갱신·폐기 절차가 복잡하고, 사용자 간 협력 인증이 필수이므로 비즈니스 프로세스에 큰 변화를 요구한다. 또한, 데이터베이스 암호화가 단일 C 로 표현된다고 해도, 내부 데이터가 다수의 평문으로 매핑될 경우 키 회수 시 전체 데이터 복구가 어려워지는 위험이 존재한다.

결론적으로, 다대일 매핑을 이용한 다중 사용자 인증 아이디어는 흥미롭지만, 수학적 근거의 엄밀성, 키 파라미터 선택 가이드라인, 구현 비용 등에 대한 구체적 논의가 부족하다. 향후 연구에서는 X와 N 사이의 최적 관계, 공격 모델에 대한 정량적 분석, 그리고 실제 시스템에 적용 가능한 프로토콜 스택 설계가 필요하다.