Qingxia Long, Yong He, Zhenhe Cui. On the Decision Problem of a Class of Automata Used for Security Verification of Network Protocols. In Wei Liang 0005, Sun-Yuan Kung, Meikang Qiu, editors, Security and Privacy in Communication Networks - 21st EAI International Conference, SecureComm 2025, Xiangtan, China, July 4-6, 2025, Proceedings, Part IV. Volume 690 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 371-391, Springer, 2025. [doi]