Security and Communication Networks

Research Article

A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking

Figure 10

The client process in applied PI calculus.