Formulistic Detection of Malicious Fast-Flux Domains | IEEE Conference Publication | IEEE Xplore