Journal article 497 views
Specifying authentication using signal events in CSP
Siraj Shaikh 
,
Vicky J. Bush,
Steve A. Schneider
,
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
Abstract
Specifying authentication using signal events in CSP
| 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 |