Strumento avanzato per il controllo dei protocolli di sicurezza
Il progetto AVISPA si è focalizzato sullo sviluppo di una tecnologia atta a permettere la validazione automatica delle applicazioni e dei protocolli di sicurezza Internet. La tecnologia può contribuire allo sviluppo della prossima generazione di protocolli di rete, più sicuri e meglio accettati dal pubblico. Grazie a facili specifiche di protocollo e all'analisi automatica, la robusta tecnologia potrebbe essere adottata dal mondo industriale e accademico, oltre che dagli organismi di standardizzazione. Tra i risultati del progetto primeggia CLATSE, che testa i protocolli di sicurezza usando una logica vincolata, una solida semplificazione euristica e tecniche di eliminazione della ridondanza. Più in dettaglio, lo strumento trasforma le specifiche del protocollo di sicurezza scritte nel formato intermedio di AVISPA in un pacchetto di vincoli che permetto di individuare gli attacchi al protocollo. CLATSE provvede alla traduzione e al controllo in modo totalmente automatico, senza alcuna necessità di intervento esterno. L'approccio adottato consiste nella modellizzazione di ciascun passo del protocollo con un pacchetto di vincoli minimi sulla conoscenza dell'avversario. Ad esempio, un vincolo di contraffazione per l'attaccante potrebbe essere un messaggio ricevuto da un partecipante affidabile. Altri vincoli sono condizioni quali eguaglianza o non eguaglianza, elemento o non elemento di una lista. Tra i vantaggi fondamentali del sistema: trattamento dell'input a velocità eccezionale, esecuzione efficiente del protocollo, output di facile uso (a lettura d'uomo), facile gestione delle proprietà algebriche e risultati rapidi. Costruito con struttura modulare, CLATSE può essere facilmente ampliato per gestire le proprietà algebriche degli operatori crittografici. Supporta pienamente il rilevamento type flaw e gestisce i link di messaggio associati. Si cercano ulteriori collaborazioni con partner industriali e organismi di standardizzazione che operano nel settore dello sviluppo o delle applicazioni di protocolli. Altri partner potenziali possono essere i rappresentanti accademici interessati ai metodi formali e al ragionamento automatizzato per i protocolli di sicurezza. Per maggiori informazioni, cliccare: http://www.avispa-project.org(si apre in una nuova finestra)
