Security and Communication Networks

Research Article

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

Figure 9

Promela model of the attacker.