Thesis etd-07042006-100614 |
Link copiato negli appunti
Thesis type
Tesi di laurea vecchio ordinamento
Author
Piccoli, Giuseppe
URN
etd-07042006-100614
Thesis title
CTS:
Un calcolo per la gestione del livello di affidabilità in reti di processi
Department
SCIENZE MATEMATICHE, FISICHE E NATURALI
Course of study
INFORMATICA
Supervisors
Relatore Ferrari, Gian Luigi
Keywords
- calcoli di processi
- sicurezza
- semantica osservazionale
- type system
- c-semiring
Graduation session start date
21/07/2006
Availability
Withheld
Release date
21/07/2046
Summary
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 |
|---|---|
The thesis is not available as per the author’s request. |
|