Sicurezza informatica: differenze tra le versioni

Versione delle 15:30, 7 apr 2007

Versione delle 12:19, 8 apr 2007

Riga 54:

*'''Security-typed language'''(modelli di sicurezza basati sul linguaggio): i tipi delle variabili sono seguiti dall'esplicazione delle politiche adottate per l'uso dei dati tipati.

Per essere efficace un [[programma]] deve essere controllato nelle sue specifiche e deve essere privo di difetti nel codice, a questo fine viene effettuato un controllo delle [[specifiche]] del programma e delle prestazioni correlate all'affidabilità, in secondo luogo viene analizzata ogni parte di [[codice]] e funzione del [[sistema]].

===Errori di programma===

L' [IEEE] ('''Institute of Electrical and Electronics Engineers''') ha catalogato gli errori nel software in tre diverse voci a seconda della natura degli errori stessi. Esse sono:

*'''Error''': è un errore umano verificatosi durante il processo di interpretazioone delle specifiche oppure durante l'uso di un metodo o nel tentativo di risoluzione di un problema

*'''Failure''': è un comportamento del [[software]] imprevisto ed incongruo rispetto alle specifiche del [[programma]] stesso

*'''Fault''': è un difetto del codice sorgente.

Gli '''errori di programma non nocivi''', come ad esempio gli [[spyware]] ed il [[buffer overflow]] hanno la caratteristica di non modificare i file di sistema e non recare danno alle caratteristiche del sistema stesso.

Troviamo quì sotto elencati una serie di errori e di attachi al [[software]] di differente entità.

===Principali tecniche di attacco===