Wenbo Mao Hewlett-Packard Laboratories Filton Road, Stoke Gifford Bristol...  Home/Search
Context Related
| hp.com/people/wm/papers/oak96.ps hp.co.uk/people/wm/oak96.ps hpl.hp.co.uk/people/wm/paper...oak96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: hp.com/people/wm/selectpapers (more) From: hp.co.uk/people/wm/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recently, two major bankcard payment instrument operators VISA and MasterCard published specifications for securing bankcard payment transactions on open networks for open scrutiny. (VISA: Secure Transaction Technology, STT; MasterCard: Secure Electronic Payment Protocol, SEPP.) Based on their success in operating the existing on-line payment systems, both proposals use advanced cryptographic technologies to supply some security services that are wellunderstood to be inadequate in open... (Update)
Context of citations to this paper: More
...commerce. Unfortunately, the specifications for those protocols do not yet seem to be fully understood, even in informal terms [Mao96]. In both the pi calculus and the spi calculus, restriction and scope extrusion play a central role. The pi calculus provides an abstract...
...subject to certain attacks such as chosen ciphertext and chosen plaintext attacks. The standards proposed by Master Card and Visa (see [Mao96]) for credit card usage on the internet, provide a striking motivation for the use of formal method for protocols in which security is...
Cited by: More
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (Correct)
The Spi-Calculus and a Bisimulation Method - Raymond (1999) (Correct)
Active bibliography (related documents): More All
2.1: On Cryptographic Techniques for On-line Bankcard Payment.. - Wenbo Mao (Correct)
0.5: Financial Transaction Models in the Electronic World - Wenbo Mao (Correct)
0.1: iKP - A Family of Secure Electronic Payment Protocols - Bellare, Garay, Hauser.. (1995) (Correct)
Similar documents based on text: More All
0.3: Payment Cards and Money Demand in Belgium - Rinaldi (2001) (Correct)
0.2: On the Design of Secure Electronic Payment Schemes for.. - Vijay Varadharajan And (1996) (Correct)
0.1: Atomicity in Electronic Commerce - Tygar (1996) (Correct)
Related documents from co-citation: More All
6: Information and Computation (context) - Milner, Parrow et al. - 1992
5: The Interrogator model (context) - Millen - 1995
5: Mathematical Structures in Computer Science (context) - Milner, processes - 1992
BibTeX entry: (Update)
W. Mao. On two proposals for on-line bankcard payments using open networks: Problems and solutions. In IEEE Symposium on Security and Privacy, pages 201--210, 1996. http://citeseer.ist.psu.edu/mao96two.html More
@inproceedings{ mao96two,
author = "Wenbo Mao",
title = "On Two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions",
booktitle = "{IEEE} Symposium on Security and Privacy",
publisher = "IEEE Computer Society Press",
address = "Oakland, CA",
pages = "201--210",
year = "1996",
url = "citeseer.ist.psu.edu/mao96two.html" }
Citations (may not include all citations):124 Payword and micromint: two simple micropayment schemes - Rivest, Shamir DBLP
28 The millicent protocols for electronic commerce (context) - Manasse
15 NetBill: An Internet Commerce System (context) - Sirbu, Tygar
8 System - How it Works (context) - CyberCash
7 Payment Switches for Open Networks - Gifford, Stewart et al.
4 Requirements for Network Payment: The NetCheque (context) - Neuman, Medvinsky - 1995
2 Draft Version (context) - Payment - 1995
2 Internet Keyed Payments Protocol (context) - Linehan, Tsudik - 1995
2 visa-stt/index (context) - Technology, version et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hplbwww.hpl.hp.com/people/wm/selectpapers.html): More
Verifiable Escrowed Signature - Mao (1997) (Correct)
Limitations of Logical Analysis of Cryptographic Protocols - Boyd, Mao (1993) (Correct)
Necessity and Realization of Universally Verifiable Secret Sharing - Mao (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC