Original language | English (Ireland) |
---|---|
Pages (from-to) | 28-32 |
Journal | Iee Proceedings-Computers And Digital Techniques |
DOIs | |
Publication status | Published - 1997 |
Logic for verifying public-key cryptographic protocols
Puneet Saidha
Research output: Contribution to journal › Article › peer-review