Formal analysis of QUIC handshake protocol using ProVerif.

Jingjing Zhang Lin Yang Xianming Gao Qiang Wang

Published in: CSCloud/EdgeCom (2020)

Keyphrases

formal analysis
ban logic
formal methods
agent model
payment protocol
databases
similarity search
black box