Table of Contents
Fetching ...

Identification Under the Semantic Effective Secrecy Constraint

Abdalla Ibrahim, Johannes Rosenberger, Boulat A. Bash, Christian Deppe, Roberto Ferrara, Uzi Pereg

TL;DR

This paper analyzes identification over a discrete memoryless wiretap channel under semantic effective secrecy, integrating secrecy and stealth (covert) requirements. It develops a capacity framework based on approximation-of-output statistics (AOS) and joint AOS-transmission concepts, proving a capacity theorem for AOS codes and deriving both lower and upper bounds on the effectively secret identification capacity (ESID). The bounds are tight for more capable channels, with a constructive ESID scheme leveraging $\\\ ext{epsilon}$-almost universal hashing together with stealthy AOS components; in other channel classes, a gap between bounds can occur and auxiliary pre-channels may enhance rates. The work combines tools from channel resolvability, secrecy in identification, and covert communications to characterize ESID capabilities and highlight open questions for tightening converses, illustrated through multiple channel examples.

Abstract

The problem of identification over a discrete memoryless wiretap channel is examined under the criterion of semantic effective secrecy. This secrecy criterion guarantees both the requirement of semantic secrecy and of stealthy communication. Additionally, we introduce the related problem of combining approximation-of-output statistics and transmission. We derive a capacity theorem for approximation-of-output statistics transmission codes. For a general model, we present lower and upper bounds on the capacity, showing that these bounds are tight for more capable wiretap channels. We also provide illustrative examples for more capable wiretap channels, along with examples of wiretap channel classes where a gap exists between the lower and upper bounds.

Identification Under the Semantic Effective Secrecy Constraint

TL;DR

This paper analyzes identification over a discrete memoryless wiretap channel under semantic effective secrecy, integrating secrecy and stealth (covert) requirements. It develops a capacity framework based on approximation-of-output statistics (AOS) and joint AOS-transmission concepts, proving a capacity theorem for AOS codes and deriving both lower and upper bounds on the effectively secret identification capacity (ESID). The bounds are tight for more capable channels, with a constructive ESID scheme leveraging -almost universal hashing together with stealthy AOS components; in other channel classes, a gap between bounds can occur and auxiliary pre-channels may enhance rates. The work combines tools from channel resolvability, secrecy in identification, and covert communications to characterize ESID capabilities and highlight open questions for tightening converses, illustrated through multiple channel examples.

Abstract

The problem of identification over a discrete memoryless wiretap channel is examined under the criterion of semantic effective secrecy. This secrecy criterion guarantees both the requirement of semantic secrecy and of stealthy communication. Additionally, we introduce the related problem of combining approximation-of-output statistics and transmission. We derive a capacity theorem for approximation-of-output statistics transmission codes. For a general model, we present lower and upper bounds on the capacity, showing that these bounds are tight for more capable wiretap channels. We also provide illustrative examples for more capable wiretap channels, along with examples of wiretap channel classes where a gap exists between the lower and upper bounds.

Paper Structure

This paper contains 7 sections, 1 theorem, 22 equations, 1 figure.

Key Result

lemma 1

Let $X_1,\dots, X_n$ be i.i.d Bernoulli RVs with $\Pr(X_i=1)= p_i$, $0 \leq p_i \leq 1$. Set $X = \frac{1}{n}\sum_{i=1}^{n} X_i$, $p = \frac{1}{n}\sum_{i=1}^{n} p_i$ and $t\in (0, 1-p]$, then

Figures (1)

  • Figure 1: A general identification scheme is considered in the presence of an eavesdropper, where $(W_{Y|X}, W_{Z|X})$ is a discrete memoryless wiretap channel (DM-WTC). In contrast to conventional message transmission, the receiver does not decode the message $m$ from the channel output $Y^n$. Instead, the receiver selects a message $m'$ and performs a statistical hypothesis test to decide whether $m'$ equals $m$ or not. In the effective secrecy setting, the eavesdropper aims to determine whether unexpected communication is occurring compared to some expected default behavior, and to identify whether its own message $m'$ equals $m$ or not.

Theorems & Definitions (15)

  • definition 1: KL-divergence
  • definition 2: Conditional KL-divergence
  • definition 3: Mutual Information
  • definition 4: Binary entropy function and binary KL-divergence
  • lemma 1: A Chernoff bound Mulzer18
  • definition 5: Channel
  • definition 6
  • definition 7: Wiretap Channel
  • definition 8: Stochastically degraded DM-WTC
  • definition 9: More capable DM-WTC
  • ...and 5 more