Model checking bidding behaviors in internet concurrent auctions

Computer Systems Science and Engineering

Volumn 22, Issue 4, 2007, Pages 179-191

  Xu, Haiping ^a   Cheng, Yi Tsung ^a  

^a University of Massachusetts Dartmouth   (United States)

Author keywords

Bidding behaviors; Competitive shilling; Concurrent online auctions; Model checking; Pattern based linear temporal logic (LTL); Shill suspects

Indexed keywords

COST ACCOUNTING; ELECTRONIC COMMERCE; MATHEMATICAL MODELS; MODEL CHECKING; ONLINE SYSTEMS;

BIDDING BEHAVIORS; COMPETITIVE SHILLING; CONCURRENT ONLINE AUCTIONS; PATTERN-BASED LINEAR TEMPORAL LOGIC (LTL); SHILL SUSPECTS;

INTERNET;

EID: 36048944530     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (32)

1. M. Harkavy, J. D. Tygar and H. Kikuchi Electronic Auctions with Private Bids. Proceedings of the 3rd USENIX Workshop on Electronic Commerce, September 1998, pp. 61-73.
2. A. Vakali, L. Angelis and D. Pournara Internet Based Auctions: A Survey on Models and Applications. ACM SIG on E-commerce Exchanges, Vol. 2, No. 2, Jun 2001, pp. 5-13.
3. R. J. Kauffman and C. A. Wood Running up the Bid: Detecting, Predicting, and Preventing Reserve Price Shilling in Online Auctions. Proceedings of the 5th International Conference on Electronic Commerce, Pittsburgh, Pennsylvania, 2003, pp. 259-265.
4. W. Wang, H. Zoltán and A. B. Whinston Shill Bidding in Multi-Round Online Auctions. Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS'02), Hawaii, 2002.
5. E. M. Clarke, O. Grumberg and D. A. Peled Model Checking. The MIT Press, 2000.
6. G. J. Holzmann The Model Checker SPIN. IEEE Transactions on Software Engineering, Vol. 23, No. 5, 1997, pp. 279-295.
7. L. K. Dillon and S. Sanka Introduction to the Special Issue. IEEE Transactions on Software Engineering, Special Issue on Formal Methods in Software Practice, Vol. 23, No. 5, May, 1997, pp. 265-266.
8. H. Xu and S. M. Shatz A Framework for Model-Based Design of Agent-Oriented Software. IEEE Transactions on Software Engineering, January 2003, Vol. 29, No. 1, pp. 15-30.
9. Y. Cheng and H. Xu A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions. Proceedings of the 8th International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus, pp. 375-381.
10. M. B. Dwyer, G. S. Avrunin and J. C. Corbett Property Specification Patterns for Finite-state Verification. Proceedings of the 2nd Workshop on Formal Methods in Software Practice, March 1998.
11. M. B. Dwyer, G. S. Avrunin and J. C. Corbett Patterns in Property Specifications for Finite-State Verification. Proceed ings of the 21st International Conference on Software Engineer ing, Los Angeles, 1999, pp. 16-22.
12. C. Dellarocas and P. Resnick Online Reputation Mechanisms: A Roadmap for Future Research. Summary Report of the First Interdisciplinary Symposium on Online Reputation Mechanisms, April 26-27, 2003.
13. C. A. Wood, M. Fan and Y. Tan An Examination of the Reputation Systems for Online Auctions. Proceedings of the Work shop for Information Systems and Economics (WISE 2002), Barcelona, Spain, Dec. 2002.
14. P. Resnick, R. Zeckhauser, E. Friedman and K. Kuwabara Reputation Systems. Communications of the ACM, Vol. 43, No. 12, December 2000, pp. 45-48.
15. J. H. Dobrzynski In Online Auctions, Rings of Bidders. The New York Times, June 2, 2000.
16. S. Rubin, M. Christodorescu, V. Ganapathy, J. Giffin, et al. An Auctioning Reputation System Based on Anomaly Detection. Proceedings of the 12nd ACM Conference on Computer and Communication Security, Alexandria, 2005.
17. I. Chakraborty and G. Kosmopoulou Auctions with Shill Bid ding. Economic Theory, Springer, Vol. 24, Issue 2, 2004, pp. 271-287.
18. R. J. Kauffman and C. A. Wood Running up the Bid: Modeling Seller Opportunism in Internet Auctions. Proceedings of the Sixth Americas Conference on Information Systems (AMCIS 2000), M. Chung (ed.), Long Beach, CA, 2000, pp. 929-935.
19. R. Bapna and A. Gupta Online Auctions: A Closer Look. The E-Business Handbook, P. B. Lowry, R. J. Watson, and J. O. Cherrington (eds.), St. Lucie Press, Boca Raton, FL, 2002, pp. 85-98.
20. J. Trevathan and W. Read Detecting Shill Bidding in Online English Auctions. Technical Report, James Cook University, May 2006.
21. M. Huget, M. Esteva, S. Phelps, C. Sierra, et al. Model Checking Electronic Institutions. ECAI Workshop on Model Checking and Artificial Intelligence (MoChart-2002), Lyon, 2002.
22. R. H. Bordini, M. Fisher, C. Pardavila and M. Wooldridge Model Checking AgentSpeak. Proceedings of the Second Inter national Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, July 2003.
23. C. Walton Model Checking Multi-Agent Web Services. Pro ceedings of the 2004 Spring Symposium on Semantic Web Ser vices, Stanford, California, USA, March 2004.
24. R. J. Patel and H. Xu Real-time trust management in agent based online auction systems. Proc. 19th International Confer ence on Software Engineering and Knowledge Engineering (SEKE'07), July 9-11 2007, Boston, MA, pp. 244-250.
25. E. Clarke and J. Wing Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, Vol. 28, No. 4, December 1996, pp. 626-643.
26. A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, et al. NuSMV2: An OpenSource Tool for Symbolic Model Checking. Proceeding of International Conference on Computer-Aid ed Verification (CAV 2002), Copenhagen, Denmark, July 27-31, 2002.
27. K. Havelund Java PathFinder: A Translator from Java to PROMELA. Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, Springer-Verlag, 1999, pp. 152.
28. M. Makela Maria: Modular Reachability Analyser for Algebraic System Nets. In J. Esparza and C. Lakos, editors, Application and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Vol. 2360, LNCS, June 2002, pp. 434-444.
29. G. J. Holzmann The SPIN Model Checker: Primer and Refer ence Manual. Addison Wesley, 2003.
30. Z. Manna and A. Pnueli The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
31. E. M. Clarke, O. Grumberg and K. Hamaguchi Another Look at LTL Model Checking. Formal Methods in System Design, Vol. 10, Issue 1, February 1997, pp. 47-71.
32. Y. Cheng A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions. Master's Thesis, Computer and Information Science Department, University of Massachusetts Dartmouth, September 2005.