A protocol for verification of an auction without revealing bid values.
Ben PalmerKris BubendorferIan WelchPublished in: ICCS (2010)
Keyphrases
- auction protocol
- bidding strategies
- sealed bid auctions
- combinatorial auctions
- cryptographic protocols
- auction mechanisms
- false name bids
- resource allocation
- formal analysis
- protocol specification
- lightweight
- model checking
- reverse auction
- multi unit
- parameter values
- attribute values
- model checker
- authentication protocol
- formal verification
- mechanism design
- face verification
- verification method
- sealed bid
- multi agent