Sicurezza informatica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 53:
*'''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===
| |||