이 논문은 Maurer의 일반 그룹 모델(GGM)에서 암호학적 그룹에 대한 강건 결합기(robust combiner)를 처음으로 연구한다. n개 후보 그룹 중 k개만 안전하면 전체가 안전한 (k,n)-강건 결합기를 구성할 수 있는지 묻고, 결정 디피-헬만(DDH) 가정에 대해서는 다항 유계인 모든 n, k(k<n)에서 안전성을 보존하는 일반적 강건 결합기가 존재하지 않음을 증명한다. 반면 이산로그(DLog) 같은 탐색 문제에 대해서는 결합 그룹의 위수가 n-k+1개 성분의 비밀을 인코딩할 만큼 충분히 크면(log N ≥ (n-k+1)λ) 강건 결합기가 존재하고, 그보다 작으면 존재하지 않음을 보여 정확한 임계값을 규명했다. 이는 결정 문제 수준에서는 강건 결합이 불가능하고, 탐색 문제도 최적에 가까운 표현 비용에서만 가능함을 의미해, 그룹 기반 암호의 강건성은 프로토콜 설계 등 상위 계층에서 확보해야 함을 시사한다.
- •GGM에서 암호학적 그룹 강건 결합기(robust combiner)를 최초로 연구
- •DDH 가정: 모든 (k,n), k<n에서 안전성 보존 강건 결합기 존재 불가능 증명
- •DLog 가정: log N ≥ (n-k+1)λ이면 존재, ≤(n-k)λ이면 불가능한 정확한 임계값 도출
- •그룹 기반 암호의 강건성은 프로토콜·키유도 등 상위 계층에서 달성해야 함을 시사
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
On the Impossibility of Robust Combiners for Cryptographic Groups
- 1.GGM에서 암호학적 그룹용 (k,n)-강건 결합자 개념을 최초로 연구
- 2.DDH 보안을 보존하는 일반적 강건 결합자는 k<n인 모든 경우 존재 불가 증명
- 3.이산로그는 log N ≥ (n-k+1)λ일 때만 강건 결합자 존재, 임계값 확정
- 4.직접곱 방식은 결정적 가정에 취약하고 표현 오버헤드가 크다는 한계 지적
왜 중요한가?
DDH 같은 결정적 가정은 그룹 수준에서 강건하게 결합할 수 없음을 최초로 증명해, 다중 그룹 가정에 의존하는 암호 설계가 프로토콜·키유도 계층에서 강건성을 확보해야 함을 보여준다.
본문 미리보기
A $(k,n)$-robust combiner for a primitive $\mathcal{P}$ combines $n$ candidate instantiations of $\mathcal{P}$ into a single scheme that remains secure as long as at least $k$ of them remain secure. Robust combiners have been extensively studied for primitives such as hash functions, public-key encryption, and oblivious transfer, but much less is known in the setting of cryptographic groups. In this work, we initiate the study of robust combiners for cryptographic groups in Maurer's generic grou
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안
