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

• 作者: 倪春娟 李威 李建俊 汤尧平 谢新勤
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: 工控系统 信息安全形式化 烟草制丝工艺控制系统 工控信息安全
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 安全与保密
• 页码范围: 1836-1840
• 页数: 5页
• 分类号: TP309.1
• 字数: 2979字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2017.08.043

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李威		10	17	3.0	4.0
2	李建俊		2	0	0.0	0.0
3	汤尧平		7	17	3.0	4.0
4	谢新勤		4	9	1.0	3.0
5	倪春娟		1	0	0.0	0.0