基于动态对策树的时间依赖分析
密码学与安全
2015-10-02 v1
摘要
安全攻击的成功关键取决于时间：攻击者可用时间越多，成功攻击的概率越高。可靠性框图、可靠性图和攻击对策树等形式化方法提供关于攻击场景的定量信息，但已被证明不足以建模涉及成本、技能和时间的依赖动作。在本报告中，我们受攻击者投入资源量（此处指时间）与成功概率强相关的启发，用时间概念扩展攻击对策树。这允许有效选择对策并根据其资源消耗（安装成本/技能）和阻止攻击的有效性对它们排序。
引用
@article{arxiv.1510.00050,
title = {Time Dependent Analysis with Dynamic Counter Measure Trees},
author = {Rajesh Kumar and Dennis Guck and Marielle Stoelinga},
journal= {arXiv preprint arXiv:1510.00050},
year = {2015}
}
备注
5 pages, 2 Figures, Workshop paper(QAPL 2015)-Extended abstract