Security and Communication Networks

Research Article

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

Figure 8

Promela model of the server.