loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Authors: Piotr Krasnowski 1 ; Jerome Lebrun 2 and Bruno Martin 2

Affiliations: 1 Univ. Côte d’Azur, I3S-CNRS, Sophia Antipolis, France, BlackBoxSécu, Sophia Antipolis, France ; 2 Univ. Côte d’Azur, I3S-CNRS, Sophia Antipolis, France

ISBN: 978-989-758-399-5

ISSN: 2184-4356

Keyword(s): Authenticated Key Exchange, Secure Voice Communications, Data over Voice, Vocal Verification, Crypto Phone, Tamarin Prover, Formal Protocol Verification.

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-f orward 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.235.139.152

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ICISSP, ISBN 978-989-758-399-5 ISSN 2184-4356, pages 683-690. DOI: 10.5220/0009156506830690

@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 - ICISSP,},
year={2020},
pages={683-690},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009156506830690},
isbn={978-989-758-399-5},
issn={2184-4356},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.