A FORMAL APPROACH TO DETECTING SHILLING BEHAVIORS IN CONCURRENT ONLINE AUCTIONS

Yi-Tsung Cheng, Haiping Xu Computer

Abstract

Shilling behaviors are one of the most serious fraud problems in online auctions, which make winning bidders have to pay more than what they should pay for auctioned items. In concurrent online auctions, where multiple auctions for the same type of items are running simultaneously, shilling behaviors can be even more severe because detecting, predicting and preventing such fraudulent behaviors become very difficult. In this paper, we propose a formal approach to detecting shilling behaviors in concurrent online auctions using model checking techniques. We first develop a model template that represents two concurrent online auctions in Promela. Based on the model template, we derive an auction model that simulates the bidding processes of two concurrent auctions. Then we use the SPIN model checker to formally verify if the auction model satisfies any questionable behavioral properties that are written in LTL (Linear Temporal Logic) formulas. Thus, our approach simplifies the problem of searching for shilling behaviors in concurrent online auctions into a model checking problem. Finally, we provide a case study to illustrate how our approach can effectively detect possible shill bidders.

References

  1. Dwyer, M. B., Avrunin, G. S., and Corbett, J. C., 1999. Patterns in property specifications for finite-state verification. In Proceedings of the 21st International Conference on Software Engineering (ICSE 99), Los Angeles, pp. 16-22.
  2. Gupta, A. and Bapna, R., 2002. Online mercantile processes: a closer look at B2C online auctions. In Handbook of Electronic Commerce in Business and Society, P. B. Lowry, R. J. Watson, and J. O. Cherrington eds., St. Lucie Press, pp. 85-98.
  3. Holzmann, G. J., 1997. The model checker SPIN. IEEE Transactions on Software Engineering, Volume 23, No. 5, pp. 279-295.
  4. Kauffman, R. J., and Wood, C. A., 2000. Running up the bid: modeling seller opportunism in Internet auctions. In Proceedings of the Sixth Americas Conference on Information Systems (AMCIS 2000), M. Chung (ed.), Long Beach, CA, pp. 929-935.
  5. Pnueli, A., 1977. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, pp. 46-67.
  6. Wang, W., Zoltán, H., and Whinston, A. B., 2002. Shill bidding in multi-round online auctions. In Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS'02), Hawaii, USA.
Download


Paper Citation


in Harvard Style

Cheng Y. and Xu Computer H. (2006). A FORMAL APPROACH TO DETECTING SHILLING BEHAVIORS IN CONCURRENT ONLINE AUCTIONS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 375-381. DOI: 10.5220/0002460803750381


in Bibtex Style

@conference{iceis06,
author={Yi-Tsung Cheng and Haiping Xu Computer},
title={A FORMAL APPROACH TO DETECTING SHILLING BEHAVIORS IN CONCURRENT ONLINE AUCTIONS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={375-381},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002460803750381},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - A FORMAL APPROACH TO DETECTING SHILLING BEHAVIORS IN CONCURRENT ONLINE AUCTIONS
SN - 978-972-8865-43-6
AU - Cheng Y.
AU - Xu Computer H.
PY - 2006
SP - 375
EP - 381
DO - 10.5220/0002460803750381