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