Summary

2020

Session Number:C06

Session:

Number:C06-3

Memory Efficient and Provably Secure Virus Detection

Hayami Motohashi,  Kazuki Yoneyama,  

pp.499-503

Publication Date:2020/10/18

Online ISSN:2188-5079

DOI:10.34385/proc.65.C06-3

PDF download

PayPerView

Summary:
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.