2000 character limit reached
Blameworthiness in Security Games (1910.08647v2)
Published 18 Oct 2019 in cs.AI, cs.GT, cs.LO, and math.LO
Abstract: Security games are an example of a successful real-world application of game theory. The paper defines blameworthiness of the defender and the attacker in security games using the principle of alternative possibilities and provides a sound and complete logical system for reasoning about blameworthiness in such games. Two of the axioms of this system capture the asymmetry of information in security games.