可编程逻辑控制器代码安全是确保工业控制系统安全运行的核心，本文围绕着可编程逻辑控制器的代码安全缺陷进行分析，首先阐述了工控代码安全的相关研究。接着，从可编程逻辑控制器代码逻辑缺陷、安全需求规约两个方面对工控代码缺陷进行分类，分析了针对梯形图语言的3种代码逻辑缺陷产生的机理，并结合梯形逻辑图，利用PLC代码逻辑缺陷，实现拒绝服务攻击、中间人攻击等。最后，本文提出了PLC代码形式化验证中面临的困难，并从中间语言翻译、模型构建和模型检测三方面综述了PLC代码形式化验证的相关研究。

本文描述实施工厂级别远程访问的原则，给出了远程访问的用例，搭建了典型的体系架构，提出了罗克韦尔自动化公司建议的解决方案。

通过将机器学习、行为基线、全流量分析等新兴技术手段应用到工业网络安全监测的场景下，最大限度地提升异常监测的实时性和准确性。同时，融合不同工业场景业务行为的监测审计方式，可以为客户打造“私人定制”的安全监测平台。