arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2306.04481cs.CRcs.SE
收藏

可持续自适应安全

Sustainable Adaptive Security

Liliana Pasquale, Kushal Ramkumar, Wanling Cai, John McCarthy, Gavin Doherty, Bashar Nuseibeh

AI总结:

本文提出可持续自适应安全(SAS)概念,结合自动化、异常检测、溯因推理与人工干预,扩展MAPE循环以应对设计时未预见的新威胁。

摘要:

随着软件系统渗透到我们生活的方方面面,我们有理由期望这些系统在设计上就是安全的,并且这种安全性能够在系统使用及其后续演化过程中持续存在。尽管已经提出了自适应安全系统,以持续保护资产免受损害,但它们只能缓解由设计时预见到的变化所引发的威胁。在本文中,我们提出了可持续自适应安全(SAS)的概念,通过赋予自适应安全系统缓解新发现威胁的能力,来体现这种持久保护。为实现这一目标,SAS系统在设计时应结合自动化(例如用于发现和缓解安全威胁)与人工干预(例如用于解决威胁发现和缓解过程中的不确定性)。本文通过一个智能家居示例,展示了如何对满足可持续自适应安全的系统的MAPE(监控、分析、规划和执行)循环活动进行工程化设计。我们认为,将异常检测与溯因推理结合使用,有助于发现新威胁,并指导安全需求和控制措施的演化。我们还举例说明了在MAPE循环活动执行过程中可以引入人工参与的情形,并讨论了工程化人工干预所需的需求。

英文摘要:

With software systems permeating our lives, we are entitled to expect that such systems are secure by design, and that such security endures throughout the use of these systems and their subsequent evolution. Although adaptive security systems have been proposed to continuously protect assets from harm, they can only mitigate threats arising from changes foreseen at design time. In this paper, we propose the notion of Sustainable Adaptive Security (SAS) which reflects such enduring protection by augmenting adaptive security systems with the capability of mitigating newly discovered threats. To achieve this objective, a SAS system should be designed by combining automation (e.g., to discover and mitigate security threats) and human intervention (e.g., to resolve uncertainties during threat discovery and mitigation). In this paper, we use a smart home example to showcase how we can engineer the activities of the MAPE (Monitor, Analysis, Planning, and Execution) loop of systems satisfying sustainable adaptive security. We suggest that using anomaly detection together with abductive reasoning can help discover new threats and guide the evolution of security requirements and controls. We also exemplify situations when humans can be involved in the execution of the activities of the MAPE loop and discuss the requirements to engineer human interventions.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑