计算机病毒和入侵检测第二章课件.pdf

第2章计算机病毒理论模型 刘功申 上海交通大学网络空间安全学院 本章学习目标 • 掌握计算机病毒的抽象描述 • 掌握基于图灵机的计算机病毒模型 • 掌握基于递归函数的计算机病毒模型 • 掌握网络蠕虫传播模型 • 掌握计算机病毒预防理论模型 虚拟案例 • 一个文本编辑程序被病毒感染了。每当使用文本编辑程 序时，它总是先进行感染工作并执行编辑任务，其间， 它将有哪些信誉好的足球投注网站合适文件以进行感染。每一个新被感染的程序 都将执行原有的任务，并且也有哪些信誉好的足球投注网站合适的程序进行感染。 这种过程反复进行。当这些被感染的程序跨系统传播， 被销售，或者送给其他人时，将产生病毒扩散的新机会。 最终，在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; } 病毒伪代码的共同性质