On the Algorithmic Solvability of Channel Dependent Classification Problems in Communication Systems

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

  • Holger Boche - , Technische Universität München (Autor:in)
  • Rafael F. Schaefer - , Universität Siegen (Autor:in)
  • H. Vincent Poor - , Princeton University (Autor:in)

Abstract

For communication systems there is a recent trend towards shifting functionalities from the physical layer to higher layers by enabling software-focused solutions. Having obtained a (physical layer-based) description of the communication channel, such approaches exploit this knowledge to enable various services by subsequently processing it on higher layers. For this it is a crucial task to first find out in which state the underlying communication channel is. This paper develops a framework based on Turing machines and studies whether or not it is in principle possible to algorithmically solve such classification tasks, i.e., to decide in which state the communication system is. Turing machines have no limitations on computational complexity, computing capacity and storage, and can simulate any given algorithm and therewith are a simple but very powerful model of computation. They characterize the fundamental performance limits for today's digital computers. It is shown that there exists no Turing machine that takes the physical description of the communication channel as an input and solves a non-trivial classification task. Subsequently, this general result is used to study communication under adversarial attacks and it is shown that it is impossible to algorithmically detect denial-of-service (DoS) attacks on the transmission. Jamming attacks on ACK/NACK feedback cannot be detected as well and, in addition, ACK/NACK feedback is shown to be useless for the detection of DoS on the actual message transmission. Further applications are discussed including DoS attacks on the Post Shannon task of identification, and on physical layer security and resilience by design.

Details

OriginalspracheEnglisch
Aufsatznummer9374798
Seiten (von - bis)1155-1168
Seitenumfang14
FachzeitschriftIEEE/ACM Transactions on Networking
Jahrgang29
Ausgabenummer3
PublikationsstatusVeröffentlicht - Juni 2021
Peer-Review-StatusJa
Extern publiziertJa

Externe IDs

ORCID /0000-0002-1702-9075/work/165878273

Schlagworte

Schlagwörter

  • adversarial attacks, Algorithmic computability, communication system, decision problem, Turing machine