  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.

Artificial Intelligence;Computer Science and Game Theory;Logic in Computer Science;Logic