Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

Christian Badertscher; Christian Matt; Ueli Maurer; Phillip Rogaway; Björn Tackmann

doi:10.1007/978-3-319-26059-4_5

Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

Motivated by the wide adoption of authenticated encryption and TLS, we suggest a basic channel abstraction, an augmented secure channel (ASC), that allows a sender to send a receiver messages consisting of two parts, where one is privacy-protected and both are authenticity-protected. Working in the tradition of constructive cryptography, we formalize this idea and provide a construction of this kind of channel using the lower-level tool authenticated-encryption.

We look at recent proposals on TLS 1.3 and suggest that the criterion by which their security can be judged is quite simple: do they construct an ASC? Due to this precisely defined goal, we are able to give a natural construction that comes with a rigorous security proof and directly leads to a proposal on TLS 1.3 that is provably secure.

Original language	English
Title of host publication	Provable Security
Subtitle of host publication	9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings
Editors	Man-Ho Au, Atsuko Miyaji
Publisher	Springer
Pages	85-104
Edition	1st
ISBN (Print)	978-3319260587, 3319260588
DOIs	https://doi.org/10.1007/978-3-319-26059-4_5
Publication status	Published - 28 Nov 2015
Event	9th International conference on Provable Security, ProvSec 2015 - Kanazawa, Japan Duration: 24 Nov 2015 → 26 Nov 2015 Conference number: 9 https://security-lab.jaist.ac.jp/provsec2015/

Publication series

Name	Provable Security
Publisher	Springer
Volume	9451
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9451
ISSN (Print)	0302-9743

Conference

Conference	9th International conference on Provable Security, ProvSec 2015
Abbreviated title	ProvSec 2015
Country/Territory	Japan
City	Kanazawa
Period	24/11/15 → 26/11/15
Internet address	https://security-lab.jaist.ac.jp/provsec2015/

Access to Document

10.1007/978-3-319-26059-4_5

http://link.springer.com/10.1007/978-3-319-26059-4_5

Cite this

Badertscher, C., Matt, C., Maurer, U., Rogaway, P., & Tackmann, B. (2015). Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. In M-H. Au, & A. Miyaji (Eds.), Provable Security: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings (1st ed., pp. 85-104). [Chapter 5] (Provable Security; Vol. 9451), (Lecture Notes in Computer Science; Vol. 9451). Springer. https://doi.org/10.1007/978-3-319-26059-4_5

Badertscher, Christian ; Matt, Christian ; Maurer, Ueli et al. / Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. Provable Security: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. editor / Man-Ho Au ; Atsuko Miyaji. 1st. ed. Springer, 2015. pp. 85-104 (Provable Security). (Lecture Notes in Computer Science).

@inbook{8f0ebf10f3da4cdaa60ac6fe3fa74bd1,

title = "Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer",

abstract = "Motivated by the wide adoption of authenticated encryption and TLS, we suggest a basic channel abstraction, an augmented secure channel (ASC), that allows a sender to send a receiver messages consisting of two parts, where one is privacy-protected and both are authenticity-protected. Working in the tradition of constructive cryptography, we formalize this idea and provide a construction of this kind of channel using the lower-level tool authenticated-encryption.We look at recent proposals on TLS 1.3 and suggest that the criterion by which their security can be judged is quite simple: do they construct an ASC? Due to this precisely defined goal, we are able to give a natural construction that comes with a rigorous security proof and directly leads to a proposal on TLS 1.3 that is provably secure.",

author = "Christian Badertscher and Christian Matt and Ueli Maurer and Phillip Rogaway and Bj{\"o}rn Tackmann",

year = "2015",

month = nov,

day = "28",

doi = "10.1007/978-3-319-26059-4_5",

language = "English",

isbn = "978-3319260587",

series = "Provable Security",

publisher = "Springer",

pages = "85--104",

editor = "Man-Ho Au and Atsuko Miyaji",

booktitle = "Provable Security",

edition = "1st",

note = "9th International conference on Provable Security, ProvSec 2015, ProvSec 2015 ; Conference date: 24-11-2015 Through 26-11-2015",

url = "https://security-lab.jaist.ac.jp/provsec2015/",

}

Badertscher, C, Matt, C, Maurer, U, Rogaway, P & Tackmann, B 2015, Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. in M-H Au & A Miyaji (eds), Provable Security: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. 1st edn, Chapter 5, Provable Security, vol. 9451, Lecture Notes in Computer Science, vol. 9451, Springer, pp. 85-104, 9th International conference on Provable Security, ProvSec 2015, Kanazawa, Japan, 24/11/15. https://doi.org/10.1007/978-3-319-26059-4_5

Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. / Badertscher, Christian; Matt, Christian; Maurer, Ueli et al.

Provable Security: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. ed. / Man-Ho Au; Atsuko Miyaji. 1st. ed. Springer, 2015. p. 85-104 Chapter 5 (Provable Security; Vol. 9451), (Lecture Notes in Computer Science; Vol. 9451).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

AU - Badertscher, Christian

AU - Matt, Christian

AU - Maurer, Ueli

AU - Rogaway, Phillip

AU - Tackmann, Björn

N1 - Conference code: 9

PY - 2015/11/28

Y1 - 2015/11/28

N2 - Motivated by the wide adoption of authenticated encryption and TLS, we suggest a basic channel abstraction, an augmented secure channel (ASC), that allows a sender to send a receiver messages consisting of two parts, where one is privacy-protected and both are authenticity-protected. Working in the tradition of constructive cryptography, we formalize this idea and provide a construction of this kind of channel using the lower-level tool authenticated-encryption.We look at recent proposals on TLS 1.3 and suggest that the criterion by which their security can be judged is quite simple: do they construct an ASC? Due to this precisely defined goal, we are able to give a natural construction that comes with a rigorous security proof and directly leads to a proposal on TLS 1.3 that is provably secure.

AB - Motivated by the wide adoption of authenticated encryption and TLS, we suggest a basic channel abstraction, an augmented secure channel (ASC), that allows a sender to send a receiver messages consisting of two parts, where one is privacy-protected and both are authenticity-protected. Working in the tradition of constructive cryptography, we formalize this idea and provide a construction of this kind of channel using the lower-level tool authenticated-encryption.We look at recent proposals on TLS 1.3 and suggest that the criterion by which their security can be judged is quite simple: do they construct an ASC? Due to this precisely defined goal, we are able to give a natural construction that comes with a rigorous security proof and directly leads to a proposal on TLS 1.3 that is provably secure.

U2 - 10.1007/978-3-319-26059-4_5

DO - 10.1007/978-3-319-26059-4_5

M3 - Chapter

SN - 978-3319260587

SN - 3319260588

T3 - Provable Security

SP - 85

EP - 104

BT - Provable Security

A2 - Au, Man-Ho

A2 - Miyaji, Atsuko

PB - Springer

T2 - 9th International conference on Provable Security, ProvSec 2015

Y2 - 24 November 2015 through 26 November 2015

ER -

Badertscher C, Matt C, Maurer U, Rogaway P, Tackmann B. Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. In Au M-H, Miyaji A, editors, Provable Security: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. 1st ed. Springer. 2015. p. 85-104. Chapter 5. (Provable Security). (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-26059-4_5

Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this