论文标题
Cambench-加密API滥用检测工具基准套件
CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
论文作者
论文摘要
上下文:加密API通常在现实世界中被滥用。因此,已经引入了许多加密API滥用检测工具。但是,没有建立的参考基准来对这些工具进行公平,全面的比较和评估。尽管有基准测试,但它们通常仅处理域的一个子集,或者仅用于评估现有滥用检测工具的一部分。目的:要公平地比较加密API滥用检测工具并推动该领域的未来发展,我们将设计这样的基准。生成过程中的开放性和透明度是公平生成和建立所需基准的关键因素。方法:我们提出了一种方法,我们从文献中得出基准生成方法,其中包括基准和特定于域特异性基准生成中的一般最佳实践。这种方法的一部分是生成过程的透明度和开放性,这是通过预先注册这项工作来实现的。根据我们的方法,我们设计了Cambench,这是一个公平的“密码API滥用检测工具基准套件”。我们将实施第一个版本的Cambench,将域限制为Java,JCA和静态分析。最后,我们将使用Cambench比较当前的滥用检测工具,并将Cambench与其域的相关基准进行比较。
Context: Cryptographic APIs are often misused in real-world applications. Therefore, many cryptographic API misuse detection tools have been introduced. However, there exists no established reference benchmark for a fair and comprehensive comparison and evaluation of these tools. While there are benchmarks, they often only address a subset of the domain or were only used to evaluate a subset of existing misuse detection tools. Objective: To fairly compare cryptographic API misuse detection tools and to drive future development in this domain, we will devise such a benchmark. Openness and transparency in the generation process are key factors to fairly generate and establish the needed benchmark. Method: We propose an approach where we derive the benchmark generation methodology from the literature which consists of general best practices in benchmarking and domain-specific benchmark generation. A part of this methodology is transparency and openness of the generation process, which is achieved by pre-registering this work. Based on our methodology we design CamBench, a fair "Cryptographic API Misuse Detection Tool Benchmark Suite". We will implement the first version of CamBench limiting the domain to Java, the JCA, and static analyses. Finally, we will use CamBench to compare current misuse detection tools and compare CamBench to related benchmarks of its domain.