Formal analysis of QUIC handshake protocol using ProVerif

Zhang，Jingjing1; Yang，Lin2; Gao，Xianming2; Wang，Qiang3

10.1109/CSCloud-EdgeCom49738.2020.00030

2020-08-01

978-1-7281-6551-6

Proceedings - 2020 7th IEEE International Conference on Cyber Security and Cloud Computing and 2020 6th IEEE International Conference on Edge Computing and Scalable Cloud, CSCloud-EdgeCom 2020

132-138

1-3 Aug. 2020

New York, NY, USA

This paper presents a formal analysis of the QUIC protocol. This newly proposed protocol is currently under the process of standardization, and it is still unknown whether the proposed protocol provides the claimed security guarantees. To fill this gap, we model the QUIC handshake protocol in the applied pi calculus and perform a comprehensive formal analysis using ProVerif. To the best of our knowledge, this is the first thorough study on the formal analysis of QUIC handshake protocol.

Formal verification ProVerif QUIC Security protocol

其他

英语

EI

20204209340620

Calculations ; Edge computing

Data Processing and Image Processing:723.2 ; Mathematics:921

2-s2.0-85092327122

Scopus

1.Army Engineering University of Pla,College of Command and Control Engineering,Nanjing,China
2.Natl. Key Lab. of Sci. and Technol. on Info. System Security Chinese Academy of Military Science,Beijing,China
3.Southern University of Science and Technology,Department of Computer Science and Engineering,Shenzhen,China

Zhang，Jingjing,Yang，Lin,Gao，Xianming,et al. Formal analysis of QUIC handshake protocol using ProVerif[C],2020:132-138.