Y. Chen, “Adversarial Models and Game Theoretic Logic Related to Online Security”, ACL, vol. 2, no. 3, p. 1102, Jun. 2024.