View Document Preview and Link Document Date: 2010-08-06 19:08:26 Open Document File Size: 498,20 KB Share Result on Facebook
City Chicago / / Company Computer-Communication Networks / / Country United States / / Currency USD / / Facility c Eui Chul Richard Shin Dawn Song University of California / / IndustryTerm polynomial algorithm / State-machine inference algorithms / invasive software / botnet protocols / automatic tools / real-world network / reactive systems / finite-state protocols / template server / automatic protocol inference technology / inference algorithms / On-line techniques / university infrastructure / botnet protocol / realistic network / communication protocol / communication protocols / interactive on-line inference / computing / realistic high-latency network / possible applications / on-line inference techniques / / Organization Army Research Office / office of Naval Research / National Science Foundation / Botnet Command / University of California / Berkeley / Air Force office of Scientific Research / / Person Yuan Cho Domagoj Babi / / Position teacher / Major / representative / analyst / model of inter-server communication / formal model of such communication / model of the back-channel communication / Model Analysis / / ProgrammingLanguage L / Python / C++ / / ProvinceOrState Illinois / California / / Technology encryption / MegaD botnet protocol / inference algorithms / MegaD C&C protocol / automatic protocol inference technology / INTRODUCTION Protocol / artificial intelligence / basic L∗ algorithm / botnet C&C protocol / protocol encryption / studied protocol / communication protocol / caching / handle encryption / communication protocols / same protocol / html / L∗ algorithm / Operating Systems / finite-state protocols / State-machine inference algorithms / polynomial algorithm / Network Protocols / / URL http / 
Inference and Analysis of Formal Models of Botnet Command and Control Protocols Chia Yuan Cho Domagoj Babi´c