Trustworthiness Verification and Integrity Testing for Wireless Communication Systems

Holger Boche, Rafael F. Schaefer, H. Vincent Poor, Gerhard P. Fettweis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Trustworthiness verification and integrity testing have been identified as key challenges for the sixth generation (6G) of mobile networks and its variety of envisioned features. In this paper, these issues are addressed from a fundamental, algorithmic point of view. For this purpose, the concept of Turing machines is used which provides the fundamental performance limits of digital computers. It is shown that, in general, trustworthiness and integrity cannot be verified by Turing machines and therewith by today's digital computers. In addition, the trustworthiness problem is further shown to be non-Banach-Mazur computable which is the weakest form of computability. Neuromorphic computing has an enormous potential to overcome the limitations of today's digital hardware and, accordingly, it is interesting to study the issues of trustworthiness verification and integrity testing also for such powerful computing models. In particular, as considerable progress in the hardware design for neuromorphic computing has been achieved.

Original languageEnglish (US)
Title of host publicationICC 2022 - IEEE International Conference on Communications
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages4830-4835
Number of pages6
ISBN (Electronic)9781538683477
DOIs
StatePublished - 2022
Externally publishedYes
Event2022 IEEE International Conference on Communications, ICC 2022 - Seoul, Korea, Republic of
Duration: May 16 2022May 20 2022

Publication series

NameIEEE International Conference on Communications
Volume2022-May
ISSN (Print)1550-3607

Conference

Conference2022 IEEE International Conference on Communications, ICC 2022
Country/TerritoryKorea, Republic of
CitySeoul
Period5/16/225/20/22

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Trustworthiness Verification and Integrity Testing for Wireless Communication Systems'. Together they form a unique fingerprint.

Cite this