Authors:
Frederik Armknecht
and
Christian Müller
Affiliation:
University of Mannheim, Mannheim, Germany
Keyword(s):
Wireless Communication, Attacker Model, Physical Properties, Distance Bounding, Friendly Jamming.
Abstract:
The Man-in-the-Middle Model (MitMM) is commonly used in cryptography for modeling an attacker in multi-party scenarios. It essentially assumes that the attacker fully controls the communication between all parties, i. e., can stop and modify messages at her discretion. We argue that this model is too strong for realistically capturing the case of wireless communication. In consequence, schemes that exploit properties of wireless communication such as friendly jamming or distance bounding, cannot be analyzed in a common framework. Moreover, the lack of an appropriate model hinders the development of new schemes. Given the ever-increasing importance of wireless communication, e. g., in the context of the Internet of Things, we propose a new formal model for wireless communication. Starting from the formal MitMM, we identify three key aspects — communication channels, signals, and locality — that are not represented, explain how to extend the model accordingly, and propose a tailored WC
M. Based thereon, we explain how these limit the capabilities of an attacker in the form of a WAM. Moreover, we demonstrate for an existing security mechanism, namely friendly jamming, which is not covered by the MitMM how the new model allows for analyzing/formalizing the security.
(More)