Title :
A proposal for a verification-based virus filter
Author :
Crocker, Steve ; Pozzo, Maria
Abstract :
An approach for filtering out programs that make unauthorized modifications is outlined. The approach is based on formal specification and verification techniques, is fail-safe, and does not require any special architectural support
Keywords :
formal specification; program verification; security of data; formal specification; unauthorized modifications; verification techniques; verification-based virus filter; Computer science; Computer viruses; Documentation; Filters; Formal specifications; Information systems; Invasive software; Proposals; Protection; Viruses (medical);
Conference_Titel :
Security and Privacy, 1989. Proceedings., 1989 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-1939-2
DOI :
10.1109/SECPRI.1989.36306
