Real-Time Model Checking for Shill Detection in Live Online Auctions

Online auctions are vulnerable to shill bidders, who intend to artificially raise bidding prices, causing winning bidders to pay more than they should pay for auctioned items. Detection of such fraudulent behaviors is very difficult, especially when an auction is in progress, or “live”. This paper focuses on a formal technique to detect shilling behaviors in live online auctions. We define a monitoring agent that can continuously watch for abnormal bidding behaviors of a monitored bidder. To make the detection process efficient, we introduce a dynamic auction model (DAM), and use real-time model checking techniques to verify shilling behaviors specified in linear temporal logic (LTL). Finally, we present an algorithm for real-time shill detection, and use a case study to demonstrate the efficiency and effectiveness of our approach.

[1]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[2]  Xu Li,et al.  An agent-based trust and reputation management scheme for wireless sensor networks , 2005, GLOBECOM '05. IEEE Global Telecommunications Conference, 2005..

[3]  Alok Gupta,et al.  Online Auctions: A Closer Look * , 2002 .

[4]  Haiping Xu,et al.  Model checking bidding behaviors in internet concurrent auctions , 2007, Comput. Syst. Sci. Eng..

[5]  Jonathon T. Giffin,et al.  An auctioning reputation system based on anomaly , 2005, CCS '05.

[6]  Christos Faloutsos,et al.  Detecting Fraudulent Personalities in Networks of Online Auctioneers , 2006, PKDD.

[7]  Haiping Xu,et al.  A Framework for Agent-Based Trust Management in Online Auctions , 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

[8]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[9]  P. Resnick,et al.  Online Reputation Mechanisms-A Roadmap for Future Research , 2003 .

[10]  Jarrod Trevathan,et al.  Undesirable and Fraudulent Behaviour in Online Auctions , 2006, SECRYPT.

[11]  Haiping Xu,et al.  Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions , 2009, 2009 Sixth International Conference on Information Technology: New Generations.

[12]  Vitaly Shmatikov,et al.  Reputation-Based Trust Management ∗ , 2003 .

[13]  R. Kauffman,et al.  Running up the Bid: Modeling Seller Opportunism in Internet Auctions , 2000 .