Declarațiile de concept - studopediya

Metode de programe de protecție din programele de protecție issledovaniya.Dlya studiilor necesare pentru a aplica metode de protecție din dosarul de cercetare cu codul executabil, stocate pe o unitate externă, precum și metode de protecție a codului executabil care este încărcat în memorie pentru a rula acest program.

În primul caz, protecția se poate baza pe o parte de criptare secretă a programului, în timp ce al doilea - pentru a bloca accesul la cod de program executabil în memorie de către debugger. În plus, înainte de a închide programul protejat trebuie resetat toate codul în memorie. Acest lucru previne copierea neautorizată a memoriei decriptat cod executabil după executarea programului protejat.

Astfel, protejate de programul de cercetare ar trebui să includă următoarele componente:

- criptat partea secretă;

Initializatorul trebuie să furnizeze următoarele funcții:

- economisire mediu de operare parametrii (conținutul vectorului de întreruperi ale registrelor CPU etc.) care funcționează;

- interzicerea tuturor întrerupe interne și externe, a căror prelucrare nu pot fi înregistrate în programul de protecție;

- încărcarea în memorie și decriptarea codului secret al programului;

- transferul de control al programului secret.

Partea secretă a programului este conceput pentru a efectua de bază

funcțiile obiective ale programului, și este protejat prin criptare pentru a preveni introducerea în ea backdoors.

Destructor după părțile secrete ale programului trebuie să îndeplinească următoarele etape:

- resetați codul secret în memorie;

- restaurarea parametrilor de funcționare ai sistemului (vectorii de întrerupere, conținutul registrelor CPU, etc.) care au fost setate la întreruperile necontrolate interdicție;

- efectua operațiuni care nu pot fi îndeplinite în cazul în care interzicerea întreruperilor necontrolate;

- eliberarea tuturor resurselor informatice neutilizate și finalizarea programului.

Pentru o mai mare fiabilitate, initializarea poate fi parțial criptate și efectua ca se poate decripta. Decriptate în timp ce complet poate partea secretă a programului. Aceasta se numește decriptare dinamic decriptarea cod executabil. În acest caz, următoarele secțiuni ale programelor înainte de executarea efectivă a decriptat și distruse imediat după executarea.

Pentru a îmbunătăți eficiența programelor de protecție este necesară din cercetarea să se introducă în programul de caracteristici suplimentare de securitate pentru a proteja împotriva urmărire. Aceste caracteristici includ:

- numărul de periodice de control operațional
memoria ocupată de sursa protejată; comparație
suma de control curent cu preformat
de referință și de a lua măsurile necesare în cazul unei nepotriviri;

- verificați numărul de ocupat program de RAM protejate; comparativ cu suma la care este adaptat programul, și luând măsurile necesare în caz de nerespectare;

- monitorizarea timpului de execuție a părților individuale ale programului;

- cheie de blocare pe timpul de procesare algoritmi extrem de clasificate.

Principalul (nedetectabil) conceptul logicii matematice este aceea a unei declarații simplu ..

Definiția. Spunând înțeleg, de obicei, în fiecare propoziție declarativă spunem ceva despre ceva, iar în acest caz, putem spune dacă este adevărat sau fals, în împrejurările de timp și loc. O valoare boolean este o afirmație adevărată și .lozh.

Iată câteva exemple de declarații.

1) se află pe Volhov Novgorod.

2) Paris - capitala Angliei.

3) nu Karas pește.

4) Numărul 6 este divizibil cu 2 și 3.

5) În cazul în care un tânăr a absolvit liceul, el a primit un certificat de înmatriculare.

Declarațiile 1), 4), 5) sunt adevărate. și exprimare 2) și 3) sunt false.

Evident, propunerea Trăiască sportivii noștri! „, Nu este o declarație.

Zicând este o afirmație, a numit-o simplu sau elementar. Exemple declarații propozitiilor elementare pot servi 1) și 2).

Declarațiile, care sunt obținute din elementare folosind ligamente gramaticale NU, AND, OR. IF. CEVA. Atunci și numai atunci. Se numește complex sau compozit. Astfel, declarația 3) se obține dintr-o simplă declarație Karas - pește. prin

negație NU enunț 4) format din declarațiile elementare numărul 6 împărțit la 2. Numărul 4 este împărțit în 3 6 conectat Uniunea I. enunț 5) este obținut de la simplu Exemple de băiat a absolvit liceul. Tânărul devine matricol. folosind gramatical ligament .Dacă. CEVA. Expresiile complexe pot fi derivate din propoziții simple folosind ligamente .sau gramaticale. Atunci și numai atunci ..

În algebra logicii, toate sentințele sunt luate în considerare numai în ceea ce privește valorile lor logice, iar conținutul de pe distrasă lor de zi cu zi. Se crede că fiecare afirmație este fie adevărată. sau false, și nici o propunere nu poate fi atât de adevărat și fals.

În cele ce urmează vom nota propositions elementare mici litere latine: x. y, z. și, b. a. ; adevărata valoare enunț numărul 1, și o valoare de fals numărul 0.

În cazul în care declarația este adevărat, de asemenea. vom scrie = 1 și în cazul în care o este falsă, atunci a = 0.