[Davida89] G. Davida, Y. Desmedt, and B. Matt, Defending Against Computer Viruses through Cryptographic Authentication, 1989 IEEE Symposium on Computer Security and Privacy, pp 312-318. [This paper is a minor extension of previous results on integrity protection through cryptographic checksums.]