工控系统的面向信息安全的形式化分析,是开展行业工控系统信息安全工作的一个重要方向,对于理解既有标准和指导在研标准都有理论高度的意义.因此,参考IEC 62443的区域和管道模型,在烟草行业的烟草制丝工艺控制系统中进行实践,完成了烟草行业制丝集控系统面向信息安全形式化的工控系统抽象建模的操作方法设计,并简单论述了该方法在全行业其他工艺控制系统中的通用性,从而为进一步建立通用的工控信息安全形式化分析打下基础.%The infosec-oriented formal analysis for industrial control systems is an important direction for developing information security of industrial control systems, and it is of high theoretical significance for understanding the existing standards and guiding the in-research standards. For this, by referring to IEC 62443 region and pipe model, the practice in tobacco process control system in tobacco industry is done, the infosec-oriented operation method of abstract modeling for industrial control system of tobacco industry designed, and the generality of this method in other process control systems in the industry also discussed, thus to lay a foundation for the further establishment of universal formal analysis of industrial information security.
展开▼
