Analysis of Security Protocols in Embedded Systems

Alessandro Bruni

Department of Applied Mathematics and Computer Science

Research output: Book/Report › Ph.D. thesis

1365 Downloads (Orbit)

1 results

Filter

Finished
SESAMO: Security and Safety Modelling
Bruni, A. (PhD Student), Nielson, F. (Main Supervisor), Probst, C. W. (Examiner), Kremer, S. (Examiner), Maffeis, S. (Examiner) & Nielson, H. R. (Supervisor)
Institut, samfinansiering
01/10/2012 → 31/03/2016
Project: PhD