計(jì)算機(jī)病毒抽象理論及描述語(yǔ)言研究.pdf

1、　　本論文對(duì)計(jì)算機(jī)病毒抽象理論及計(jì)算機(jī)病毒描述語(yǔ)言進(jìn)行了深入研究，取得了如下具有創(chuàng)新性的成果： 1.定義了程序的傳染性，給出了一個(gè)嚴(yán)格的基于傳染性的計(jì)算機(jī)病毒的抽象定義；定義了程序的模擬性和∞模擬性，并根據(jù)不同模擬性質(zhì)給出了計(jì)算機(jī)病毒的一個(gè)自然層次V0、V1和V2；嚴(yán)格證明了這個(gè)層次的嚴(yán)格包含性。 2.給出了一個(gè)基于遞歸函數(shù)的抽象的計(jì)算機(jī)病毒描述框架；改進(jìn)了F.Cohen和L.M.Adleman關(guān)于計(jì)算機(jī)病毒的結(jié)論。

2、 3.證明了在理論上存在計(jì)算機(jī)病毒，它的傳染過(guò)程具有任意大計(jì)算復(fù)雜度；證明了存在計(jì)算機(jī)病毒，它的執(zhí)行過(guò)程具有任意大計(jì)算復(fù)雜度；證明了存在可判定的計(jì)算機(jī)病毒，它的任何確切檢測(cè)過(guò)程的計(jì)算開銷在無(wú)限個(gè)點(diǎn)上大于任意指定遞歸函數(shù)；證明了對(duì)于任意不可判定計(jì)算機(jī)病毒，存在一個(gè)具有任意大計(jì)算復(fù)雜度的檢測(cè)過(guò)程，。給出了極小檢測(cè)過(guò)程的定義，并證明了存在不可判定計(jì)算機(jī)病毒，它們沒(méi)有極小檢測(cè)過(guò)程。 4.設(shè)計(jì)了一個(gè)計(jì)算機(jī)病毒描述語(yǔ)言VD。 5