多防御者资源的审计博弈
计算机科学与博弈论
2015-03-03 v3 密码学与安全
摘要
现代组织（如医院、社交网络、政府机构）严重依赖审计来检测和惩罚不当访问和泄露机密信息的内部人员。审计博弈方面的近期研究将审计者与被审计者之间的策略交互建模为Stackelberg博弈，在相关已被广泛研究的安全博弈中引入了可配置的惩罚参数。我们将该审计博弈模型大幅推广，以考虑多个审计资源，其中每个资源仅限于审计所有潜在违规行为的一个子集，从而使其能够应用于实际审计场景。我们提供了一个FPTAS，用于计算由此产生的非凸优化问题的近似最优解。主要的技术创新在于设计并证明了一种优化变换的正确性，该变换使得构建此FPTAS成为可能。此外，我们实验性地证明，该变换显著加快了某一类审计博弈和安全博弈的解的计算速度。
引用
@article{arxiv.1409.4503,
title = {Audit Games with Multiple Defender Resources},
author = {Jeremiah Blocki and Nicolas Christin and Anupam Datta and Ariel Procaccia and Arunesh Sinha},
journal= {arXiv preprint arXiv:1409.4503},
year = {2015}
}