@inproceedings{e957d94d20d24a0e8f04a8cecfbc5193,
title = "Performance evaluation of secure communication systems on turing machines",
abstract = "Communication systems need to satisfy pre-specified requirements on spectral efficiency and security. Physical layer security is a concept that unifies both and connects them with entropic quantities. This paper presents a frame-work based on Turing machines to address the question of deciding whether or not a communication system meets these requirements. It is known that the class of Turing solvable problems coincides with the class of algorithmically solvable problems so that this framework allows for effective verification of such performance requirements. In this paper, it is shown that certain scenarios such as the wire-tap channel or compound channel are Turing computable so that the corresponding communication protocols can be effectively verified. A condition is presented and proved under which a communication scenario is not Turing computable. The channel with an active jammer falls into this category when deterministic codes are used. Interestingly, random codes robustify the channel with an active jammer in the sense that it becomes Turing computable and the corresponding communication protocol effectively verifiable.",
author = "Holger Boche and Schaefer, {Rafael F.} and Poor, {H. Vincent}",
note = "Funding Information: The work of H. Boche and R. F. Schaefer was supported by the Gottfried Wilhelm Leibniz program of the German Research Foundation (DFG) under Grant BO 1734/20-1. The work of H. V. Poor was supported by the U.S. National Science Foundation under Grants CNS-1702808 and ECCS-1647198. The research direction of Turing Computability for communication systems was initiated by the German Research Foundation (DFG) under Grants BO 1734/24-3 and BO 1734/25-1. Funding Information: The work of H. Boche and R. F. Schaefer was supported by the Gottfried Wilhelm Leibniz program of the German Research Foundation (DFG) under Grant BO 1734/20-1. The work of H. V. Poor was supported by the U.S. National Science Foundation under Grants CNS-1702808 and ECCS-1647198. The research direction of Turing Computability for communication systems was initiated by the German Research Foundation (DFG) under Grants BO 1734/24-3 and BO 1734/25-1; 10th IEEE International Workshop on Information Forensics and Security, WIFS 2018 ; Conference date: 10-12-2018 Through 13-12-2018",
year = "2019",
month = jan,
day = "30",
doi = "10.1109/WIFS.2018.8630789",
language = "English (US)",
series = "10th IEEE International Workshop on Information Forensics and Security, WIFS 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "10th IEEE International Workshop on Information Forensics and Security, WIFS 2018",
address = "United States",
}