logo SBA

ETD

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

Tesi etd-01232009-153453


Tipo di tesi
Tesi di laurea specialistica
Autore
CILEA, DIEGO
URN
etd-01232009-153453
Titolo
Attestazione remota dell'integrita semantica di un sistema
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
TECNOLOGIE INFORMATICHE
Relatori
Relatore Ing. Guidi, Luca
Relatore Prof. Baiardi, Fabrizio
Parole chiave
  • attestazione
  • integrità
  • introspezione
  • scada
  • sicurezza
  • trusted platform module
  • virtualizzazione
Data inizio appello
13/02/2009
Consultabilità
Completa
Riassunto
La tesi è centrata sulla sicurezza della gestione remota di sistemi SCADA. La tesi dimostra come
tale gestione richieda l'attestazione remota dell'integrità di sistemi e propone un modello
teorico di trust e un protocollo di attestazione remota basato su tecnologie di virtualizzazione.
La tesi presenta una realizzazione prototipale del protocollo di cui valuta le prestazioni.
File