Per un internet più veloce e più sicuro
Il progetto AVISPA si è concentrato su tecniche e strumenti avanzati per l'analisi dei protocolli sensibili alla sicurezza usati per supportare la prossima generazione di applicazioni Internet distribuite. Uno dei principali obiettivi era la progettazione di un linguaggio ad alto livello per la specifica dei protocolli di sicurezza Internet. Basato sulla semantica formale, il linguaggio agevola la traslazione da descrizioni di protocollo altamente tecniche ad un formato più dichiarativo, in grado di supportare l'analisi formale. L'HLPSL (high-level protocol specification language) progettato supporta la descrizione di suite di protocollo Internet, obiettivi di sicurezza e assunzioni sull'ambiente. La sua accresciuta modularità consente di specificare pattern complessi di controllo dei flussi, strutture di dati e differenti modelli di talpa. La combinazione di linguaggio formale con la semantica logica temporale offre maggiori capacità d'uso a obiettivi multipli con l'idonea espressività. Rispondendo alle esigenze sia degli ingegneri che dei progettisti di protocollo degli enti di standardizzazione, HLPSL si è dimostrato efficiente per la modellazione dei protocolli di sicurezza. La sua facilità d'uso offre all'utilizzatore una maggiore flessibilità per la costruzione di modelli affidabili e gli consente di esaminare le differenti assunzioni sull'ambiente d'esecuzione del protocollo. Per maggiori informazioni, cliccare: http://www.avispa-project.org