Ceccato, Alessia (2003) Analisi statica dello Spi-calcolo. [Laurea vecchio ordinamento] Full text disponibile come:
AbstractIn questo lavoro ci proponiamo quindi di analizzare i protocolli di comunicazione, utilizzando lo Spi-calcolo come modello per poterli rappresentare. Lo Spi-calcolo estende un particolare modello per la connessione dei sistemi interattivi (il Ï€-calcolo) al quale vengono aggiunte le operazioni comuni nei protocolli di sicurezza. Vi sono molti dialetti dello Spi-calcolo, noi considereremo quello proposto in [3] che utilizza una semantica di tipo “late” [26]
BibliografiaI riferimenti della bibliografia possono essere cercati con Cerca la citazione di AIRE, copiando il titolo dell'articolo (o del libro) e la rivista (se presente) nei campi appositi di "Cerca la Citazione di AIRE".Le url contenute in alcuni riferimenti sono raggiungibili cliccando sul link alla fine della citazione (Vai!) e tramite Google (Ricerca con Google). Il risultato dipende dalla formattazione della citazione e non da noi. Solo per lo Staff dell Archivio: Modifica questo record |