Defence against Botnets: A Formal Definition and a General Framework | IEEE Conference Publication | IEEE Xplore