Specifying authentication using signal events in CSP

Siraj A. Shaikh; V.J. Bush; S.A. Schneider

doi:10.1016/j.cose.2008.10.001

Specifying authentication using signal events in CSP

Siraj A. Shaikh, V.J. Bush, S.A. Schneider

School of Computing, Electronics and Maths

Research output: Contribution to journal › Article

3 Citations (Scopus)

19 Downloads (Pure)

Original language	English
Pages (from-to)	310-324
Journal	Computers and Security
Volume	28
Issue number	5
DOIs	https://doi.org/10.1016/j.cose.2008.10.001
Publication status	Published - Jul 2009

Keywords

authentication
security protocols
CSP
formal specification
kerberos

Cite this

Shaikh, S. A., Bush, V. J., & Schneider, S. A. (2009). Specifying authentication using signal events in CSP. Computers and Security, 28(5), 310-324. https://doi.org/10.1016/j.cose.2008.10.001

@article{f61d07282bab49eea3af7b15b4dc99c0,

title = "Specifying authentication using signal events in CSP",

keywords = "authentication, security protocols, CSP, formal specification, kerberos",

author = "Shaikh, {Siraj A.} and V.J. Bush and S.A. Schneider",

year = "2009",

month = "7",

doi = "10.1016/j.cose.2008.10.001",

language = "English",

volume = "28",

pages = "310--324",

journal = "Computers and Security",

issn = "0167-4048",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

T1 - Specifying authentication using signal events in CSP

AU - Shaikh, Siraj A.

AU - Bush, V.J.

AU - Schneider, S.A.

PY - 2009/7

Y1 - 2009/7

KW - authentication

KW - security protocols

KW - CSP

KW - formal specification

KW - kerberos

U2 - 10.1016/j.cose.2008.10.001

DO - 10.1016/j.cose.2008.10.001

M3 - Article

VL - 28

SP - 310

EP - 324

JO - Computers and Security

JF - Computers and Security

SN - 0167-4048

IS - 5

ER -

Access to Document

10.1016/j.cose.2008.10.001

Specifying authentication using signal events