Original language | English |
---|---|
Journal | Future Generation Computer Systems - The International Journal of eScience |
Volume | 18 |
Issue number | 6 |
Pages (from-to) | 747-756 |
ISSN | 0167-739X |
Publication status | Published - 2002 |
Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes
C. Bodei, P. Degano, Hanne Riis Nielson, Flemming Nielson
Research output: Contribution to journal › Journal article › Research › peer-review