Login / Signup
A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions.
Yi-Tsung Cheng
Haiping Xu
Published in:
ICEIS (3) (2006)
Keyphrases
</>
online auctions
bid prices
electronic commerce
fraud detection
formal model
formal specification
model checking
human behavior
bidding strategies
transaction data
auction mechanisms
concurrent execution