Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking

Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking

This work presents a security analysis of the QUIC handshake protocol based on symbolic model checking. As a newly proposed secure transport protocol, the purpose of QUIC is to improve the transport performance of HTTPS traffic and enable rapid deployment and evolution of transport mechanisms. QUIC...

Full description

Bibliographic Details
Main Authors: Jingjing Zhang, Lin Yang, Xianming Gao, Gaigai Tang, Jiyong Zhang, Qiang Wang
Format: Article
Language:English
Published: IEEE 2021-01-01
Series:IEEE Access
Subjects:
Model checking
applied pi calculus
cryptographic protocol
QUIC
formal verification
ProVerif
Online Access:https://ieeexplore.ieee.org/document/9328313/

Internet

https://ieeexplore.ieee.org/document/9328313/

Similar Items