A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
In this paper, we explore the deployment of P2P auctions over MANETs. We define a P2P auction process and identify the need to have a fair registration and a fair bidding. We propose a distributed communication architecture and a protocol to support this kind of auctions. We perform a formal specification and verification of the BSAP protocol using PROMELA/SPIN and evaluate its performance.doi:10.1007/978-0-387-09490-8_8 fatcat:punm6reyave7xdjhfyr53wxxci