Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
About this item
Full title
Author / Creator
Publisher
San Diego, USA: PeerJ. Ltd
Journal title
Language
English
Formats
Publication information
Publisher
San Diego, USA: PeerJ. Ltd
Subjects
More information
Scope and Contents
Contents
This article presents a security formal analysis of the hybrid post-quantum Transport Layer Security (TLS) protocol, a quantum-resistant version of the TLS protocol proposed by Amazon Web Services as a precaution in dealing with future attacks from quantum computers. In addition to a classical key exchange algorithm, the proposed protocol uses a po...
Alternative Titles
Full title
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_doaj_primary_oai_doaj_org_article_cf6379819ec84ebd988a94b441821f45
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_doaj_primary_oai_doaj_org_article_cf6379819ec84ebd988a94b441821f45
Other Identifiers
ISSN
2376-5992
E-ISSN
2376-5992
DOI
10.7717/peerj-cs.1556
