信息网络安全
基于PCL的HZ逻辑及其自动化验证方法
张正茁, 吴倩倩, 原煜博, 黄鑫
PCL-Based HZ Logic and Its Automated Verification Method
ZHANG Zhengzhuo, WU Qianqian, YUAN Yubo, HUANG Xin
信息网络安全 . 2026, (5): 819 -830 .  DOI: 10.3969/j.issn.1671-1122.2026.05.012