Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes
Publication: Research - peer-review › Journal article – Annual report year: 2002
| Original language | English |
|---|---|
| Journal | Future Generation Computer Systems |
| Publication date | 2002 |
| Volume | 18 |
| Journal number | 6 |
| Pages | 747-756 |
| ISSN | 0167-739X |
| State | Published |
ID: 3973159