Ontology type: schema:Chapter Open Access: True
2015-11-28
AUTHORSChristian Badertscher , Christian Matt , Ueli Maurer , Phillip Rogaway , Björn Tackmann
ABSTRACTMotivated 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. More... »
PAGES85-104
Provable Security
ISBN
978-3-319-26058-7
978-3-319-26059-4
http://scigraph.springernature.com/pub.10.1007/978-3-319-26059-4_5
DOIhttp://dx.doi.org/10.1007/978-3-319-26059-4_5
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1048362085
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0804",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Data Format",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Department of Computer Science, ETH Zurich, Z\u00fcrich, Switzerland",
"id": "http://www.grid.ac/institutes/grid.5801.c",
"name": [
"Department of Computer Science, ETH Zurich, Z\u00fcrich, Switzerland"
],
"type": "Organization"
},
"familyName": "Badertscher",
"givenName": "Christian",
"id": "sg:person.010232721040.24",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010232721040.24"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Department of Computer Science, ETH Zurich, Z\u00fcrich, Switzerland",
"id": "http://www.grid.ac/institutes/grid.5801.c",
"name": [
"Department of Computer Science, ETH Zurich, Z\u00fcrich, Switzerland"
],
"type": "Organization"
},
"familyName": "Matt",
"givenName": "Christian",
"id": "sg:person.014520474132.60",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014520474132.60"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Department of Computer Science, ETH Zurich, Z\u00fcrich, Switzerland",
"id": "http://www.grid.ac/institutes/grid.5801.c",
"name": [
"Department of Computer Science, ETH Zurich, Z\u00fcrich, Switzerland"
],
"type": "Organization"
},
"familyName": "Maurer",
"givenName": "Ueli",
"id": "sg:person.01316567627.91",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01316567627.91"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Department of Computer Science, University of California, Davis, USA",
"id": "http://www.grid.ac/institutes/grid.27860.3b",
"name": [
"Department of Computer Science, University of California, Davis, USA"
],
"type": "Organization"
},
"familyName": "Rogaway",
"givenName": "Phillip",
"id": "sg:person.014475776464.03",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014475776464.03"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Department of Computer Science & Engineering, University of California, San Diego, USA",
"id": "http://www.grid.ac/institutes/grid.266100.3",
"name": [
"Department of Computer Science & Engineering, University of California, San Diego, USA"
],
"type": "Organization"
},
"familyName": "Tackmann",
"givenName": "Bj\u00f6rn",
"id": "sg:person.07617171521.69",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07617171521.69"
],
"type": "Person"
}
],
"datePublished": "2015-11-28",
"datePublishedReg": "2015-11-28",
"description": "Motivated by the wide adoption of authenticated encryption and TLS, we suggest a basic channel abstraction, an augmented secure channel\u00a0(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\u00a01.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\u00a01.3 that is provably secure.",
"editor": [
{
"familyName": "Au",
"givenName": "Man-Ho",
"type": "Person"
},
{
"familyName": "Miyaji",
"givenName": "Atsuko",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-319-26059-4_5",
"inLanguage": "en",
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-3-319-26058-7",
"978-3-319-26059-4"
],
"name": "Provable Security",
"type": "Book"
},
"keywords": [
"secure channel",
"low-level tools",
"rigorous security proof",
"constructive cryptography",
"record layer",
"channel abstraction",
"security proof",
"wide adoption",
"receiver's message",
"TLS",
"encryption",
"cryptography",
"kinds of channels",
"security",
"proposal",
"abstraction",
"sender",
"recent proposals",
"messages",
"goal",
"adoption",
"channels",
"tool",
"proof",
"construction",
"idea",
"kind",
"natural construction",
"part",
"criteria",
"layer",
"ASC",
"tradition"
],
"name": "Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer",
"pagination": "85-104",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1048362085"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-319-26059-4_5"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-319-26059-4_5",
"https://app.dimensions.ai/details/publication/pub.1048362085"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:48",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_450.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-319-26059-4_5"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-26059-4_5'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-26059-4_5'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-26059-4_5'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-26059-4_5'
This table displays all metadata directly associated to this object as RDF triples.
132 TRIPLES
23 PREDICATES
58 URIs
51 LITERALS
7 BLANK NODES