Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communications - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis Accéder directement au contenu
Poster De Conférence Année : 2020

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

Résumé

The 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 the audio domain over existing civilian voice communication infrastructure, like 2G-4G networks and VoIP. Such a setting is more universal compared to military \textquotedblleft 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 successfully verified in a symbolic model using Tamarin Prover.
Fichier principal
Vignette du fichier
Krasnowski_ICISSP2020_poster.pdf (3.18 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03059639 , version 1 (12-12-2020)
hal-03059639 , version 2 (07-01-2021)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Piotr Krasnowski, Jerome Lebrun, Bruno Martin. Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communications. INSTICC. 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. SciTePress, ICISSP (1), pp.683-690, Proceedings of the 6th International Conference on Information Systems Security and Privacy. ⟨10.5220/0009156506830690⟩. ⟨hal-03059639v2⟩
157 Consultations
39 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More