We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
An overview of the verification of SET.
- Authors
Bella, Giampaolo; Massacci, Fabio; Paulson, Lawrence C.
- Abstract
This paper describes the verification of Secure Electronic Transaction (SET), an e-commerce protocol by VISA and MasterCard. The main tasks are to comprehend the written documentation, to produce an accurate formal model, to identify specific protocol goals, and, finally, to prove them. The main obstacles are the protocol’s complexity (due in part to its use of digital envelopes) and its unusual goals involving partial information sharing. Our verification efforts show that the protocol does not completely satisfy its goals, although the flaws are minor. The primary outcome of the project is experience with verification of enormous and complicated protocols. This paper summarizes the project - the details appear elsewhere [11, 12 , 13 ] - focusing on the issues and the conclusions.
- Subjects
SET (Computer network protocol); COMPUTER network protocols; ELECTRONIC funds transfer security standards; ELECTRONIC commerce; DOCUMENTATION; COMPUTER systems
- Publication
International Journal of Information Security, 2005, Vol 4, Issue 1/2, p17
- ISSN
1615-5262
- Publication type
Article
- DOI
10.1007/s10207-004-0047-7