Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version

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 e...

Descripción completa

Detalles Bibliográficos
Autores principales: Tran, Duong Dinh, Do, Canh Minh, Escobar, Santiago, Ogata, Kazuhiro
Formato: Online Artículo Texto
Lenguaje:English
Publicado: PeerJ Inc. 2023
Materias:
Cryptography
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10557497/
https://www.ncbi.nlm.nih.gov/pubmed/37810331
http://dx.doi.org/10.7717/peerj-cs.1556

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10557497/
https://www.ncbi.nlm.nih.gov/pubmed/37810331
http://dx.doi.org/10.7717/peerj-cs.1556

Ejemplares similares