MCF - A MALICIOUS CODE FILTER

被引:48
作者
LO, RW [1 ]
LEVITT, KN [1 ]
OLSSON, RA [1 ]
机构
[1] UNIV CALIF DAVIS, DEPT COMP SCI, DAVIS, CA 95616 USA
关键词
MALICIOUS CODE DETECTION; STATIC ANALYSIS; PROGRAM SLICING;
D O I
10.1016/0167-4048(95)00012-W
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The goal of this research is to develop a method to detect malicious code (e.g. computer viruses, worms, Trojan horses, and time/logic bombs) and security-related vulnerabilities in system programs. The Malicious Code Filter (MCF) is a programmable static analysis tool developed for this purpose. It allows the examination of a program before installation, thereby avoiding damage a malicious program might inflict. This paper summarizes our work over the last few years that led us to develop MCF. © 1995.
引用
收藏
页码:541 / 566
页数:26
相关论文
共 17 条
[1]  
BALDWIN RW, 1990, KUANG RULE BASED SEC
[2]  
Boyer Robert S., 1975, P INT C REL SOFTW, P234, DOI DOI 10.1145/800027.808445
[3]  
Burger Ralf, 1988, COMPUTER VIRUSES HIG
[4]  
Cohen F., 1987, Computers & Security, V6, P22, DOI 10.1016/0167-4048(87)90122-2
[5]  
COHEN F, 1987, COMPUT SECUR, P505
[6]  
CRAWFORD R, 1991, MAY P DEP EN COMP SE, P17
[7]  
CROCKER S, 1989, MAY P IEEE COMP SOC, P319
[8]  
FARMER D, 1990, COPS ROBBERS UN STAR
[9]  
HAMLET R, 1991, FEB P IFIP WORK C DE, P162
[10]  
LO RW, 1992, THESIS U CALIFORNIA