Liujia Cai, Guangying Cai, Siqi Lu, Guangsong Li, Yongjuan Wang: Observational equivalence and security games: Enhancing the formal analysis of security protocols. Comput. Secur. 140: 103785 (2024)