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