Effective Performance Evaluation of Secure Communication and Identification Systems

现代通信系统需要满足预先规定的频谱效率和安全性要求。物理层安全是一个统一两者并将它们与熵量联系起来的概念。在这个项目中，开发了一个基于图灵机的框架来解决决定通信系统是否满足这些要求的问题。众所周知，图灵可解问题的类与算法可解问题的类相吻合，因此该框架为有效验证此类性能要求提供了理论基础。这里的一个关键问题是决定性能函数，即，容量，以及相关通信场景的实际代码构造，特别是那些具有保密要求和活跃对手的通信场景，都是图灵可计算的。这是相应通信协议有效验证的必要条件。在此框架内，几个场景进行了研究，包括窃听信道和窃听信道与有源干扰。这些情况下，首先调查无论是安全通信任务或安全识别任务。最后，一个连贯的系统开发和分析，同时在物理层集成这些不同的任务。

Modern 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. In this project, a framework based on Turing machines is developed 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 provides the theoretical basis for effective verification of such performance requirements. A key issue here is to decide whether or not the performance functions, i.e., capacities, and also actual code constructions of relevant communication scenarios, particularly those with secrecy requirements and active adversaries, are Turing computable. This is a necessary condition for the corresponding communication protocols to be effectively verifiable. Within this framework, several scenarios are studied including the wiretap channel and the wiretap channel with active jammer. These scenarios are first investigated for either secure communication tasks or secure identification tasks. Finally, a coherent system is developed and analyzed which integrates these different tasks simultaneously at the physical layer.