一种面向形式化分析的工控系统信息安全抽象方法

作     者：李威 李建俊 汤尧平 谢新勤 倪春娟 LI Wei;LI Jian-jun;TANG Yao-ping;XIE Xin-qin;NI Chun-juan

作者机构：浙江中烟工业有限责任公司浙江杭州310008 上海三零卫士信息安全有限公司上海200233 

出 版 物：《通信技术》 (Communications Technology)

年 卷 期：2017年第50卷第8期

页      码：1836-1840页

摘      要：工控系统的面向信息安全的形式化分析,是开展行业工控系统信息安全工作的一个重要方向,对于理解既有标准和指导在研标准都有理论高度的意义。因此,参考IEC 62443的区域和管道模型,在烟草行业的烟草制丝工艺控制系统中进行实践,完成了烟草行业制丝集控系统面向信息安全形式化的工控系统抽象建模的操作方法设计,并简单论述了该方法在全行业其他工艺控制系统中的通用性,从而为进一步建立通用的工控信息安全形式化分析打下基础。

主 题 词：工控系统 信息安全形式化 烟草制丝工艺控制系统 工控信息安全 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1002-0802.2017.08.043

馆 藏 号：203260476...