Real-Time Model Checking for Shill Detection in Live Online Auctions
Real-Time Model Checking for Shill Detection in Live Online Auctions
复制标题
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Haiping Xu;Christopher K. Bates;S. Shatz
中科院分区：
文献类型：
--
作者：
Haiping Xu;Christopher K. Bates;S. Shatz
在线拍卖易受“托”投标人的影响，他们有意人为提高投标价格，导致中标人为拍卖物品支付的价格高于他们应该支付的价格。这种欺诈行为的检测是非常困难的，特别是当拍卖正在进行中，或“现场”。本文重点关注一种检测实时在线拍卖中先令行为的正式技术。我们定义了一个监控代理，可以连续监视异常的投标人的投标行为。为了使检测过程有效，我们引入了一个动态拍卖模型（DAM），并使用实时模型检测技术来验证线性时序逻辑（LTL）中指定的先令行为。最后，我们提出了一个实时的shill检测算法，并使用一个案例研究来证明我们的方法的效率和有效性。
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.