scholarly journals A Cryptographic Analysis of the TLS 1.3 Handshake Protocol

2021 ◽  
Vol 34 (4) ◽  
Author(s):  
Benjamin Dowling ◽  
Marc Fischlin ◽  
Felix Günther ◽  
Douglas Stebila
Keyword(s):  
Key Exchange ◽  
Transport Layer ◽  
Security Model ◽  
Round Trip Time ◽  
Round Trip ◽  
Trip Time ◽  
Diffie Hellman ◽  
Multi Stage ◽  
Handshake Protocol ◽  
The Many

AbstractWe analyze the handshake protocol of the Transport Layer Security (TLS) protocol, version 1.3. We address both the full TLS 1.3 handshake (the one round-trip time mode, with signatures for authentication and (elliptic curve) Diffie–Hellman ephemeral ((EC)DHE) key exchange), and the abbreviated resumption/“PSK” mode which uses a pre-shared key for authentication (with optional (EC)DHE key exchange and zero round-trip time key establishment). Our analysis in the reductionist security framework uses a multi-stage key exchange security model, where each of the many session keys derived in a single TLS 1.3 handshake is tagged with various properties (such as unauthenticated versus unilaterally authenticated versus mutually authenticated, whether it is intended to provide forward security, how it is used in the protocol, and whether the key is protected against replay attacks). We show that these TLS 1.3 handshake protocol modes establish session keys with their desired security properties under standard cryptographic assumptions.

scholarly journals Modeling advanced security aspects of key exchange and secure channel protocols

2020 ◽  
Vol 62 (5-6) ◽  
pp. 287-293
Author(s):  
Felix Günther
Keyword(s):  
Building Blocks ◽  
Key Exchange ◽  
Internet Security ◽  
Streaming Data ◽  
Transport Layer ◽  
Security Model ◽  
Secret Key ◽  
Multi Stage ◽  
Key Exchange Protocols ◽  
Secure Channel

AbstractSecure connections are at the heart of today’s Internet infrastructure, protecting the confidentiality, authenticity, and integrity of communication. Achieving these security goals is the responsibility of cryptographic schemes, more specifically two main building blocks of secure connections. First, a key exchange protocol is run to establish a shared secret key between two parties over a, potentially, insecure connection. Then, a secure channel protocol uses that shared key to securely transport the actual data to be exchanged. While security notions for classical designs of these components are well-established, recently developed and standardized major Internet security protocols like Google’s QUIC protocol and the Transport Layer Security (TLS) protocol version 1.3 introduce novel features for which supporting security theory is lacking.In my dissertation [20], which this article summarizes, I studied these novel and advanced design aspects, introducing enhanced security models and analyzing the security of deployed protocols. For key exchange protocols, my thesis introduces a new model for multi-stage key exchange to capture that recent designs for secure connections establish several cryptographic keys for various purposes and with differing levels of security. It further introduces a formalism for key confirmation, reflecting a long-established practical design criteria which however was lacking a comprehensive formal treatment so far. For secure channels, my thesis captures the cryptographic subtleties of streaming data transmission through a revised security model and approaches novel concepts to frequently update key material for enhanced security through a multi-key channel notion. These models are then applied to study (and confirm) the security of the QUIC and TLS 1.3 protocol designs.

An Online Framework for Flow Round Trip Time Measurement

2014 ◽  
Vol E97.B (10) ◽  
pp. 2145-2156
Author(s):  
Xinjie GUAN ◽  
Xili WAN ◽  
Ryoichi KAWAHARA ◽  
Hiroshi SAITO
Keyword(s):  
Time Measurement ◽  
Round Trip Time ◽  
Round Trip ◽  
Trip Time ◽  
Flow Round

Accurate indoor positioning using IEEE 802.11mc round trip time

2021 ◽  
pp. 101416
Author(s):  
Omar Hashem ◽  
Khaled A. Harras ◽  
Moustafa Youssef
Keyword(s):  
Indoor Positioning ◽  
Round Trip Time ◽  
Round Trip ◽  
Trip Time

scholarly journals Experimental Radio Indoor Positioning Systems Based on Round-Trip Time Measurement

10.5772/8724 ◽  
2010 ◽  
Author(s):  
Alessio De ◽  
Antonio Moschitta ◽  
Peter Handel ◽  
Paolo Carbone
Keyword(s):  
Indoor Positioning ◽  
Time Measurement ◽  
Round Trip Time ◽  
Round Trip ◽  
Positioning Systems ◽  
Trip Time
Sign in / Sign up

Export Citation Format

Share Document