We devise an abstraction of secure multi-party computations in the applied π-calculus. Based on this abstraction, we propose a methodology to mechanically analyze the security of cryptographic protocols employing secure multi-party computations. We exemplify the applicability of our framework by analyzing the SIMAP sugar-beet double auction protocol. We finally study the computational soundness...

Auctions have been getting increasing attention in computer science and economics, as they provide an efficient solution to resource allocation problems with self-interested agents. E-Commerce and finance have emerged as some of their largest application fields. The need for new auction mechanisms that allow complex bids such as bundle or multi-attribute bids has been raised in many situations....

The paper deals with different approaches to the definition of ecommerce, including special mechanisms for the distribution of goods and payments, such as auction model. Different formats of auctions that change welfare of their participants are investigated. Software modules were developed for researching the effectivenes of double electronic Vickrey auction. It is defined that in double Vickr...

Auction-based models and protocols introduce money and pricing as the technique for coordination between users and producers of resources in grids. In this paper, we propose a multi-attribute reverse auction protocol to allocate grid resource. In order to enhance the information efficiency we develop a novel interactive approach supporting both user agents and producer agents. In this approach,...

We consider a multi-attribute outsourcing economy where both price and delivery date are relevant decision factors. In the economy, there is an Original Equipment Manufacturer (OEM) who needs multiple items to be delivered on the predetermined delivery dates and suppliers who are capable of delivering some or all of the items. We first show that there exists a competitive equilibrium in this ec...

First-come-first-serve (FCFS) scheme is used for selling the goods in market that is a multi-million dollar industry for any popular event. But in a competitive environment is this FCFS efficient? In earlier literature it has been shown that the auction based alternative solutions using the framework of mechanism design, a sub field of game theory [18] can provide better results against FCFS in...