Computer viruses: from theory to applications

The formalization foundations

F. Cohen and L. Adleman's formalization

Taxonomy, techniques and tools

Fighting against viruses

Computer viruses in interpreted programming language

Companion viruses

Worms

Computer viruses and applications

BIOS viruses

Applied cryptanalysis of cipher systems.