[논문 리뷰] NP-Complete Problems for Lee Metric Codes

Violetta Weger, Paolo Santini외 2명|arXiv (Cornell University)|2020. 02. 27.

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

한 줄 요약

이 논문은 유한 순환체 위의 코드에 대해 Lee 거리 체계 하에서 심호드 분석 문제(SDP)의 NP-완전성을 입증하고, 정보 집합 디코딩(ISD) 알고리즘을 이 거리 체계로 일반화하며, 다양한 코드 매개변수에 걸쳐 그 복잡도를 분석하여 Lee 거리 체계 부호 이론과 부호 기반 암호화의 기초 복잡도 결과를 제공한다.

ABSTRACT

We consider codes over finite rings endowed with the Lee metric and prove the NP-completeness of the associated syndrome decoding problem (SDP). Then, we study the best known algorithms for solving the SDP, which are information set decoding (ISD) algorithms, and generalize them to the Lee metric case. Finally we assess their complexity for a wide range of parameters.

연구 동기 및 목표

• Lee 거리 체계 하에서 유한 순환체 위의 부호에 대해 심호드 분석 문제(SDP)가 NP-완전함을 증명하는 것.
• 정보 집합 디코딩(ISD) 알고리즘의 프레임워크를 Lee 거리 체계 환경으로 확장하는 것.
• 다양한 코드 매개변수에 걸쳐 일반화된 ISD 알고리즘의 계산 복잡도를 분석하는 것.
• Lee 거리 체계 부호를 사용하는 부호 기반 암호시스템의 보안을 위한 이론적 기초를 마련하는 것.

제안 방법

• Lee 거리 체계 하에서의 심호드 분석 문제(SDP)의 NP-완전성을 입증하기 위해 알려진 NP-완전 문제로의 환원.
• 무게와 오류 패턴 선택 기준을 재정의하여 고전적 ISD 알고리즘들을 Lee 거리 체계에 적응시키는 것.
• Lee 무게 성질을 활용하여 정보 집합을 식별하고 디코딩하는 일반화된 ISD 알고리즘 설계.
• Lee 거리 체계에서 유효한 정보 집합을 찾기 위해 필요한 시도 횟수의 기대값을 추정하기 위한 조합 분석의 사용.
• 코드 길이, 차원, 최소 Lee 거리가 변할 때 알고리즘의 기대 실행 시간에 대한 점근적 분석을 통한 복잡도 평가.
• 다양한 거리 체계 영역에서 알고리즘 성능을 평가하기 위해 유한 순환체 위의 코드 가족을 매개변수화하는 것.

실험 결과

연구 질문

• RQ1 Lee 거리 체계를 사용할 때, 유한 순환체 위의 부호에 대해 심호드 분석 문제(SDP)가 NP-완전한가?
• RQ2 정보 집합 디코딩(ISD) 알고리즘은 어떻게 효율적으로 Lee 거리 체계에서 작동하도록 적응시킬 수 있는가?
• RQ3 다양한 코드 매개변수에 걸쳐 Lee 거리 체계 부호를 위한 일반화된 ISD 알고리즘의 계산 복잡도는 무엇인가?
• RQ4 Lee 거리 체계는 해밍 거리 체계와 비교해 디코딩 알고리즘의 효율성과 실현 가능성에 어떤 영향을 미치는가?
• RQ5 이러한 결과는 Lee 거리 체계 부호를 사용하는 부호 기반 암호시스템의 보안에 어떤 함의를 갖는가?

주요 결과

• Lee 거리 체계 하에서 유한 순환체 위의 부호에 대해 심호드 분석 문제(SDP)가 NP-완전하다는 것이 입증되었다.
• Lee 거리 체계를 위한 일반화된 ISD 알고리즘은 Lee 무게 성질을 활용하여 탐색 공간을 비트리비얼하게 감소시킨다.
• 일반화된 ISD 알고리즘의 복잡도는 Lee 거리와 코드 매개변수에 따라 변화하며, 오류 무게에 대해 지수적 의존성을 보인다.
• 분석 결과, 특정 매개변수 영역에서는 Lee 거리 체계 부호가 해밍 거리 체계 부호와 비교해 유사하거나 향상된 디코딩 효율성을 제공할 수 있음을 밝혀냈다.
• 결과적으로, Lee 거리 체계 부호는 양자 기반 암호화를 위한 실현 가능한 후보로 간주되며, 이는 SDP의 난이도에 기반한 보안성에 뿌리를 두고 있다.
• 본 연구는 Lee 거리 체계 부호를 사용하는 부호 기반 암호시스템의 보안 평가를 위한 이론적 프레임워크를 제공한다.