[논문 리뷰] On the Eavesdropper's Correct Decision in Gaussian and Fading Wiretap Channels Using Lattice Codes

Anne-Maria Ernvall-Hytönen, Camilla Hollanti|arXiv (Cornell University)|2011. 06. 14.

Wireless Communication Security Techniques참고 문헌 5인용 수 4

한 줄 요약

이 논문은 짝수 단순형 극한 격자에서의 비밀성 함수가 y=1에서 최댓값을 가짐을 증명하여 Belfiore-Solé의 추측을 확인한다. 이는 가우시안 와이어태프 채널에서 최적의 비밀성 성능을 보임을 뜻한다. fading 채널에서는 정상 사용자 성능을 완화할 경우 타인의 혼란도가 증가함을 드러내며, 이는 성능-비밀성-복잡성 간의 트레이드오프를 의미한다. 비대칭 격자는 더 높은 복잡성의 대가로 더 높은 보안성을 제공한다.

ABSTRACT

In this paper, the probability of Eve the Eavesdropper's correct decision is considered both in the Gaussian and Rayleigh fading wiretap channels when using lattice codes for the transmission. First, it is proved that the secrecy function determining Eve's performance attains its maximum at y=1 on all known extremal even unimodular lattices. This is a special case of a conjecture by Belfiore and Solé. Further, a very simple method to verify or disprove the conjecture on any given unimodular lattice is given. Second, preliminary analysis on the behavior of Eve's probability of correct decision in the fast fading wiretap channel is provided. More specifically, we compute the truncated inverse norm power sum factors in Eve's probability expression. The analysis reveals a performance-secrecy-complexity tradeoff: relaxing on the legitimate user's performance can significantly increase the security of transmission. The confusion experienced by the eavesdropper may be further increased by using skewed lattices, but at the cost of increased complexity.

연구 동기 및 목표

• 기존의 짝수 단순형 극한 격자에 대해 Belfiore-Solé의 추측이 비밀성 함수의 최댓값이 y=1에서 발생함을 검증한다.
• 어느 주어진 단순형 격자에 대해서든 추측을 검증하거나 반증할 수 있는 일반적인 방법을 개발한다.
• 격자 코드를 사용한 레이일리 페이딩 와이어태프 채널에서 이브의 정확한 결정 확률을 분석한다.
• fading 환경에서 정상 사용자 성능, 이브의 혼란도, 코딩 복잡성 간의 상호 관계를 평가한다.
• 에너지 제약 조건 하에서 직교 격자와 비대칭 격자 구조를 성능 및 에너지 분포 측면에서 비교한다.

제안 방법

• 격자 썰림 함수 분석을 통해 모든 알려진 짝수 단순형 극한 격자에서 비밀성 함수 ΞΛ(y) = Θℤⁿ(yi)/ΘΛ(yi) 가 y=1에서 최댓값을 가짐을 증명하였다.
• 비밀성 함수를 ℝ⁺ 내의 y에 대해 평가하여, 주어진 단순형 격자에 대해 추측을 검증할 수 있는 일반적인 계산 방법을 제안하였다.
• fading 와이어태프 채널에 사용하기 위해 대수적 수체 K와 그 정수환 𝒪K 또는 이상수 ℐ ⊆ 𝒪K에서 유도된 명시적 격자 코드를 구축하였다.
• 이브의 정확한 결정 확률 표현식에 포함된 절단된 역노름 전력 합 요소를 계산하여 그 확률을 추정하였다.
• 격자를 단위 부피로 정규화하고, 정규화된 최소 제품 거리 간의 비교를 통해 공정한 성능 평가를 수행하였다.
• 전체 실수 수체에서 유도된 4차원 격자를 활용한 수치 분석을 통해 레이일리 페이딩 조건 하에서의 비밀성 성능을 평가하였다.

실험 결과

연구 질문

• RQ1 짝수 단순형 극한 격자의 비밀성 함수는 Belfiore와 Solé의 추측처럼 y=1에서 최댓값을 가지는가?
• RQ2 어느 주어진 단순형 격자에 대해서든 Belfiore-Solé 추측을 검증하거나 반증할 수 있는 일반적인 방법을 개발할 수 있는가?
• RQ3 격자 코드를 사용한 레이일리 페이딩 와이어태프 채널에서 이브의 정확한 결정 확률은 어떻게 행동하는가?
• RQ4 격자 형태(직교 대비 비대칭)는 이브의 혼란도와 시스템 복잡성에 어떤 영향을 미치는가?
• RQ5 정상 사용자에 대한 제약 조건을 완화할 경우, 페이딩 와이어태프 채널에서 성능-비밀성-복잡성 간의 트레이드오프가 발생하는가?

주요 결과

• 모든 알려진 짝수 단순형 극한 격자에서 비밀성 함수가 y=1에서 최댓값을 가지며, 이는 Belfiore-Solé의 추측이 이러한 경우에 대해 확인됨을 의미한다.
• 비밀성 함수를 수치적으로 평가함으로써, 주어진 단순형 격자에 대해 추측을 검증하거나 반증할 수 있는 일반적인 방법이 제시되었다.
• 레이일리 페이딩 채널에서는 정상 사용자 성능 제약 조건을 완화할 경우 이브의 혼란도가 크게 증가하여 비밀성이 향상됨을 확인하였다.
• 비대칭 격자는 직교 격자보다 더 높은 이브의 혼란도를 제공하지만, 이는 더 높은 인코딩 및 디코딩 복잡성의 대가를 치르는 것으로 나타났다.
• 주어진 에너지 제약 조건 하에서, m이 충분히 클 경우 비대칭 격자는 직교 격자보다 더 나은 에너지 분포를 달성한다. 이는 표본 II에 의해 입증되었다.
• 역노름 전력 합 요소 Sₘ(Pₗᵢₘ, m) 는 m이 증가함에 따라 증가하며, m=20일 때 비대칭 격자에서는 최대 2.407×10⁷까지 도달하여 이브의 혼란도가 더 강하게 나타남을 시사한다.