Formal Modelling of PKI Based Authentication

Ali Nasrat Haidar*, Ali E. Abdallah

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    14 Citations (SciVal)
    Original languageEnglish
    Pages (from-to)55-70
    Number of pages16
    JournalElectronic Notes in Theoretical Computer Science
    Volume235
    Issue numberC
    DOIs
    Publication statusPublished (VoR) - 1 Apr 2009

    Keywords

    • Authentication
    • CSP
    • Correctness
    • Distributed systems
    • Formal Methods
    • Security
    • Z

    Fingerprint

    Dive into the research topics of 'Formal Modelling of PKI Based Authentication'. Together they form a unique fingerprint.

    Cite this