An Automated Verification Method for Security Vulnerabilities in Power Grid Industrial Control Networks Under Heterogeneous Environment Interconnection
LI Lei, WANG Rui, LIU Xin, SU Bing, YE Mai
Manufacturing Automation . 2026, (9): 113 -120 .  DOI: 10.3969/j.issn.1009-0134.2026.09.012