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.

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 N-AODV e BN-AODV
• Esempio di applicazione 2: Modellazione di Grid
• 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
• Esempio di applicazione: Leader election per MANET in CSP

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