Formal Modelling of PKI Based Authentication

Ali Nasrat Haidar; Ali E. Abdallah

doi:10.1016/j.entcs.2009.03.005

Formal Modelling of PKI Based Authentication

Ali Nasrat Haidar^*, Ali E. Abdallah

^*Corresponding author for this work

London South Bank University

Research output: Contribution to journal › Article › peer-review

16 Citations (SciVal)

Original language	English
Pages (from-to)	55-70
Number of pages	16
Journal	Electronic Notes in Theoretical Computer Science
Volume	235
Issue number	C
DOIs	https://doi.org/10.1016/j.entcs.2009.03.005
Publication status	Published (VoR) - 1 Apr 2009

Keywords

Authentication
CSP
Correctness
Distributed systems
Formal Methods
Security
Z

Access to Document

10.1016/j.entcs.2009.03.005

Cite this

@article{9cb04f1ed2ed476f918f6b8602c9d031,

title = "Formal Modelling of PKI Based Authentication",

keywords = "Authentication, CSP, Correctness, Distributed systems, Formal Methods, Security, Z",

author = "Haidar, \{Ali Nasrat\} and Abdallah, \{Ali E.\}",

year = "2009",

month = apr,

day = "1",

doi = "10.1016/j.entcs.2009.03.005",

language = "English",

volume = "235",

pages = "55--70",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

number = "C",

}

TY - JOUR

T1 - Formal Modelling of PKI Based Authentication

AU - Haidar, Ali Nasrat

AU - Abdallah, Ali E.

PY - 2009/4/1

Y1 - 2009/4/1

KW - Authentication

KW - CSP

KW - Correctness

KW - Distributed systems

KW - Formal Methods

KW - Security

KW - Z

UR - https://www.scopus.com/pages/publications/62849089329

UR - https://www.scopus.com/inward/citedby.url?scp=62849089329&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2009.03.005

DO - 10.1016/j.entcs.2009.03.005

M3 - Article

AN - SCOPUS:62849089329

SN - 1571-0661

VL - 235

SP - 55

EP - 70

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - C

ER -

Formal Modelling of PKI Based Authentication

Keywords

Access to Document

Other files and links

Fingerprint

Cite this