🚀 go-pugleaf

In article <920409000001.pehmo@ositech.fi> pehmo@ositech.fi (Petteri Jarvinen) writes:
>> Stealth-tyyppinen virus voi siis v{{rent{{ kaiken levyliikenteen
>> siten, ett{ mitk{{n integriittisyystarkistukset eiv{t voi muutoksia
>> havaita.

Tsup tsup...

>T{m{ on totta. Siksi kaikki teoreettiset tarkastelut idiootti-
>varman CRC- tai muun tarkistussumman laskemiseksi ovat hedel-
>m{tt|mi{ eik{ niihin kannata tuhlata aikaa. Valitettavasti vain
>er{{t kaupalliset ohjelmat mainostavat juuri n{it{, muka
>"matemaattisesti 100% varmaksi todistettuja ohjelmiaan" t{ll{
>perusteella. 

V{ite: Edell{ oleva v{ite on _osittain_ v{{r{.

Todistus: Oletetaan, ett{ meill{ on lerppu (korppu) jonka tilan
haluamme varmistaa saastumattomaksi. Siis emme tarkista VAIN ohjelmaa
levylt{, vaan koko lerpun, josta laskemme tarkistussumman. K{ytt{en
tietenkin digitaalisia nimikirjoituksia. T{ll|in on mahdotonta
viruksen iskeyty{ k.o. lerpulle joutumatta havaituksi. (Olettaen
tietenkin, ett{ tarkastava ohjelma on virusvapaa, eli laskee summan ja
tarkistaa nimikirjoituksen oikein. On yhdentekev{{ onko virusta
muualla systeemiss{).

>- Miten voin olla T[YSIN varma siit{, ettei muistissa ole JUURI
>NYT jotakin sellaista eritt{in ovelaa virusta, joka osaa peitt{{
>j{lkens{ ja naamioida itsens{?
>  Konetta ei voi *todistaa* puhtaaksi. Voi vain toivoa, ett{
>alkuper{inen, koneen mukana tullut DOS-levyke olisi puhdas, mutta
>sek{{n ei aina pid{ paikkaansa.

T{ss{ ero viruksen ja dossin bugien v{lill{ katoaa. Siis virus == bugi
k{yttiksess{. Ilmeisesti on mahdotonta l|yt{{ kaikki bugit dossista
(ensinn{kin koska niit{ on niin monta... :-)

--
Jouko Holopainen : jhol@stekt.oulu.fi
 Forward he cried from the rear and the front rank died