Specifying authentication using signal events in CSP

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

Research output: Contribution to journalArticle

3 Citations (Scopus)
19 Downloads (Pure)
Original languageEnglish
Pages (from-to)310-324
JournalComputers and Security
Volume28
Issue number5
DOIs
Publication statusPublished - Jul 2009

Keywords

  • authentication
  • security protocols
  • CSP
  • formal specification
  • kerberos

Cite this

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 journalArticle

Shaikh, Siraj A. ; Bush, V.J. ; Schneider, S.A. / Specifying authentication using signal events in CSP. In: Computers and Security. 2009 ; Vol. 28, No. 5. pp. 310-324.
@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 -