ISSN 1000-1239 CN 11-1777/TP
工业以太网EtherCAT协议形式化安全评估及改进
冯涛, 王帅帅, 龚翔, 方君丽
Formal Security Evaluation and Improvement of Industrial Ethernet EtherCAT Protocol
Feng Tao, Wang Shuaishuai, Gong Xiang, Fang Junli
计算机研究与发展 . 2020, (11): 2312 -2327 .  DOI: 10.7544/issn1000-1239.2020.20200399