[논문 리뷰] Information Theoretic Authentication and Secrecy Codes in the Splitting Model

Michael Huber|arXiv (Cornell University)|2011. 11. 30.

DNA and Biological Computing참고 문헌 11인용 수 3

한 줄 요약

이 논문은 정보이론적 환경에서 키의 수가 메시지의 수와 다를 수 있는 일반적인 경우에도 최적의 분할 인증 코드를 완전한 기밀성과 함께 구성하는 새로운 방법을 제시한다. 순환 분할 설계를 사용하여 키의 수와 메시지의 수가 다를 때에도 위조 방지성과 기밀성 모두를 확보한다. 이는 오랫동안 존재해 온 문헌의 빈도를 메꾸는 것이다. 주요 기여는 대칭 케이스(키 = 메시지)를 초월해 일반적인 경우에 대해 최초로 일반적인 구성 방법을 제공하는 것이다.

ABSTRACT

In the splitting model, information theoretic authentication codes allow non-deterministic encoding, that is, several messages can be used to communicate a particular plaintext. Certain applications require that the aspect of secrecy should hold simultaneously. Ogata-Kurosawa-Stinson-Saido (2004) have constructed optimal splitting authentication codes achieving perfect secrecy for the special case when the number of keys equals the number of messages. In this paper, we establish a construction method for optimal splitting authentication codes with perfect secrecy in the more general case when the number of keys may differ from the number of messages. To the best knowledge, this is the first result of this type.

연구 동기 및 목표

• 키의 수가 메시지의 수와 다를 수 있는 일반적인 경우에 최적의 분할 인증 코드와 완전한 기밀성을 갖춘 것이 부족한 문제를 해결하기 위해.
• Ogata 등(2004)의 이전 연구를 확장하여, 키의 수가 메시지의 수와 동일한 대칭 케이스에 국한된 것을 더 넓고 실용적인 환경으로 확장하기 위해.
• 조합 설계를 기반으로 체계적인 구성 방법을 제공하여, 위조 공격에 대한 최적의 보안성과 완전한 기밀성을 모두 확보하기 위해.
• 분할 모델에서 완전한 기밀성과 동시에 최적의 일중 위조 저항성을 달성할 수 있음을 보여주기 위해.

제안 방법

• 이 방법은 짧은 궤도가 없는 순환 $2$-$(v,b,l=cu,1)$ 분할 설계에 기반하며, 이는 메시지 집합이 인코딩 규칙 전반에 걸쳐 균일하게 분포되도록 보장한다.
• 기본 블록과 모듈로 덧셈에 의한 이동을 통해 전체 인코딩 규칙 및 메시지 매핑을 생성한다.
• 이 구성은 각 소스 상태가 각 인코딩 규칙당 정확히 $c$개의 메시지로 매핑되도록 보장하여 $c$-분할 조건을 충족한다.
• 모든 인코딩 규칙를 동일한 확률로 사용함으로써 완전한 기밀성을 달성하여, 메시지 분포가 소스 상태에 영향을 받지 않도록 한다.
• 이러한 설계의 존재는 $v \equiv 1 \pmod{u(u-1)c^2}$ 조건을 만족할 경우 보장되며, 이는 전체 궤도와 균일성을 보장한다.
• 결과적으로 생성된 인증 코드는 행이 각 인코딩 규칙에 해당하고 열이 각 소스 상태에 해당하는 인코딩 행렬로 표현되며, 항목은 가능한 메시지 집합이 된다.

실험 결과

연구 질문

• RQ1 키의 수가 메시지의 수와 다를 때 최적의 분할 인증 코드와 완전한 기밀성을 구성할 수 있는가?
• RQ2 통일된 조합 설계를 통해 분할 모델에서 일중 위조 저항성과 완전한 기밀성을 동시에 달성할 수 있는가?
• RQ3 어떤 조합 설계 조건이 분할 인증 코드가 최적이고 완전히 기밀적이도록 보장하는가?
• RQ4 어떻게 순환 분할 설계를 활용하여 보장된 보안 성질을 갖는 체계적인 방법으로 이러한 코드를 생성할 수 있는가?
• RQ5 이 구성은 대칭 케이스(키 = 메시지)를 초월하여 실용적 응용을 지원할 수 있도록 일반화될 수 있는가?

주요 결과

• 짧은 궤도가 없는 순환 $2$-$(v,b,l=cu,1)$ 분할 설계가 존재할 경우, 최적의 $c$-분할 인증 코드가 완전한 기밀성을 갖는다. 특히 $v \equiv 1 \pmod{u(u-1)c^2}$ 조건을 만족할 경우에 해당한다.
• 소스 상태 수 $u=2$일 때, 메시지 수 $v=17$, 인코딩 규칙 수 $b=34$인 최적의 $2$-분할 코드는 완전한 기밀성과 일중 위조 저항성을 달성한다.
• 기본 블록을 모듈로 산술에서 유도한 바탕으로, $u=2$ 및 $v=2c^2n+1$개의 메시지, $b=(2c^2n+1)n$개의 인코딩 규칙로 일반화 가능하다.
• 균일한 인코딩 규칙 분포를 통해 완전한 기밀성이 달성되며, 이는 메시지의 확률 분포가 소스 상태에 대해 어떤 정보도 드러내지 않음을 보장한다.
• 문헌에서 알려진 분할 설계의 구성 방법을 활용하여 $u>2$인 경우에도 이러한 코드를 구성할 수 있다.
• 인코딩 행렬 표현은 동일한 규칙 하에서 서로 다른 소스 상태에 대한 메시지 집합이 서로소임을 확인하여, 정확한 복호화와 무결성을 보장한다.