Security protocol design via authentication tests
- 25 June 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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. ATSPECT offers functionality and security guarantees akin to the purchase request, payment authorization, and payment capture phases of SET, the secure electronic transaction standard created by the major credit card firms.Keywords
This publication has 14 references indexed in Scilit:
- Athena: a new efficient automatic checker for security protocol analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Looking for diamonds in the desert - extending automatic protocol generation to three-party authentication and key agreement protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Authentication testsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Protocol independence through disjoint encryptionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Authentication tests and the structure of bundlesTheoretical Computer Science, 2002
- Game analysis of abuse-free contract signingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Strand spaces: proving security protocols correctJournal of Computer Security, 1999
- A simple logic for authentication protocol designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1998
- A lesson on authentication protocol designACM SIGOPS Operating Systems Review, 1994
- Authentication for distributed systemsComputer, 1992