网络安全中基于SAT的验证计算的外包
密码学与安全
2025-05-23 v1
摘要
云计算的出现对大规模计算产生了巨大影响。云计算平台提供具有大计算能力的服务器可供客户使用。这些服务器可用于高效地解决天然复杂的问题，例如满足性（SAT）问题。许多实际问题可转换为SAT问题，例如电路验证和网络配置分析。然而，将SAT实例外包给服务器可能会导致数据泄露，这可能危及系统的安全。在外包SAT实例之前，需要隐藏输入信息。保护隐私和隐藏信息的一种方式是对SAT实例进行随机化。本文提出了多种新方法来随机化SAT实例。我们提出了一种随机化SAT实例的新方法、一种用于随机化解集的变量随机化方法，以及用于随机化Mincost SAT和MAX3SAT实例的方法。我们的分析和评估显示，这些随机化方法的正确性和可行性。我们方法的可扩展性和通用性使其适用于现实世界的问题。
引用
@article{arxiv.2505.16137,
title = {Outsourcing SAT-based Verification Computations in Network Security},
author = {Qi Duan and Ehab Al-Shaer},
journal= {arXiv preprint arXiv:2505.16137},
year = {2025}
}