Interative analysis of cryptographic protocols |
Christoffer Rosenkilde Nielsen, Flemming Nielsen, Hanne Riis Nielson
|
| Type | Conference paper [Submitted] |
| Conference | 17th European Symposium on Programming |
| Year | 2008 |
| Series | Lecture Notes in Computer Science |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |