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
Analisi della starvation e del deadlock mediante ASM
Esempi di applicazione delle ASM
Esempio di applicazione 1:
Modellazione di Grid
Esempio di applicazione 2:
Modellazione di Kerberos
Esempio di applicazione 3:
Modellazione di N-AODV e BN-AODV
Possibili approfondimenti sulle ASM
CSP
Introduzione a CSP
Operatori per il parallelismo in CSP
Esempio di applicazione: Introduzione alla sicurezza in CSP
Presentazione
Programma
Esami