A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.
Jingjing ZhangXianming GaoLin YangTao FengDongyang LiQiang WangPublished in: Secur. Commun. Networks (2021)
Keyphrases
- formal analysis
- symbolic model checking
- formal methods
- model checker
- model checking
- ban logic
- partial observability
- formal verification
- conformant planning
- symbolic representation
- agent model
- temporal logic
- binary decision diagrams
- formal specification
- artificial intelligence
- knowledge acquisition
- machine learning
- description language
- lightweight
- knowledge based systems
- reinforcement learning