Sicurezza informatica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 48:
*Rischio elevato
*Rischio catastrofico
===Controllo della sicurezza di un programma===
Una volta prodotto il [[software]] si procede alla verifica del suo comportamento, in modo tale da effettuare una ricerca estesa dei difetti presenti, per passare poi alla loro eventuale eliminazione.
Esistono diversi modelli di sicurezza per il controllo dei programmi basati su due metodi differenti:
*'''Semantic-based security model'''(modelli di sicurezza basati sulla semantica): la sicurezza del programma controllato viene esaminata in termini di comportamento del programma
*'''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.
===Principali tecniche di attacco===
| |||