Real-Time Model Checking for Shill Detection in Live Online Auctions
暂无分享,去创建一个
[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 .