Theory of antivirus