Security Analysis / Inference and Analysis of Formal Models of Botnet

Inference and Analysis of Formal Models of Botnet Author [ Various Authors ] Description : We propose a novel approach to infer complete protocol state machines in realistic high-latency network setting, and apply it to the analysis of botnet C&C protocols. Our proposed techniques enable an order of magnitude reduction in the number of queries [...]