DocumentCode
2344451
Title
A proposal for a verification-based virus filter
Author
Crocker, Steve ; Pozzo, Maria
fYear
1989
fDate
1-3 May 1989
Firstpage
319
Lastpage
324
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);
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1989. Proceedings., 1989 IEEE Symposium on
Conference_Location
Oakland, CA
Print_ISBN
0-8186-1939-2
Type
conf
DOI
10.1109/SECPRI.1989.36306
Filename
36306
Link To Document