Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes |
C. Bodei, P. Degano, Hanne Riis Nielson, Flemming Nielson
|
| Type | Journal paper [With referee] |
| Journal | Future Generation Computer Systems - FGCS |
| Year | 2002 Vol. 18 No. 6 pp. 747-756 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |