ProvMark：一种溯源表达性基准测试系统
密码学与安全
2019-09-26 v1
摘要
系统级溯源在诸如安全强制与信息保护等应用中受到广泛关注。然而，测试溯源捕获工具的正确性或完整性具有挑战性，且目前以人工方式进行。在某些情况下，甚至对于何种行为正确尚无明确共识。我们提出了一个自动化工具 ProvMark，它将现有溯源系统作为黑盒使用，并通过归约为由外部求解器处理的子图同构问题，可靠地识别针对给定活动所记录的溯源图结构。ProvMark 是测试和比较溯源系统表达性这一亟需领域中初步的一步。我们展示了 ProvMark 在比较三种具有不同架构和鲜明设计理念的捕获系统时的有用性。
引用
@article{arxiv.1909.11187,
title = {ProvMark: A Provenance Expressiveness Benchmarking System},
author = {Sheung Chi Chan and James Cheney and Pramod Bhatotia and Thomas Pasquier and Ashish Gehani and Hassaan Irshad and Lucian Carata and Margo Seltzer},
journal= {arXiv preprint arXiv:1909.11187},
year = {2019}
}
备注
To appear, Middleware 2019