作者：李威; 李建俊; 汤尧平; 谢新勤; 倪春娟工控系统信息安全形式化烟草制丝工艺控制系统工控信息安全
摘要：工控系统的面向信息安全的形式化分析,是开展行业工控系统信息安全工作的一个重要方向,对于理解既有标准和指导在研标准都有理论高度的意义。因此,参考IEC 62443的区域和管道模型,在烟草行业的烟草制丝工艺控制系统中进行实践,完成了烟草行业制丝集控系统面向信息安全形式化的工控系统抽象建模的操作方法设计,并简单论述了该方法在全行业其他工艺控制系统中的通用性,从而为进一步建立通用的工控信息安全形式化分析打下基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
