作者：吕宗平,丁磊,隋翯,顾兆军 单位：公安部第三研究所;中国计算机学会计算机安全专业委员会 出版：《信息网络安全》2019年第11期 页数：11页  （PDF与DOC格式可能不同） PDF编号：PDFXXAQ2019110100 DOC编号：DOCXXAQ2019110109 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 随着工业控制系统开放性增强，大量工业控制协议漏洞暴露在互联网上，造成了工业控制系统安全风险急剧上升。文章针对工业控制系统中最常用的Modbus协议，以典型灌装环节为例，提出了一种基于时间自动机的工业控制系统网络安全分析方法，并对针对Modbus协议的中间人攻击进行了形式化分析和验证。首先结合灌装生产业务流程，归纳了该控制系统网络结构、安全属性和面临的安全威胁；然后对该控制系统的状态、行为、安全策略和攻击行为进行时间自动机建模，并通过时钟同步将各模型连接成网络；最后利用UPPAAL工具编写安全属性公式，并对有无攻击两种情况下的安全属性进行验证。实验结果表明，针对Modbus协议的中间人攻击成功破坏了该控制系统的完整性和可用性。

    📙 相关资料

    1. 《基于故障配置的故障树生成》PDF+DOC 故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题，且容易出错。为此，提出基于故障配置的故障树生成方法，引入软件产品线的可变性管理，用于系统故障建模与形式化分析。首先，定义故障特征图模型用于刻画系统故障间的约束关系，基于Kripke结构定义......
    2. 《基于实体交互模型巷道瓦斯监测WSNs的可用性检验》PDF+DOC 若煤矿瓦斯监测WSNs(Wireless Sensor Networks)系统的功能设计忽略了被监测实体的交互行为，会造成WSNs本身可靠而被监测实体的安全不满足情况，这在生产安全中是非常危险的。为检验WSNs监测系统功能设计的可靠性和可用性，利用时间自动机模型检验方法建立WSNs监测系统模型，检验......
    3. 《远程液位监控系统设计》PDF+DOC 在工业控制系统中，液位是一种十分普遍的研究对象。液位的监测与控制是系统功能实现必不可少的环节。液位的高低影响着工业控制的安全性，设计了远程液位监控系统。该系统运用STC12C5A60S2单片机作为下位机主控芯片，采用NRF905收发模块进行设计。水箱中的水位传感器将采集到的信号经下位机处理后，通过N......
    4. 《现场总线前景展望》PDF+DOC 现场总线作为工业控制系统和现场设备之间的一种实用通讯方式已经被工业控制领域广为接受运用，并且目前正迅速发展成为过程控制系统与现场仪器间通讯的首选方法。现场总线在一些未开发地区取得了巨大的成功，特别是应用在新型大规模加工工程和发展中国家。现场总线未来的市场前景如何?如何发展这种实用技术使其满足用户的需......
    5. 《浅析智能工业控制系统原理与结构》PDF+DOC 随着计算机以及控制技术的发展，传统的工业控制技术已经逐渐地被智能控制技术所替代，智能化工业控制系统的发展为工业领域的发展提供了最强的技术保证，是推动企业持续创新发展的有效途径。详细介绍了工业控制系统的原理以及结构组成。...
    6. 《工业无线技术的发展及前景分析》PDF+DOC 对比有线技术，介绍了工业无线技术的发展、特点和现状优势；通过基于WZA-PA的建筑检测仪和基于无线传感器网络的智能电网的两个应用实例介绍了工业无线技术在生产生活中的运用；从技术角度和市场潜力上对其未来的发展及应用范围作了预测，并提出了在以后的发展中亟待解决的问题。...
    7. 《基于ARM的多传感器信息融合在工业控制中的应用》PDF+DOC 复杂工业控制系统的控制过程需同时涉及多个信息，信息融合技术可获得复杂工业生产过程的比较完整的描述，ARM具有信息处理能力强和高集成度的特点，二者的结合可实现对工业生产的高精度智能控制。该应用系统由SamsungS3C2410处理器，外部RAM、Flash、D/A转换芯片、LCD和RS232接口组成，......
    8. 《蓝牙技术在工业监控系统中的应用》PDF+DOC 介绍了一种短距离无线通信技术——蓝牙在工业控制系统的应用实例。利用新华龙公司的C8051F020和第一代蓝牙模块芯片BCM-05，设计一个蓝牙空气粉尘检测器，使之与蓝牙接入设备搭建一套用于工业控制领域的的空气粉尘检测系统，同时给出了该蓝牙粉尘检测器的硬件设计和系统的软件框架。...
    9. 《基于ARM9和CPLD的嵌入式工业控制系统》PDF+DOC 介绍了一种基于ARM9-CPLD架构的嵌入式工业控制系统的软硬件设计。系统以Atmel公司的工业级ARM-AT91RM9200和EPM3512A为核心，扩展彩色LCD、触摸屏、以太网以及其他多种工业控制接口。该系统成本低，界面友好，工作稳定，通用性强，可在许多工业场合取代PLC工作。...
    10. 《WatchGuard:2014年全球安全趋势八大预测》PDF+DOC 2013年，“变革”成为了IT产业的主旋律。对于企业用户来说，也是如此。转型、收购、合作……云计算、大数据、移动化……各种概念、各种炒作，你方唱罢我登场。但对于所有企业和机构来说，有一个主旋律是永恒不变的，那就是“安全”!在2013年即将逝去的时刻，我们有必要抓住它的尾巴，仔细审视，未雨绸缪，为打赢......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。