ETD system

Electronic theses and dissertations repository

 

Tesi etd-07042006-100614


Thesis type
Tesi di laurea vecchio ordinamento
Author
Piccoli, Giuseppe
URN
etd-07042006-100614
Title
CTS: Un calcolo per la gestione del livello di affidabilità in reti di processi
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Commissione
Relatore Ferrari, Gian Luigi
Parole chiave
  • calcoli di processi
  • sicurezza
  • semantica osservazionale
  • type system
  • c-semiring
Data inizio appello
21/07/2006;
Consultabilità
parziale
Data di rilascio
21/07/2046
Riassunto analitico
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