Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication

Piotr Krasnowski, Piotr Krasnowski, Jerome Lebrun, Bruno Martin

2020

Abstract

Increasing need for secure voice communication is leading to new ideas for securing voice transmission. This work relates to a relatively new concept of sending encrypted speech as pseudo-speech in audio domain over existing civilian voice communication infrastructure, like 2G-4G networks and VoIP. Such a setting is more universal compared to military “Crypto Phones” and can be opened for public evaluation. Nevertheless, secure communication requires a prior exchange of cryptographic keys over voice channels, without reliance on any Public Key Infrastructure (PKI). This work presents the first formally verified and authenticated key exchange (AKE) over voice channels for secure military-grade voice communications. It describes the operational principles of the novel communication system and enlists its security requirements. The voice channel characteristics in the context of AKE protocol execution is thoroughly explained, with a strong emphasis on differences to classical store-and-forward data channels. Namely a robust protocol has been designed specifically for voice channels with double authentication based on signatures and Short Authentication Strings (SAS). The protocol is detailed and analyzed in terms of fundamental security properties and successfuly verified in a symbolic model using Tamarin Prover.

Download


Paper Citation


in Harvard Style

Krasnowski P., Lebrun J. and Martin B. (2020). Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication. In Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP, ISBN 978-989-758-399-5, pages 683-690. DOI: 10.5220/0009156506830690


in Bibtex Style

@conference{icissp20,
author={Piotr Krasnowski and Jerome Lebrun and Bruno Martin},
title={Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication},
booktitle={Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP,},
year={2020},
pages={683-690},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009156506830690},
isbn={978-989-758-399-5},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP,
TI - Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication
SN - 978-989-758-399-5
AU - Krasnowski P.
AU - Lebrun J.
AU - Martin B.
PY - 2020
SP - 683
EP - 690
DO - 10.5220/0009156506830690