We provide lower and upper bounds on the optimal rate for reliable and secret transmission of a message from one node to another in an arbitrary wireless network with deterministic signal interaction. Certain relay nodes are allowed to insert noise into the transmission, i.e., to use a source of independent, random noise in their encoding functions. The secrecy is with respect to an eavesdropper whose channel statistics are known. The upper bound is also valid for noisy signal interaction. Our construction for the achievability relies on an auxiliary result of independent interest: an inner and an outer bound on the achievable rates for reliable transmission of multiple sources to a single destination in arbitrary deterministic networks without secrecy constraints.
We provide lower and upper bounds on the optimal rate for reliable and secret transmission of a message from one node to another in an arbitrary wireless network with deterministic signal interaction. Certain relay nodes are allowed to insert noise into the transmission, i.e., to use a source of independent, random noise in their encoding functions. The secrecy is with respect to an eavesdropper whose channel statistics are known. The upper bound is also valid for noisy signal interaction. Our construction for the achievability relies on an auxiliary result of independent interest: an inner and an outer bound on the achievable rates for reliable transmission of multiple sources to a single destination in arbitrary deterministic networks without secrecy constraints.
The aim of information-theoretic secrecy is to ensure that an eavesdropper who listens to the wireless transmission of a message can only collect an arbitrarily small number of information bits about this message. In contrast to cryptography, there are no assumptions on the computational power of the eavesdropper. Information-theoretically secret communication has been studied for many particular wireless network topologies. In the main part of this thesis, we consider such communication for arbitrary acyclic wireless network topologies. We provide lower and upper bounds on the strong perfect secrecy capacity for the case when the channels of the network are either Gaussian or deterministic. These results are based on the recent understanding of the capacity of wireless networks (without secrecy constraints) by Avestimehr, Diggavi and Tse. As a side result, we give inner and outer bounds on the capacity region for the multisource problem in arbitrary wireless networks with Gaussian or deterministic signal interaction. For linear deterministic signal interaction, we find the exact capacity region. For Gaussian signal interaction, we are able to bound the gap between the two bounds on the capacity region. This gap depends only on the network topology, but not on the signal-to-noise ratio (SNR), which leads to an approximation of the capacity region for the high SNR regime. We further consider a particular network topology, called the fan-network, in which we assume that an eavesdropper has physical access to every node in a subset of the relay nodes. We give a general upper bound on the perfect secrecy capacity, and we characterize the perfect secrecy capacity for two special cases. In the second part of the thesis, we consider interactive secrecy, i.e., secrecy in the presence of a public feedback link from the destination to the source. We focus on the problem of secret key generation rather than secret communication. The benefit of public discussion for secret key generation in a broadcast channel was first shown by Maurer. We extend his ideas to a relay network called the line network, leading to a lower bound on the strongly secret key capacity for this network topology. Finally, we introduce a new channel coding setup called the interference-multiple access (IMA) channel. This channel is a variant of the interference channel where one of the receivers is required to decode the messages from both transmitters. We derive an inner bound on the capacity region of the IMA channel, as well as an outer bound for the so-called structured IMA channel. In a semi-deterministic version of the structured IMA channel, the bounds match, providing a characterization of the capacity region. In the Gaussian case, we obtain a 1 bit-approximation of the capacity region. We also show an inner bound on the equivocation-capacity region for the IMA channel, where we require that part of the private message for one receiver is kept information-theoretically secret from the other receiver.
This thesis examines the challenges of information-theoretic secret communication that exploits the temporal and spatial variations of the wireless medium to improve secret communication rates. We first examine the secrecy capacity of a system consisting of independent parallel channels with one transmitter, one intended receiver and one eavesdropper. We show that the secrecy capacity of the system is the sum of the secrecy capacities of the individual subchannels. We further derive the optimal power allocation strategy for a system of parallel AWGN channels subject to a total power constraint, and also extend the results to random fading channels with additive Gaussian noise. We then study the achievable secrecy rate with Gaussian random codes for the situation where the channel of the intended receiver is a constant AWGN channel, while the eavesdropper's channel is fast Rayleigh fading with unknown realizations but known statistics to the transmitter. The proposed method with artificial noise and bursting provides ways to achieve positive secrecy rate even when Bob's channel is worse than Eve's channel on average. We also examine the achievable secrecy rate for a multiple antenna system, and the optimal input structure needed to achieve this rate. For the multiple input single output case, an analytical solution is derived. Multiple antenna systems provide extra degrees of freedom to the transmitter so that a beamforming-like approach can be used to provide advantage to the intended receiver against the eavesdropper. Next we derive a secrecy capacity outer bound region for a class of one-sided interference channels. The outer bound is shown to be tight for a class of binary deterministic one-sided interference channels, and can be achieved within one bit for some Gaussian one-sided interference channels.Finally, as Gaussian random codes are impractical, we evaluate achievable secrecy rates with discrete signaling. We observe that with discrete signaling, there exists an optimal power that maximizes the achievable secrecy rate. For the AWGN channel, larger constellation is always better. While for fading channel, the optimal constellation size varies with the power constraint, and discrete signaling can perform better than random Gaussian coding.
This paper establishes the utility of user cooperation in facilitating secure wireless communications. In particular, the four-terminal relay–eavesdropper channel is introduced and an outer-bound on the optimal rate-equivocation region is derived. Several cooperation strategies are then devised and the corresponding achievable rate-equivocation region are characterized. Of particular interest is the novel noise-forwarding (NF) strategy, where the relay node sends codewords independent of the source message to confuse the eavesdropper. This strategy is used to illustrate the deaf helper phenomenon, where the relay is able to facilitate secure communications while being totally ignorant of the transmitted messages. Furthermore, NF is shown to increase the secrecy capacity in the reversely degraded scenario, where the relay node fails to offer performance gains in the classical setting. The gain offered by the proposed cooperation strategies is then proved theoretically and validated numerically in the additive white Gaussian noise (AWGN) channel.
Given that wireless communication occurs in a shared and inherently broadcast medium, the transmissions are vulnerable to undesired eavesdropping. This occurs even when a point-to-point communication is sought, and hence a fundamental question is whether we can utilize the wireless channel properties to establish secrecy. In this paper we consider secret communication between two special nodes ("source" and "destination") in a wireless network with authenticated relays: the message communicated to the destination is to be kept information-theoretically (unconditionally) secret from any eavesdropper within a class. Since the transmissions are broadcast and interfere with each other, complex signal interactions occur. We develop cooperative schemes which utilize these interactions in wireless communication over networks with arbitrary topology, and give provable unconditional secrecy guarantees.
This dissertation studies the fundamental rate limits of wireless communication systems through which confidential messages can be transmitted without being intercepted by an adversary. It is assumed that the adversary is subject to noise and interference, as are the legitimate nodes in the system. The security guarantees offered are irrespective of the computational power of the adversary.
Three themes are developed in parallel throughout the dissertation. The first theme explores the relationship between cooperation and secrecy. In wireless networks, cooperation from intermediate relay nodes are essential for facilitating long range communications. This dissertation considers a series of network models where the information from a source to a destination needs to be kept confidential from intermediate relays. Four different network models with untrusted relay nodes are considered: the three-node relay channel, the two-hop link, the two-way relay channel and the multi-hop line network. These models are studied for relays that are honest but curious. That is, the relay nodes are legitimate nodes with lower security clearance, that willingly carry out the designated relay schemes. Secrecy capacity lower and upper bounds for each channel model are found and cases where secrecy capacity can be found are identified. Next the two-hop link is studied where the relay turns malicious in that it can manipulate the signals being relayed and carry out a Byzantine attack. In this case, two requirements must be satisfied simultaneously: The message must be kept confidential from the relay node, and, any modification carried out by the relay node must be detected reliably by the legitimate parties. The dissertation shows that both requirements can be fulfilled for this model with arbitrarily small overhead.
The next two themes developed in this dissertation serve as the technical foundation for the first theme. One establishes the foundation for providing secrecy using structured codes. Traditionally, the achievability proofs for information theoretic secrecy rely on Shannon’s random codebook generation argument in which the codebook does not exhibit structure. In this dissertation, it is shown that by imposing structure requirements in random codebook generation, higher rates for secure communication can be achieved than known results obtained using the conventional approach. This dissertation develops the necessary tool and general methodology for computing the secrecy rate when a nested lattice structure is used in codebook generation. Two results are presented that rely on this foundation. First, it is proved that, for a class of Gaussian channel models with interference and secrecy constraints, structured codes outperform Gaussian signaling at medium to high SNR. Second, this tool is used to develop a strong secrecy scheme for the two-hop link with an untrusted relay, which in turn is the centerpiece of the Byzantine detection scheme developed in this dissertation.
The third theme is methods of proving strong secrecy. Information theoretic secrecy results often rely on the weak secrecy constraint which provides only asymptotic guarantees with respect to the information rate leaked to the adversary. As this would likely be insufficient in a practical system, a non-asymptotic, strong secrecy guarantee must be sought. More often than not, weak secrecy rates can be strengthened to strong secrecy rates in a straightforward manner, leading back to the justification of proving weak secrecy only. This dissertation challenges this conventional wisdom and identifies two cases where this approach does not follow. In both cases, direct strong secrecy proofs are established. These are: the two-hop link with a Byzantine relay, and models with arbitrarily varying eavesdropper channel considered in the last chapter of this dissertation.
The latter model is motivated by the need to bring the theory of providing unconditional secrecy guarantees closer to practice. In particular, the dissertation addresses the case where the channel that the adversary (eavesdropper) experiences is completely unknown to the legitimate parties. To do so, a multiple input-multiple output (MIMO) wiretap channel is considered where the eavesdropper’s channel is arbitrarily varying. A coding theorem is derived for with this setting. The secrecy rate obtained from this coding theorem is tight in terms of secure degree of freedom, which is a high SNR characterization of the secrecy capacity. In addition, the secure degree of freedom regions for the MIMO multiple access (MAC) wiretap channel and the MIMO broadcast wiretap channel are derived when the legitimate nodes have the same number of antennas, identifying the high SNR characterization of the fundamental transmission limits for these models.