用于安全分析的数据流图情境化
密码学与安全
2020-06-09 v1 软件工程
摘要
数据流图(DFDs)常用于草绘系统以进行后续威胁建模。其有限的语义使得对其推理困难,但丰富其语义又会危及简洁性及后续易用性。我们提出一种通过对设计层DFDs与其他互补的可用性与需求模型进行情境化,从而推理其中污染数据流的方法。我们通过一项试点研究说明该方法,在不对DFD或其互补模型做任何扩充的情况下识别出了污染数据流。
引用
@article{arxiv.2006.04098,
title = {Contextualisation of Data Flow Diagrams for security analysis},
author = {Shamal Faily and Riccardo Scandariato and Adam Shostack and Laurens Sion and Duncan Ki-Aries},
journal= {arXiv preprint arXiv:2006.04098},
year = {2020}
}
备注
Workshop pre-print