Chen, Y. Adversarial Models and Game Theoretic Logic Related to Online Security. ACL 2024, 2, 1102.