Next	1- History

Virus Verification and Removal
Tools and Techniques

David M. Chess
High Integrity Computing Lab, IBM T. J. Watson Research Center
Post Office Box 218, Yorktown Heights, NY, USA
November 18, 1991

• 1- History
• 2- Introduction
• 3- Virus Verifiers
• 4- VERV - A Prototype Virus Verifier and Remover
  • 4.1- VERV's virus-description language
  • 4.2- Repair
  • 4.3- VERV Options
• 5- Status and Future Goals

Next	1- History

 

  back to index