Memory Efficient and Provably Secure Virus Detection

Lipton et al. introduced a provably secure virus detection scheme. However, their scheme needs larger memory than the original program because the program is extended to detect virus injections. In this paper, we introduce a new virus detection scheme which needs smaller memory than Lipton et al.'s scheme. We also prove that our scheme is secure in the same security model of their scheme.