logo SBA

ETD

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

Tesi etd-05222006-143639


Tipo di tesi
Tesi di dottorato di ricerca
Autore
Zunino, Roberto
Indirizzo email
zunino@di.unipi.it, roberto.zunino@sns.it
URN
etd-05222006-143639
Titolo
Models for Cryptographic Protocol Analysis
Settore scientifico disciplinare
INF/01
Corso di studi
INFORMATICA
Relatori
relatore Degano, Pierpaolo
Parole chiave
  • cryptography
  • security protocols
  • static analysis
  • verification
Data inizio appello
26/06/2006
Consultabilità
Completa
Riassunto
Formal models for security protocols often rely on assumptions not to be found in computational models. A first assumption is the perfect encryption one: encrypted data can not be manipulated in any way unless the decryption key is known. Another usual assumption is the free algebra one: only a few cryptographic primitives are considered in the model, and these must form a free algebra. We study these assumptions, and relax them to define more general models. We then define static analysis techniques for veryfing protocols secure in our models.
File