ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-07042006-100614

Tipo di tesi

Tesi di laurea vecchio ordinamento

URN

etd-07042006-100614

Titolo

CTS: Un calcolo per la gestione del livello di affidabilità in reti di processi

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

INFORMATICA

Parole chiave

c-semiring
calcoli di processi
semantica osservazionale
sicurezza
type system

Data inizio appello

21/07/2006

Consultabilità

Non consultabile

Data di rilascio

21/07/2046

Riassunto (Inglese)

Riassunto (Italiano)

Nella dissertazione viene introdotto un calcolo di processi, una estensione del pi-calcolo distribuito con operazioni per la definizione e la gestione del livello di trust dei nodi di una rete. La nozione di livello di trust viene formalizzata mediante una opportuna struttura algebrica (C-semirings). Viene inoltre sviluppata una nozione di tipo che permette di caratterizzare i livelli di trust

File

Nome file	Dimensione
La tesi non è consultabile. Contatta l’autore