可编程逻辑控制器安全特性可用性研究：“它确实具有 Windows 98 的感觉

Aug, 2022

可编程逻辑控制器安全特性可用性研究：“它确实具有 Windows 98 的感觉

"Yeah, it does have a...Windows `98 Vibe'': Usability Study of Security Features in Programmable Logic Controllers

Karen Li, Kopo M. Ramokapane, Awais Rashid

TL;DR通过一个基于任务的研究和随后的半结构化访谈 (N=19)，探究了 PLC 连接配置和两个关键安全机制 (即访问级别和用户管理) 的可用性，结果发现不熟悉的标签使用、布局和误导性术语的使用加剧了配置安全机制的复杂性。我们提供设计建议，使得工业设置的可用安全性与 IT 同行水平相当。

Abstract

programmable logic controllers (PLCs) drive industrial processes critical to society, e.g., water treatment and distribution, electricity and fuel networks. Search engines (e.g., Shodan) have highlighted that Programmable Logic Controllers (PLCs) are often left exposed to the Internet,

programmable logic controllers security usability configuration industrial settings

发现论文，激发创造

实施 SCADA 场景并引入攻击以获取入侵检测方法的训练数据

本文提出了一个用于基于机器学习的异常检测算法训练的标记数据集。该数据集基于实际的工业应用场景，包括真实工业硬件和应用特定的网络数据。数据集包含人工引入的攻击行为，并用传感器数据标记攻击行为，以进行规范的测试和评估。

May, 2019

LLM4PLC：工控系统中基于大型语言模型的可验证 PLC 编程

提出 LLM4PLC 的用户引导迭代流程，通过用户反馈和外部验证工具来改善大型语言模型（LLM）生成的代码的可验证性，提高成功生成的比例并提高代码质量。

Jan, 2024

ChatGPT 用于 PLC/DCS 控制逻辑生成

本研究是一项探索性研究，通过创建 100 个 LLM 提示，测试了控制逻辑生成，旨在提高控制工程师的生产力。

May, 2023

SCADA 漏洞利用的 20 年：简史

本文分析了工业系统中已知的攻击，评估了攻击的类型及其入口点，介绍了针对工业企业的攻击活动和利用趋势。

May, 2019

LLMPot：用于 ICS Honeypots 的自动化 LLM 基础的工业协议和物理过程仿真

利用 LLMPot 技术，我们提出了一种在工控系统网络中设计蜜罐的新方法，通过利用大型语言模型（LLMs）的强大功能，自动化和优化了创建逼真蜜罐的过程，并针对任何控制逻辑以实现供应商不可知配置，从而减少了传统领域中所需的手动努力和专业知识。

May, 2024

更加表意与抽象的逻辑程序的配置

本篇论文重点针对模型导向人工智能的方法及其应用中 SAT 和 ASP 这两个系统的输入形式进行分析，特别是通过将输入形式重新制定和配置，优化推理过程。经过广泛领域内数据的实验证明，使用这种方法可以获得不同的优势。

Mar, 2022

网络物理系统安全 -- 综述

在本文中，我们基于一个统一的框架对 CPS 安全的研究进行了系统化的概述，框架包含三个正交的坐标系，分别为从安全角度、CPS 组件角度、CPS 系统角度，旨在构建一个足够抽象的模型来适用于各种异构的 CPS 应用，并且为 CPS 组件的紧密耦合提供了模块化的视图。

Jan, 2017

基于 PLC 控制的自优化与演化算法自动生成代码

本文提出了一种基于进化算法的新方法，通过遗传结果，从解码中导出系统实现的程序代码，解决了自动化数字化转型对工业过程中数据采集和处理提出的新要求，并在多目标优化问题下的工业液体站过程上对所提出的方法进行了评估。

Apr, 2023

LLM 用于 SoC 安全：范式转变

通过整合大型语言模型（LLMs）到 SoC 安全验证范式中，我们在现有 SoC 安全方案的限制性能、全面性和适应性方面的差距中开辟了新的可能性和挑战，旨在实现更高效、可扩展和可适应的方法。

Oct, 2023

安全芯片插入：强制 LLM 驱动的机器人代理遵守限制

利用大型语言模型（LLM）所提供的世界知识和普遍推理能力，我们提出了一种基于线性时态逻辑（LTL）的可查询安全约束模块，用于在协作环境中部署 LLM 代理，并通过自然语言到时态约束编码、安全违规推理、不安全行为修剪等功能，实现了显式指示禁止行为、评估机器人对限制的理解，并确保其合规性。实验证明我们的系统可以严格遵守安全约束并能很好地适用于复杂的安全约束，具备实际应用潜力。

Sep, 2023