|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Ninth IEEE Computer Security Foundations Workshop
E-Commerce Payment Protocols: Requirements and Analysis
Dromquinna Manor, Kenmare, County Kerry, Ireland
March 10-March 12
ISBN: 0-8186-7522-5
| ASCII Text | x | ||
| Stefek Zaba, "E-Commerce Payment Protocols: Requirements and Analysis," Computer Security Foundations Workshop, IEEE, pp. 78, Ninth IEEE Computer Security Foundations Workshop, 1996. | |||
| BibTex | x | ||
| @article{ 10.1109/CSFW.1996.503692, author = {Stefek Zaba}, title = {E-Commerce Payment Protocols: Requirements and Analysis}, journal ={Computer Security Foundations Workshop, IEEE}, volume = {0}, year = {1996}, issn = {1063-6900}, pages = {78}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1996.503692}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Computer Security Foundations Workshop, IEEE TI - E-Commerce Payment Protocols: Requirements and Analysis SN - 1063-6900 SP EP A1 - Stefek Zaba, PY - 1996 VL - 0 JA - Computer Security Foundations Workshop, IEEE ER - | |||
This panel will discuss the properties appropriate to E-Commerce protocols, principally payment protocols, and the applicability of current formal analysis techniques to the development and verification of those protocols. Some of the requirements, and non-requirements, turn out to be surprising: for example, support for repudiation disputes is affected by commercial and consumer law, and is deliberately downplayed in some protocols. Other potential requirements such as whole-protocol integrity (as opposed to individual message integrity) are not obviously modelled by many existing formal analysis tools. Protocols being deployed in practice, such as VISA/Mastercard's SET, also include a significant number of optional elements and variants, whose combinatoric interaction makes formal analysis both more tedious and more desirable. We intend to stimulate both the analysis of proposed protocols and the development of analysis formalisms.
Citation:
Stefek Zaba, "E-Commerce Payment Protocols: Requirements and Analysis," csfw, pp.78, Ninth IEEE Computer Security Foundations Workshop, 1996
Usage of this product signifies your acceptance of the Terms of Use.