[논문 리뷰] New Construction of Authentication Codes with Arbitration from Pseudo-Symplectic Geometry over Finite Fields

Shangdi Chen, Zhao Dawei|arXiv (Cornell University)|2013. 05. 27.

Coding theory and cryptography참고 문헌 3인용 수 4

한 줄 요약

이 논문은 특성 2인 유한체 위에서 허위 심플렉틱 기하학을 사용하여 중재 기능을 갖춘 새로운 인증 코드 구성을 제시한다. 허위 심플렉틱 군과 특정 유형의 부분공간의 구조를 활용하여, 명시적인 매개변수를 유도하고 최적의 속임수 확률을 계산함으로써, 모든 공격 유형에 대해 낮은 확률을 달성한다. 특히 $ P_I = P_{R_0} = q^{-2(u-s)} $ 와 $ P_S = P_T = P_{R_1} = q^{-1} $ 는 강력한 보안 보장을 보장한다.

ABSTRACT

A new construction of authentication codes with arbitration from pseudo-symplectic geometry over finite fields is given. The parameters and the probabilities of deceptions of the codes are also computed.

연구 동기 및 목표

• 다양한 공격 유형(위치, 도용, 전송자, 수신자 포함)에 저항할 수 있는 중재 기능을 갖춘 안전한 인증 시스템의 필요성을 해결하기 위해.
• 기존 구성의 한계를 극복하고 특성 2인 유한체 위에서 허위 심플렉틱 군을 기반으로 한 새로운 기하학적 프레임워크를 도입하기 위해.
• 구성된 코드의 크기 매개변수와 속임수 확률을 체계적으로 계산하여 최적의 보안 성능을 확보하기 위해.
• 허위 심플렉틱 공간 내에서 부분공간 유형과 동치형 표준형을 사용하여 수학적으로 엄밀한 구성 방법을 제공함으로써 균형 잡힌 안전한 코드 매개변수를 달성하기 위해.

제안 방법

• 특성 2인 유한체 $ F_q $ 에서의 허위 심플렉틱 군 $ Ps_{2\nu+\nu}(F_q) $ 가 벡터 공간 $ F_q^{(2\nu+\nu)} $ 에 작용하여 코드의 기하학적 구조를 정의한다.
• 특정 유형 $ (m, 2s+\tau, s, \tau) $ 의 부분공간을 통해 소스 상태 $ S $, 메시지 $ M $, 그리고 인코딩/디코딩 규칙 $ E_T, E_R $ 를 정의하며, $ S_\nu $ 에서의 수직성과 동치형 표준형을 적용한다.
• 메시지를 부분공간 $ s_1 + e_T $ 의 코셋으로 구성하며, 여기서 $ e_T $ 는 전송자 인코딩 규칙이다. 이때 $ e_R \notin m $ 이며, $ e_R $ 이 $ e_T $ 와 메시지 구조에 호환 가능한 경우에만 허용된다.
• 허위 심플렉틱 군의 작용을 통해 부분공간의 동치류를 생성함으로써, 인코딩 및 디코딩 규칙의 균일한 분포를 보장한다.
• 특히 $ q^{k-2} $ 를 사용하여 $ F_q $ 위에서의 차원 수와 선형대수학을 활용해, 메시지당 유효한 $ e_T $ 와 $ e_R $ 쌍의 수를 계산한다.
• 균일한 확률 가정 하에, 메시지 간 호환 가능한 규칙의 최대 수와 디코딩/인코딩 집합을 분석함으로써 속임수 확률을 유도한다.

실험 결과

연구 질문

• RQ1 기본 2인 유한체 위의 허위 심플렉틱 공간의 기하학적 구조를 사용하여 중재 기능을 갖춘 인증 코드를 어떻게 체계적으로 구성할 수 있는가?
• RQ2 허위 심플렉틱 부분공간 기반으로 구성된 코드의 정확한 크기 매개변수 $ |S|, |M|, |E_T|, |E_R| $ 는 무엇인가?
• RQ3 모든 다섯 가지 유형의 속임수 공격(위치, 적대자에 의한 도용, 전송자에 의한 도용, 수신자에 의한 도용)에 대한 최적의 상한 확률은 무엇인가?
• RQ4 매개변수와 속임수 확률은 부분공간 차원과 체의 크기 $ q $, 특히 $ \nu $ 와 $ s $ 와 어떻게 관련되어 있는가?
• RQ5 제안된 구성이 높은 메시지 및 상태 공간 크기를 유지하면서도 최소한의 속임수 확률을 달성할 수 있는가?

주요 결과

• 구성된 인증 코드의 크기 매개변수는 다음과 같다: $ |S| = N(2s-2,s-1;2\nu-2)N(m_0-2s,s_0-s+1;2(\nu-s))/N(m_0-2,s_0;2\nu-2) $, $ |M| = q^{4(\nu-s)}|S| $, $ |E_T| = q^{4(\nu-1)} $, $ |E_R| = q^{2\nu} $, 이는 허위 심플렉틱 기하학 내 부분공간 수를 기반으로 유도된다.
• 위치 공격 확률 $ P_I = \frac{1}{q^{2(\nu-s)}} $ 는 $ \nu - s $ 가 클수록 최소화되며, 이는 적대자에 의한 위치 공격에 대한 강력한 저항력을 나타낸다.
• 도용 공격 확률 $ P_S = \frac{1}{q} $ 이며, 마찬가지로 $ P_T = \frac{1}{q} $, $ P_{R_1} = \frac{1}{q} $ 이므로, 도용 공격은 $ q^{-1} $ 이하로 제한되며, 이는 주어진 구성에서 최적임을 보여준다.
• 수신자의 위치 공격 확률 $ P_{R_0} = \frac{1}{q^{2(\nu-s)}} $ 는 $ P_I $ 와 동일하여, 적대자와 수신자에 의한 위치 공격에 대해 대칭적인 저항력을 나타낸다.
• $ P_S, P_T, P_{R_1} $ 는 모두 $ \frac{1}{q} $ 이며, 이는 주어진 균일한 확률 가정과 부분공간 제약 조건 하에서 도달 가능한 최소값임을 보여준다.
• 허위 심플렉틱 부분공간의 차원성과 수직성 구조를 활용함으로써, 특히 동치형 표준형과 부분공간의 제어된 교차를 통해 최적의 속임수 확률을 달성한다.