DMCA
Security Protocol Design via Authentication Tests (2002)
Cached
Download Links
- [www.ccs.neu.edu]
- [www.ccs.neu.edu]
- [web.cs.wpi.edu]
- [web.cs.wpi.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of 15th IEEE Computer Security Foundations Workshop. IEEE Computer |
| Citations: | 22 - 1 self |
BibTeX
@INPROCEEDINGS{Guttman02securityprotocol,
author = {Joshua D. Guttman},
title = {Security Protocol Design via Authentication Tests},
booktitle = {In Proceedings of 15th IEEE Computer Security Foundations Workshop. IEEE Computer},
year = {2002},
pages = {92--103},
publisher = {Society Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design process is organized around the authentication tests, a method for protocol verification based on the strand space theory. The authentication tests dictate how randomly generated values such as nonces may be combined with encryption to achieve authentication and freshness.
