Searching for "Verifying authentication protocols with CSP." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Verifying authentication protocols with CSP
- …Verifying authentication protocols with CSP Steve Schneider Department of Computer Science Royal…
- Cited by 69 (5 self) – Add To MetaCart
-
on authentication protocol design.
- …. Verifying authentication protocols in CSP. IEEE Transactions on Software Engineering, 24…
- Add To MetaCart
-
Towards Automatic Verification of Authentication Protocols on an Unbounded Network
- … brief overview of how the theory presented in [14] may be used to verify an authentication protocol…
- Cited by 20 (2 self) – Add To MetaCart
Showing 1 through 3.
