paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Better Safe than Sorry: Preventing Policy Violations through Predictive Root-Cause-Analysis for IoT Systems

安全总比后悔好:通过预测性根因分析防止 IoT 系统策略违规
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 2/10 · 论文将机器学习用于 IoT 策略违规的预测性根因分析与修复推荐,属于安全/物联网领域;与用户关注的 PL/AI 交叉(静态分析、Agentic 程序、浮点/贝叶斯程序分析、LLM 改进形式化验证)缺乏直接交集。引用 0 inbox
Michael Norris, Syed Rafiul Hussain, Gang Tan
crossref: 2026-09-12

AI 速览

一句话:提出 IoTArmor,用机器学习预测性根因分析为 IoT 策略违规选择最优修复动作。

本文关注 IoT 环境中因规则定义不当、应用冲突、设备物理交互或用户无意干扰而可能发生的策略违规,这些违规可能危及敏感信息的机密性与物理/系统完整性。作者提出 IoTArmor:假定违规已被预测将发生,它分析当前系统状态,并利用机器学习模型选择可阻止未来违规的修复动作。该工具不仅生成最优修复方案,还向用户解释修复为何有效,帮助用户理解当前环境缺陷与整体应用配置问题。摘要未报告定量实验结果,主要贡献是预测性根因分析与可解释修复建议的方法设计。

问题
IoT 环境中策略违规来源多样,且可能危及设备敏感信息与物理/系统完整性,因此需要提前预防。
方法
提出 IoTArmor,在假定违规已被预测到的情况下分析当前系统状态,并使用机器学习模型选择最优修复动作,同时生成有效性解释。
评估
摘要未给出具体实验评估或量化结果,仅声称该分析能给出准确的修复建议与详细解释。
原文摘要(Abstract)

In an Internet of Things (IoT) environment, there are several way things can go wrong based on device activity. Poorly defined rules, conflicts between applications, physical interactions between devices, or unintentional interference by user behavior. Since these devices can have access to sensitive information or the capability to disrupt or harm physical elements in an environment, there is a strong motivation to protect confidentiality and integrity in IoT systems. In this paper we design IoTArmor, a novel Root-Cause-Analysis tool that uses machine learning models to select remediating actions that can prevent violations that would otherwise occur in the future. We assume violations have been predicted to occur and analyze the current system state to produce optimal fixes to prevent the violating behavior. Through this analysis, we can give accurate proposed fixes to prevent the violations, as well as detailed explanations to users as to why the fixes are effective. This methodology provides easily usable information to users about flaws in their environment, both in the current moment and in their overall application setup.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot9500,
  title = {Better Safe than Sorry: Preventing Policy Violations through Predictive Root-Cause-Analysis for IoT Systems},
  author = {Michael Norris and Syed Rafiul Hussain and Gang Tan},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00238}
}