A mechanism for establishing policies for electronic commerce
Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183)
https://doi.org/10.1109/ICDCS.1998.679732Abstract
This paper introduce s a m e chanism for establishing policies for electronic commerce in a uni ed and secure manner. A commercial policy can be viewed a s the embodiment of a contract between the principals involved i n a c ertain type o f c ommercial activity, and it may be c oncerned with such issues as: ensuring that a p ayment for services is refunded under speci ed circumstances; preventing certi cates representing e-cash from being duplicated; ensuring that credit card numbers are used only for the transaction they are intended for; and, for certain socially sensitive transactions like the purchase of drugs, ensuring auditability by proper authorities. Our mechanism is based o n a p r eviously published concept of law-governed interaction. It makes a strict separation between the formal statement of a policy, which we call a law," and the enforcement of this law, which is carried our by a set of policy-independent trusted controllers. A new policy under this scheme is created b asically by formulating its law, and can be easily deployed throughout a distributed system. This mechanism enables a single agent to engage in several di erent activities, subject to disparate policies. Two examples policies are discussed here i n d etail: one ensures refundability of payment, under certain circumstances; the other provides for payment by means of non-copyable tickets.
References (18)
- J.-M. Andreoli, F. Pacull, and R. Pareschi. XPECT: A framework for electronic commerce. IEEE Internet Computing, pages 40 48, July- August 1997.
- M. Blaze, J. Feigenbaum, and J. Lacy. Decen- tralized trust managemnt. In Proceedings of the IEEE Symposium on Security and Privacy, M a y 1996.
- D. Chaum. Transaction systems to make big brother obsolete. In Communication of the ACM, October 1985.
- S. Glassman, M. Manasse, M. Abadi, P. Gau- thier, and P. Sobalvarro. The Millicent protocol for inexpensive electronic commerce. In Fourth International World Wide Web Conference P r o- ceedings, pages 603 618, December 1995.
- S. Ketchpel and H. Garcia-Molina. Making trust explicit in distributed commerce transactions. In Proceedings of the International Conference o n Distributed Computing Systems, pages 270 281, 1996.
- S. Ketchpel, H. Garcia-Molina, and A. Paepcke. Shopping models: A exible architecture for in- formation commerce. In Digital Libraries, 1997.
- C. Lai, G. Medvinsky, and C. Neuman B. En- doresements, licensing, and insurance for dis- tributed system services. In Proceedings of the Second ACM Conference on Computer and Com- munication Security, N o vember 1994.
- G. Medvinsky and C. Neuman. Netcash: A de- sign for practical electronic currency on the inter- net. In Proceedings of the 1st ACM Conference on Computer and Communication Security, 1993.
- N.H. Minsky. The imposition of protocols over open distributed systems. IEEE Transactions on Software Engineering, F ebruary 1991.
- N.H. Minsky and V. Ungureanu. Regulated coor- dination in open distributed systems. In David Garlan and Daniel Le Metayer, editors, Proc. of Coordination'97: Second International Con- ference o n C o ordination Models and Languages; LNCS 1282, pages 81 98, September 1997.
- N.H. Minsky and V. Ungureanu. Uni ed support for heterogeneous security policies in distributed systems. In 7th USENIX Security Symposium, January 1998.
- R. Needham and M. Schroeder. Authentication revisited. Operating Systems Review, page 7, Jan- uary 1987.
- C. Neuman. Proxy-based authorization and ac- counting for distributed systems. In Proceed- ings of the 13th International Conference on Dis- tributed Computing Systems, 1993.
- P. P anurach. Money in electronic commerce: Digital cash, electronic fund transfer and ecash. Communications of the ACM, 396, June 1996.
- M. Sirbu and J.D. Tygar. Netbill: An Internet commerce system. In IEEE COMPCON, March 1995.
- J. Su and D. Manchala. Building trust for dis- tributed commerce transactions. In 17th IEEE International Conference on Distributed Comput- ing SystemsICDCS, M a y 1997.
- J. Su and J.D. Tygar. Building blocks for atom- icity in electronic commerce. In Proceedings of USENIX Security Symposium, 1996.
- M. Waidner. Development of a secure electronic marketplace for Europe. In Proceedings of Es- orics, September 1996.