Automi temporizzati come strumento di verifica per i protocolli di sicurezza

Taliansky jazyk

Automi temporizzati come strumento di verifica per i protocolli di sicurezza

Vydavateľstvo: Edizioni Sapienza
Rok vydania: 2021
Formát: Paperback
Rozmer: 220 x 150 mm
Jazyk: Taliansky jazyk
ISBN: 9786203133561

Na objednávku, dodanie 2-4 týždne

44.35 €

bežná cena: 50.40 €

O knihe

Gli automi temporizzati sono un'estensione dell'approccio auto-teorico alla modellazione di sistemi in tempo reale che introduce il tempo negli automi classici. Da quando è stato proposto per la prima volta nei primi anni Novanta, è diventato un importante settore di ricerca ed è stato ampiamente studiato sia nel contesto dei linguaggi formali che della modellazione e della verifica dei sistemi in tempo reale. Gli automi temporizzati utilizzano la modellazione a tempo denso, consentendo un'efficiente verifica modellistica di sistemi sensibili al tempo il cui corretto funzionamento dipende dalle proprietà di temporizzazione. Una di queste aree di applicazione è la verifica dei protocolli di sicurezza. Questo libro si concentra sul modello degli automi temporizzati e lo utilizza come strumento di verifica dei protocolli di sicurezza. Come caso di studio, il protocollo di autenticazione ripetuto Neuman-Stubblebine Repeated Authentication Protocol viene modellato e verificato utilizzando le proprietà sensibili al tempo del modello. Vengono analizzati i difetti del protocollo e vengono commentati i vantaggi e le sfide del modello.