[논문 리뷰] Secure Index Coding with Security Constraints on Receivers

Yucheng Liu, Parastoo Sadeghi외 2명|arXiv (Cornell University)|2020. 01. 21.

Cooperative Communication and Network Coding참고 문헌 15인용 수 9

한 줄 요약

이 논문은 합법 수신자에 대한 보안 제약 조건을 고려한 색인 코딩을 위한 안전한 선형 코딩 체계를 제안하며, 분수 국소 부분클리크 커버링 방법을 확장한다. 정보 이론적 경계 두 가지—안전한 다형체 외부 경계 및 안전한 MAIS 하한 경계—를 수립하고, 두 가지 필수 타당성 조건을 유도하여, 비가능 문제를 식별하고 더 낮은 비율 경계를 제공하며, 안전한 비디오 스트리밍 및 액세스 제어에의 응용 가능하다.

ABSTRACT

Index coding is concerned with efficient broadcast of a set of messages to receivers in the presence of receiver side information. In this paper, we study the secure index coding problem with security constraints on the receivers themselves. That is, for each receiver there is a single legitimate message it needs to decode and a prohibited message list, none of which should be decoded by that receiver. To this end, our contributions are threefold. We first introduce a secure linear coding scheme, which is an extended version of the fractional local partial clique covering scheme that was originally devised for non-secure index coding. We then develop two information-theoretic bounds on the performance of any valid secure index code, namely secure polymatroidal outer bound (on the capacity region) and secure maximum acyclic induced subgraph lower bound (on the broadcast rate). The structure of these bounds leads us to further develop two necessary conditions for a given index coding problem to be securely feasible (i.e., to have nonzero rates).

연구 동기 및 목표

• 합법 수신자가 금지된 메시지를 디코딩해서는 안 되는 색인 코딩 시나리오를 다루며, 비디오 스트리밍에서의 실제 액세스 제어를 모델링한다.
• 수신자 자신이 특정 메시지를 학습하는 것을 제한하는 보안 설정으로 비보안 색인 코딩 기법을 확장한다.
• 안전한 색인 코딩을 위한 정보 이론적 성능 경계 및 타당성 조건을 개발한다.
• 모든 수신자에서 디코딩 요구 조건과 보안 제약 조건이 동시에 충족되도록 보장한다.
• 비가능한 안전한 색인 코딩 문제를 식별하고 가용 가능한 브로드캐스트 비율 경계를 강화하는 프레임워크를 제공한다.

제안 방법

• 수신자 보안 제약 조건을 이행하기 위해 조정된 분수 국소 부분클리크 커버링(FLPCC) 프레임워크 기반의 안전한 선형 코딩 체계를 제안한다.
• 정보 이론적 부등식과 엔트로피 함수를 사용하여 용량 영역에 대한 안전한 다형체 외부 경계를 도출한다.
• 브로드캐스트 비율에 대한 안전한 최대 무사이클릭 부분그래프(S-MAIS) 하한 경계를 도입하여 고전적 MAIS 경계를 보안 설정에 맞게 개선한다.
• 메시지 집합의 g-분할과 ρ-값에 대한 재귀적 업데이트 규칙을 사용하여 S-MAIS 경계를 반복적으로 계산하는 절차를 개발한다.
• 두 가지 필수 타당성 조건을 수립한다: 하나는 S-MAIS 경계에 기반한 것이고, 다른 하나는 분할 내 최소 집합 크기보다 계산된 ρ-값이 높을 경우를 기반으로 한다.
• 기존의 도청자-보안 색인 코딩 결과를 활용하여 제안된 체계의 보안 제약 조건을 검증한다.

실험 결과

연구 질문

• RQ1 측정된 사이드 인포메이션을 가진 수신자도 금지된 메시지를 디코딩할 수 없도록 보장하는 선형 코딩 체계를 설계할 수 있는가?
• RQ2 수신자 보안 제약 조건이 있는 안전한 색인 코딩의 브로드캐스트 비율에 대한 가장 날카로운 정보 이론적 경계는 무엇인가?
• RQ3 어떤 조건에서 안전한 색인 코딩 문제가 비가능한가, 즉 모든 디코딩 및 보안 요구 조건을 충족하는 코드가 존재하지 않는가?
• RQ4 안전한 다형체 및 MAIS 경계의 변형은 고전적 경계에 비해 보안 설정에서 어떻게 향상되는가?
• RQ5 메시지 의존성 그래프의 구조적 특성과 금지된 집합을 이용하여 타당성을 효율적으로 판단할 수 있는가?

주요 결과

• 제안된 안전한 선형 코딩 체계는 기존의 도청자-보안 코딩 결과를 활용하여 FLPCC 프레임워크를 확장하여 수신자 보안 제약 조건을 충족시킨다.
• 안전한 다형체 외부 경계는 고전적 경계에 비해 보안 제약 조건 하에서 용량 영역을 더 날카롭게 특성화한다.
• 안전한 MAIS(S-MAIS) 하한 경계는 고전적 MAIS 경계보다 엄밀히 더 낮은 비율 하한 경계를 제공하며, 9개 메시지 예제에서 3에서 4로 증가함을 통해 이를 입증하였다.
• 첫 번째 타당성 조건(정리 3)은 S-MAIS 경계를 사용하여 유효한 안전한 코드의 존재 여부를 확인함으로써 비가능 문제를 식별한다.
• 두 번째 타당성 조건(정리 5)은 분할에 대한 계산된 ρ-값이 그 분할 내 최소 집합 크기를 초과할 경우 비가능성을 탐지한다. 이는 5개 메시지 예제에서 확인되었다.
• 9개 메시지 예제에서 S-MAIS 경계는 대칭 용량 1/4와 일치하여 그 타당성과 실용적 유용성을 확인하였다.