logo SBA

ETD

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

Tesi etd-07042006-100614


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