A Proposal for a Verification-Based Virus Filter. - Stephen D. Crocker; Maria Pozzo (S&P, 1989)