logo SBA

ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-05222006-143639


Thesis type
Tesi di dottorato di ricerca
Author
Zunino, Roberto
email address
zunino@di.unipi.it, roberto.zunino@sns.it
URN
etd-05222006-143639
Thesis title
Models for Cryptographic Protocol Analysis
Academic discipline
INF/01
Course of study
INFORMATICA
Supervisors
relatore Degano, Pierpaolo
Keywords
  • static analysis
  • security protocols
  • cryptography
  • verification
Graduation session start date
26/06/2006
Availability
Full
Summary
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