CheckMate: Automated Game-Theoretic Security Reasoning.
Lea Salome BruggerLaura KovácsAnja Petkovic KomelSophie RainMichael RawsonPublished in: CCS (2023)
Keyphrases
- game theoretic
- game theory
- decision problems
- nash equilibrium
- rational agents
- knowledge base
- information security
- access control
- imperfect information
- nash equilibria
- trust model
- regret minimization
- pure nash equilibrium
- human operators
- agent programming
- coalitional games
- combinatorial auctions
- solving problems
- multi agent systems
- cooperative
- multi agent