Specifying authentication using signal events in CSP

Journal article 906 views

Siraj Shaikh

, Vicky J. Bush, Steve A. Schneider

Computers and Security, Volume: 28, Issue: 5, Pages: 310 - 324

Swansea University Author: Siraj Shaikh

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1016/j.cose.2008.10.001

Published in:	Computers and Security
ISSN:	0167-4048
Published:	Elsevier BV 2009
Online Access:	Check full text
URI:	https://cronfa.swan.ac.uk/Record/cronfa61051

Keywords:	Authentication; Security protocols; CSP; Formal specification; Kerberos
College:	Faculty of Science and Engineering
Issue:	5
Start Page:	310
End Page:	324