Report - Detecting Malicious Code by Model Checking...J. Kinder, S. Katzenbeisser, C. Schallhart, H. Veith 4/27 E-Mail Worms – Facts • Predominantly variants of existing worms – Currently

Please pass captcha verification before submit form