| Original language | English |
|---|---|
| Pages (from-to) | 310-324 |
| Journal | Computers and Security |
| Volume | 28 |
| Issue number | 5 |
| DOIs | |
| 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
Specifying authentication using signal events in CSP. / Shaikh, Siraj A.; Bush, V.J.; Schneider, S.A.
In: Computers and Security, Vol. 28, No. 5, 07.2009, p. 310-324.Research output: Contribution to journal › Article
Shaikh, SA, Bush, VJ & Schneider, SA 2009, 'Specifying authentication using signal events in CSP' Computers and Security, vol. 28, no. 5, pp. 310-324. https://doi.org/10.1016/j.cose.2008.10.001
Shaikh SA, Bush VJ, Schneider SA. Specifying authentication using signal events in CSP. Computers and Security. 2009 Jul;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 -