Towards Formal Analysis of Insider Threats for Auctions.
Florian KammuellerManfred KerberChristian W. ProbstPublished in: MIST@CCS (2016)
Keyphrases
- formal analysis
- insider threat
- agent model
- group buying
- resource allocation
- bidding strategies
- multi attribute
- online auctions
- electronic marketplaces
- combinatorial auctions
- information revelation
- auction protocol
- denial of service attacks
- formal methods
- mechanism design
- ban logic
- artificial intelligence
- multi unit
- countermeasures
- information security
- critical infrastructure
- knowledge based systems
- sensitive data
- security architecture
- security issues