Formal Verification of e-Auction Protocols.
Jannik DreierPascal LafourcadeYassine LakhnechPublished in: POST (2013)
Keyphrases
- formal verification
- model checking
- cryptographic protocols
- model checker
- bounded model checking
- symbolic model checking
- automated verification
- electronic commerce
- program slicing
- online auctions
- bidding strategies
- mechanism design
- multi unit
- auction protocol
- formal specification
- combinatorial auctions
- temporal logic
- software development
- sponsored search auctions