Logic for verifying public-key cryptographic protocols

Puneet Saidha

    Research output: Contribution to journalArticlepeer-review

    Original languageEnglish (Ireland)
    Pages (from-to)28-32
    JournalIee Proceedings-Computers And Digital Techniques
    DOIs
    Publication statusPublished - 1997

    Cite this