Delegation Protocols for Electronic Commerce
نویسنده
چکیده
Many commercial and financial activities in the real-life require reliable mechansisms to provide accountability for the transactions that has been executed. If electronic commerce aim to substitute or support similar activities in the electronic world, it has to provide the same degree of accountability. Despite this requirement is crucial, we observe that many existing security mechanisms and protocols are not designed by considering accountability as a fundamental property. In this paper, we show that this is true, particularly in the case of delegation protocols. Then to address the problem, we explicitly introduce accountability in delegation by defining a new semantics and by designing a new protocol that help to eliminate this lack of accountability.
منابع مشابه
Trusted Agent-Mediated E-Commerce Transaction Services via Digital Certificate Management
Agent-mediated e-commerce (AMEC) transaction services will be a paradigm shift from the existing client-server e-commerce model. In order to fulfill the leverage of AMEC intermediary services with secure and trusted service capabilities, we propose an agent-oriented public key infrastructure (PKI) operating with a variety of digital certificates. Under this agent-oriented PKI, several trusted A...
متن کاملAccountability in Electronic Commerce Protocols
| In most commercial and legal transactions, the ability to hold individuals or organizations accountable for transactions is important. Hence, electronic protocols that implement commercial transactions must be designed to provide adequate accountability assurances for transacting parties. Without such assurances, electronic transactions can be susceptible to disputes. Currently, protocol desi...
متن کاملApplications of Polynomial Properties to Verifiable Delegation of Computation and Electronic Voting
This paper presents some proposals of protocols for two types of schemes such as verifiable delegation of computation and remote electronic voting, based on polynomial properties. Our protocols for verifiable delegation of computation are aimed to the efficient evaluation of polynomials, working on schemes where the polynomial and/or the input are kept secret to the server. Our proposal for rem...
متن کاملBuilding Blocks for Atomicity in Electronic Commerce
Atomicity is clearly a central problem for electronic commerce protocols — we can not tolerate electronic commerce systems where money is arbitrarily created or destroyed. Moreover, these atomicity properties should be retained in the event of component failures in distributed systems. In this paper, we enumerate several classes of atomic protocols. We then give two fundamental building blocks ...
متن کاملModeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets
Electronic commerce protocols are the basis of security in electronic commerce. Therefore, it is essential to ensure these protocols correctly. With the ideas of ZQ logic and the security protocols analysis method using Colored Petri Nets, a new method synthesizing ZQ logic and Colored Petri Nets is presented to analyze electronic commerce protocols. The new method is suitable for analyzing bot...
متن کامل