Analysis of Security Protocols by Annotations

Han Gao

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

276 Downloads (Pure)

1 Finished

1 results

Secure Communication Protocols
Gao, H., Baumeister, H., Cortesi, A., Gilmore, S. & Nielson, H. R.
Programbevilling
01/09/2004 → 29/05/2008
Project: PhD