Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song. Inference and analysis of formal models of botnet command and control protocols. In Ehab Al-Shaer, Angelos D. Keromytis, Vitaly Shmatikov, editors, Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010. pages 426-439, ACM, 2010. [doi]
Abstract is missing.