Tesi etd-07042006-100614 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea vecchio ordinamento
Autore
Piccoli, Giuseppe
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
Relatori
Relatore Ferrari, Gian Luigi
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
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. |
|