Some Models in the Theory of Computer Viruses Propagation