Automi temporizzati come strumento di verifica per i protocolli di sicurezza
Un'analisi su un caso di studio
Versandkostenfrei!
Versandfertig in 6-10 Tagen
32,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
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 d...
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.
Andere Kunden interessierten sich für
