On the Security of Software Systems and Services
- Language-based and history-based security
- Formal methods applied to the security analysis of composed systems
Università di Pisa
Settore: Informatica - INF/01
Dottorando: Gabriele Costa
Referente: Fabio Martinelli
Referente: Pierpaolo Degano
