| 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