A formal approach to detecting shilling behaviors in concurrent online auctions

ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

Volumn ISAS, Issue , 2006, Pages 375-381

  Cheng, Yi Tsung ^a   Xu, Haiping ^a  

^a University of Massachusetts Dartmouth   (United States)

Author keywords

Concurrent online auctions; Linear temporal logic (LTL); Model checking; Shilling behaviors

Indexed keywords

AUCTION MODEL; BEHAVIORAL PROPERTIES; BIDDING PROCESS; FORMAL APPROACH; LINEAR TEMPORAL LOGIC; LINEAR TEMPORAL LOGIC (LTL); MODEL CHECKING PROBLEM; MODEL TEMPLATES; MODEL-CHECKING TECHNIQUES; ONLINE AUCTIONS; PROMELA; SPIN MODELS;

ELECTRONIC COMMERCE; INFORMATION SYSTEMS; TEMPORAL LOGIC;

MODEL CHECKING;

EID: 36049028062     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

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.