第2章 计算机病毒理论模型.pdf

计算机病毒理论模型 刘功申 上海交通大学信息安全工程学院 本章学习目标 掌握计算机病毒的抽象描述 掌握基于图灵机的计算机病毒模型 掌握基于递归函数的计算机病毒模型 掌握网络蠕虫传播模型 掌握计算机病毒预防理论模型 信息安全工程学院 虚拟案例 一个文本编辑程序被病毒感染了。每当使用文本编辑程 序时，它总是先进行感染工作并执行编辑任务，其间， 它将搜索合适文件以进行感染。每一个新被感染的程序 都将执行原有的任务，并且也搜索合适的程序进行感 染。这种过程反复进行。当这些被感染的程序跨系统传 播，被销售，或者送给其他人时，将产生病毒扩散的新 机会。最终，在1990年1月1 日以后，被感染的程序终止 了先前的活动。现在，每当这样的一个程序执行时，它 将删除所有文件。 信息安全工程学院 计算机病毒伪代码 {main:= Call injure; … Call submain; … Call infect; } {injure:= If condition then whatever damage is to be done and halt; } {infect:= If condition then infect files; } 信息安全工程学院 案例病毒的伪代码 {main:= Call injure; Call submain; Call infect; } {injure:= If date= Jan. 1,1990 then While file != 0 File = get-random-file; Delete file; Halt; } 信息安全工程学院 {infect:= If true then File = get-random-executable-file; Rename main routine submain; Prepend self to file; } 信息安全工程学院 精简后的伪代码(压缩或变型) {main:= Call injure; Decompress compressed part of program; Call submain; Call infect; } {injure:= If false then halt; } 信息安全工程学院 {infect:= If executable != 0 then File = get-random-executable-file; Rename main routine submain; Compress file; Prepend self to file; } 信息安全工程学院