Hao Chi Wong  Home/Search
Context Related
| cmu.edu/pub_files/...o_chi_2000_1.ps.gz 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: cmu.edu/centers/cimds/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Commerce transactions are being increasingly conducted in cyberspace. We not only browse through on-line catalogs of products, but also shop, bank, and hold auctions on-line. The general goal of this research is to answer questions such as: What electronic commerce protocols try to achieve? What they must achieve? And how they achieve it? My thesis in this dissertation is that 1) In electronic commerce transactions where participants have different interests to preserve, protection of... (Update)
Cited by: More
The RETSINA MAS, a Case Study - Katia Sycara Joseph (2003) (Correct)
Active bibliography (related documents): More All
1.0: Fair Exchange with a Semi-Trusted Third Party (Extended.. - Franklin, Reiter (1997) (Correct)
0.8: Simulation and Verification of Atomicity.. - Katsaros.. (2005) (Correct)
0.5: Current Approaches to Authentication in Wireless and.. - Schäfer, Festag, Karl (Correct)
Similar documents based on text: More All
0.2: Real World Association Rule Mining - Adriano Alonso Veloso (Correct)
0.1: Discriminative Training of Gaussian Mixtures for Image.. - Dahmen, Schlüter, Ney (1999) (Correct)
0.1: Model Checking Electronic Commerce Protocols - Heintze, Tygar, Wing, Wong (1996) (Correct)
BibTeX entry: (Update)
H.-C. Wong. Protecting Individuals' Interests in Electronic Commerce Protocols. PhD thesis, Computer Science Deptartment, Carnegie Mellon University, 2000. CMU-CS-00-160. http://citeseer.ist.psu.edu/wong00protecting.html More
@misc{ wong00protecting,
author = "H. Wong",
title = "Protecting Individuals' Interests in Electronic Commerce Protocols",
text = "H.-C. Wong. Protecting Individuals' Interests in Electronic Commerce Protocols.
PhD thesis, Computer Science Deptartment, Carnegie Mellon University, 2000.
CMU-CS-00-160.",
year = "2000",
url = "citeseer.ist.psu.edu/wong00protecting.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1180 The Temporal Logic of Reactive and Concurrent Systems - Spec.. (context) - Manna, Pnueli - 1992
917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
317 Kerberos: An authentication service for open network systems - Steiner, Neuman et al. - 1988
276 Applied Cryptography - Protocols (context) - Schneier - 1996
255 Untraceable electronic cash (context) - Chaum, Fiat et al. - 1990
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1991
187 Security without identification: Transaction systems to make.. (context) - Chaum - 1985
185 Distributed Systems (context) - Mullender - 1993
185 How to generate and exchange secrets (context) - Yao - 1986
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
174 How to exchange secrets by oblivious transfer (context) - Rabin - 1981
166 Wallet databases with observers (context) - Chaum, Pederson - 1993
144 The transaction concept: virtues and limitations (context) - Gray - 1981
140 Reasoning about belief in cryptographic protocols - Gong, Needham et al. - 1991
138 Netbill security and transaction protocol - Cox, Tygar et al. - 1995
132 How to time-stamp a digital document - Haber, Stornetta - 1991
124 Payword and micromint: Two simple micropayment protocols - Rivest, Shamir - 1996
100 Optimistic protocols for fair exchange - Asokan, Schunter et al. - 1996
81 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
78 Untraceable off-line cash in wallet with observers - Brands - 1993
78 A fair non-repudiation protocol - Zhou, Gollman - 1996
75 Achieving electronic privacy (context) - Chaum - 1992
75 Universal electronic cash (context) - Okamoto, Ohta - 1992
71 Rethinking public key infrastructures and digital certificat.. (context) - Brands - 1999
69 iKP -- a family of secure electronic payment protocols - Bellare, Garay et al. - 1995
65 Finite Transition Systems (context) - Arnold - 1994
63 An efficient probabilistic public key encryption scheme whic.. (context) - Blum, Goldwasser - 1984
63 Operating Systems Review (context) - Otway, Rees et al.
61 Model checking electronic commerce protocols - Heintze, Tygar et al. - 1996
60 Asynchronous protocols for optimistic fair exchange - Asokan, Shoup et al. - 1998
55 Atomicity in electronic commerce - Tygar - 1996
52 Fair exchange with a semi-trusted third party (context) - Franklin, Reiter - 1997
51 Valuation of trust in open networks - Beth, Borcherding et al. - 1994
44 Extensions of single-term coins (context) - Ferguson - 1994
42 Abuse-free optimistic contract signing - Garay, Jakobsson et al. - 1999
36 Making trust explicit in distributed commerce transactions - Ketchpel, Garcia-Molina - 1995
35 Ripping coins for a fair exchange - Jakobsson - 1995
35 and Roger Needham (context) - Burrows, Abadi - 1989
33 Single-term off-line coins - Ferguson - 1994
33 Practical protocols for certified electronic mail - Deng, Gong et al. - 1996
32 Disposable zero-knowledge authentication and their applicati.. (context) - Okamoto, Ohta - 1990
32 Open issues in formal methods for cryptographic protocol ana.. - Meadows - 2000
32 Formal analysis of a non-repudiation protocol - Schneider - 1998
28 Analysis of a fair exchange protocol - Shmatikov, Mitchell - 2000
27 Certified electronic mail (context) - Bahreman, Tygar - 1994
26 A global authentication service without global trust - Birrell, Lampson et al. - 1986
25 Transferred cash grows in size (context) - Chaum, Pederson - 1993
24 An axiomatic basis of trust in distributed systems (context) - Rangan - 1988
23 Towards the formal verification of electronic commerce proto.. - Bolignano - 1997
23 Anonymous atomic transactions - Camp, Harkavy et al. - 1996
23 Controlled gradual disclosure schemes for random bits and th.. (context) - Cleve - 1990
23 Failures Divergence Refinement---User Manual and Tutorial (context) - Systems, Ltd - 1993
23 and Alan Fekete (context) - Lynch, Merritt et al. - 1994
22 IEEE Transactions on Information Theory (context) - Ben-Or, Goldreich et al. - 1990
20 Liability and computer security: Nine principles - Anderson - 1994
19 On inter-realm authentication in large distributed systems (context) - Gligor, Luan et al. - 1992
19 Secure Electronic Transaction (context) - VISA - 1996
19 How to simultaneously exchange a secret bit by flipping a sy.. (context) - Luby, Micali et al. - 1984
18 Payment systems and credential mechanisms with provable secu.. (context) - Damgard - 1988
17 Improved privacy in wallets with observers (context) - Cramer, Pederson - 1994
17 A formal language for cryptographic protocol requirements - Syverson, Meadows
17 Fair exchange of secrets (context) - Tedrick - 1985
17 Single-term divisible electronic coins (context) - Eng, Okamoto - 1995
15 off-line digital signatures (context) - Even, Goldreich et al. - 1996
15 Formal semantics for authentication logics (context) - Wedel, Kessler - 1996
15 Three applications of the oblivious transfer: Part I: Coin f.. (context) - Blum - 1981
15 Accountability in electronic commerce protocols - Kailar
14 The murOE verification system (context) - Dill - 1996
12 Transaction protection for information buyers and sellers (context) - Ketchpel - 1995
12 A formal specification of requirements for payment transacti.. - Meadows, Syverson - 1998
12 ACM Transactions on Computer Systems (context) - Blum, exchange et al.
11 A machine checkable logic of knowledge for specifying securi.. - Clarke, Jha et al. - 1998
7 Theory generation for security protocols - Kindred - 1999
7 Anonymous one-time signatures and flexible untraceable elect.. (context) - Hayes - 1990
6 An efficient non-repudiation protocol - Zhou, Gollman - 1997
5 KEY TM one-time password system (context) - Haller - 1994
4 Randomizing protocols for signing contracts (context) - Even, Goldreich et al. - 1985
4 The coq proof assistant user guide (context) - Dowek, Felty et al. - 1993
4 Trapdoor pseudo-random number generators (context) - Vazirani, Vazirani - 1983
3 A sound logic for analyzing electronic commerce protocols (context) - Kessler, Neumann - 1998
3 Private communication (context) - Brands - 2000
2 Autolog - an advanced logic of authentication (context) - Kessler, Wedel - 1994
2 Trust relationships in secure systems (context) - Yahalom, Klein et al. - 1993
1 A practical electronic cash system for smart cards (context) - Lim, Lee - 1993
1 Electronic cash - Brands - 1998
1 The role of trust in protected mail (context) - Branstad, Barker et al. - 1990
1 SET architecture de securite (context) - Cartes, C- - 1996
Documents on the same site (http://www.ri.cmu.edu/centers/cimds/pubs.html): More
Designing Behaviors for Information Agents - Decker, Pannu, Sycara, Williamson (1996) (Correct)
Compression and Interpolation of 3D-Stereoscopic.. - Siegel.. (1997) (Correct)
Geometry of binocular imaging III: Wide-Angle and Fish-Eye.. - Grinberg, Siegel (1996) (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