Presentazione
Programma
Esami
Programma del Corso
Presentazione del Corso:
Contesto, problemi, obiettivi
;
Proprietà computazionalmente interessanti
.
Esempi di sistemi complessi:
Un modello per la sicurezza in rete
;
Mobile Ad-hoc NETwork
e
Sistemi Grid
.
Reti di Petri - PN:
Introduzione
Alcuni esempi di applicazioni tipiche
Estensioni
Proprietà
Esempio di applicazione: Modellazione di protocolli di routing di una Mobile Ad-hoc NETwork
Rappresentazione algebrica
Abstract State Machine - ASM:
Introduzione
Concetti di base
Il metodo ASM
Distributed Abstract State Machine - DASM
Analisi di proprietà di sistemi mediante ASM
Seminari tenuti dal Dott. Gennaro Vessio:
Analisi della starvation e del deadlock mediante ASM
Studio della Network Topology Awareness e del Blackhole mediante ASM
Esempi di applicazione delle ASM
Esempio di applicazione 1:
Modellazione di Grid
Esempio di applicazione 2:
Modellazione di un protocollo di sicurezza per MANET
Esempio di applicazione 3:
Modellazione di Kerberos
CSP
Introduzione a CSP
Operatori per il parallelismo in CSP
Esempio di applicazione: Introduzione alla sicurezza in CSP
Presentazione
Programma
Esami