計(jì)算機(jī)病毒傳播模型簡(jiǎn)介

(重慶三峽學(xué)院，智能信息處理與控制重慶高校市級(jí)重點(diǎn)實(shí)驗(yàn)室，計(jì)算機(jī)科學(xué)與工程學(xué)院 重慶 萬(wàn)州 404100)

人類(lèi)社會(huì)經(jīng)歷了幾千年的農(nóng)耕文明和幾百年的工業(yè)文明后，于二十世紀(jì)中葉跨入了信息時(shí)代。當(dāng)今社會(huì)的信息技術(shù)突飛猛進(jìn)，催生了歷史上的奇跡：互聯(lián)網(wǎng)，它極大地推動(dòng)了社會(huì)的進(jìn)步，改變了人們的思維方式，人類(lèi)進(jìn)入了互聯(lián)網(wǎng)時(shí)代[1]

“這是最好的時(shí)代，這是最壞的時(shí)代”，互聯(lián)網(wǎng)在給人類(lèi)巨大好處的同時(shí)，也帶來(lái)網(wǎng)絡(luò)病毒(也稱為計(jì)算機(jī)病毒)，網(wǎng)絡(luò)病毒可能會(huì)自行復(fù)制，或更改應(yīng)用軟件或系統(tǒng)的可運(yùn)行組件、刪除文件、更改數(shù)據(jù)、拒絕提供服務(wù)[2]等等，已經(jīng)變成當(dāng)代社會(huì)的一個(gè)巨大威脅。最近幾十年，計(jì)算機(jī)病毒的大規(guī)模爆發(fā)曾造成巨大經(jīng)濟(jì)損失。可是補(bǔ)丁的開(kāi)發(fā)卻往往滯后于病毒的演化，這就迫切需要從宏觀上全面理解病毒傳播的方式，制定有效的防范措施。計(jì)算機(jī)病毒模型應(yīng)運(yùn)而生。

一、基本思想

借鑒生物傳染病的倉(cāng)室模型，建立并研究計(jì)算機(jī)病毒傳播的動(dòng)力系統(tǒng)模型。隨著計(jì)算機(jī)網(wǎng)絡(luò)(特別是英特網(wǎng)和無(wú)線網(wǎng))的迅速普及，網(wǎng)絡(luò)已經(jīng)取代傳統(tǒng)的移動(dòng)存儲(chǔ)介質(zhì)，上升為計(jì)算機(jī)病毒最主要的傳播途徑，結(jié)合網(wǎng)絡(luò)來(lái)研究計(jì)算機(jī)病毒的傳播規(guī)律是必然的趨勢(shì)。基本思想是：將接入英特網(wǎng)的全體計(jì)算機(jī)分為若干類(lèi)(稱為倉(cāng)室)，研究各倉(cāng)室數(shù)量隨時(shí)間演化的規(guī)律，其目的是預(yù)測(cè)病毒的演化趨勢(shì)，有效防范病毒通過(guò)網(wǎng)絡(luò)進(jìn)行傳播。近年來(lái)，學(xué)者們借鑒生物病毒傳播模型的豐富研究成果，提出了幾個(gè)基礎(chǔ)性的計(jì)算機(jī)病毒傳播模型。我們主要介紹其中的兩個(gè)模型。

二、兩個(gè)模型

1.SIR模型，將網(wǎng)絡(luò)上的計(jì)算機(jī)分為三種狀態(tài)：易感染狀態(tài) S(Susceptible)，感染狀態(tài) I(Infected)和恢復(fù)狀態(tài)R(Recovered)。易感染狀態(tài)的計(jì)算機(jī)被病毒感染后轉(zhuǎn)變?yōu)楦腥緺顟B(tài)，感染狀態(tài)的計(jì)算機(jī)在病毒得到清除后便不會(huì)再被相同的病毒所感染，也不能向其他計(jì)算機(jī)傳播病毒，即進(jìn)入恢復(fù)狀態(tài)。

SIR模型可用微分方程組表示如下：

在SIR 模型的基礎(chǔ)上進(jìn)一步提出其他模型：SIRS,SEIR,SEIRS,SEI,SEIS等。

2.SLBS模型，大體上講，可以將靜態(tài)病毒對(duì)應(yīng)于潛伏期生物病毒，將動(dòng)態(tài)病毒對(duì)應(yīng)于傳染期生物病毒。靜態(tài)病毒雖然不具有主動(dòng)傳染性，不能直接傳染其它文件，但具有被動(dòng)傳染性，可以通過(guò)文件復(fù)制、文件下載等方式間接地傳染其它計(jì)算機(jī)或者移動(dòng)存儲(chǔ)介質(zhì)。而潛伏期生物病毒不具有類(lèi)似特點(diǎn)。在建立描述計(jì)算機(jī)病毒傳播行為的數(shù)學(xué)模型時(shí)，不能完全照搬傳染病模型，而應(yīng)該將靜態(tài)病毒的被動(dòng)傳染性考慮進(jìn)去。遺憾的是，現(xiàn)有的計(jì)算機(jī)病毒傳播模型均未考慮靜態(tài)病毒的被動(dòng)傳染性，不能真實(shí)地反映計(jì)算機(jī)病毒的傳播行為。鑒于此，有學(xué)者提出一個(gè)新的計(jì)算機(jī)病毒模型——SLBS(Susceptible,Latent,Breaking-out)。

圖1 新模型示意圖

SLBS模型的數(shù)學(xué)表示如下：

(3.1)

其初始條件為S(0)≥0，L(0)≥0，B(0)≥0。

研究計(jì)算機(jī)病毒傳播模型能幫我們更好理解網(wǎng)絡(luò)病毒怎么在網(wǎng)絡(luò)上傳播的。研究網(wǎng)絡(luò)傳播的最終目的不但要理解傳染過(guò)程和預(yù)測(cè)它們的習(xí)慣，而且要控制它們的行為[4]。