安全保证案例——一种新兴方法的现状
软件工程
2020-04-01 v1
摘要
安全保证案例（Security Assurance Cases, SAC）是一种用于对系统安全属性进行推理的结构化论证形式。在 assurance cases 成功用于安全性之后，SAC 近年来获得显著关注，尤其在安全关键行业（如汽车）中，其面临符合多项安全标准和法规的日益增长的压力。相应地，SAC 领域的研究在过去十年蓬勃发展，多种方法被探讨。为系统化这一活跃研究领域，我们对现有关于 SAC 的学术文献进行了系统性文献综述（SLR）。我们的综述对 51 篇论文进行了深入分析并作比较。结果表明，尽管大量论文讨论了安全保证案例的重要性及其使用场景，但关于如何构建与维护 SAC 对从业者的具体支持方面，文献仍不成熟。更重要的是，即便已有若干方法论可用，其验证与工具支持依然缺乏。
引用
@article{arxiv.2003.14151,
title = {Security Assurance Cases -- State of the Art of an Emerging Approach},
author = {Mazen Mohamad and Jan-Philipp Steghöfer and Riccardo Scandariato},
journal= {arXiv preprint arXiv:2003.14151},
year = {2020}
}