No Cover Image

Journal article 285 views

Specifying authentication using signal events in CSP

Siraj Shaikh Orcid Logo, Vicky J. Bush, Steve A. Schneider

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

Swansea University Author: Siraj Shaikh Orcid Logo

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

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
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Authentication; Security protocols; CSP; Formal specification; Kerberos
College: Faculty of Science and Engineering
Issue: 5
Start Page: 310
End Page: 324