Presentazione
Programma
Esami
Programma del Corso
Presentazione del Corso:
Contesto, problemi, obiettivi
;
Proprietà computazionalmente interessanti dei Sistemi Distribuiti Cooperativi
.
Esempi di sistemi distribuiti cooperativi complessi:
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
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
Possibili approfondimenti sulle ASM
Seminari tenuti dal Dott. Gennaro Vessio:
Modellazione del Protocollo N-AODV
Analisi della starvation mediante ASM
CSP
Introduzione a CSP
Operatori per il parallelismo in CSP
Esempio di applicazione: Introduzione alla sicurezza in CSP
Presentazione
Programma
Esami