arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2603.20107cs.CRcs.FL
收藏

共享秘密:分布式隐私保护监控

Sharing The Secret: Distributed Privacy-Preserving Monitoring

ISTA, Klosterneuberg, Austria(奥地利科学院研究所);Université Libre de Bruxelles, Belgium(布鲁塞尔自由大学);TU Graz, Austria(格拉茨工业大学)

Mahyar Karimi, K. S. Thejaswini, Roderick Bloem, Thomas A. Henzinger

AI总结:

本文提出一种分布式隐私保护监控方法,通过将监控器分布到多个参与方,利用高效秘密共享方案替代传统加密技术,提升实时应用的可扩展性。

摘要:

传统运行时验证中,通常由单一监控器观察系统。在这样的设置中 enforcing 隐私是计算上昂贵的,因为需要大量的加密原语。因此,隐私保护监控在实时应用中仍然不切实际。在本工作中,我们通过将监控器分布到多个参与方——至少有一个是诚实的——来解决这一扩展性挑战。这种架构使可以使用高效的秘密共享方案代替计算密集型的加密,从而大幅减少开销同时保持强隐私保证。虽然现有的秘密共享方法通常局限于一次性执行,不维护内部状态,我们引入了一种针对连续监控的协议,支持在不断演变的内部状态(该状态从系统和监控实体保密)上进行重复评估。我们使用 MP-SPDZ 框架实现了我们的方法。我们的实验表明,在这些架构假设下,我们的协议比现有替代方案显著更具扩展性。

英文摘要:

In traditional runtime verification, a system is typically observed by a monolithic monitor. Enforcing privacy in such settings is computationally expensive, as it necessitates heavy cryptographic primitives. Therefore, privacy-preserving monitoring remains impractical for real-time applications. In this work, we address this scalability challenge by distributing the monitor across multiple parties -- at least one of which is honest. This architecture enables the use of efficient secret-sharing schemes instead of computationally intensive cryptography, dramatically reducing over-head while maintaining strong privacy guarantees. While existing secret-sharing approaches are typically limited to one-shot executions which do not maintain an internal state, we introduce a protocol tailored for continuous monitoring that supports repeated evaluations over an evolving internal state (kept secret from the system and the monitoring entities). We implement our approach using the MP-SPDZ framework. Our experiments demonstrate that, under these architectural assumptions, our protocol is significantly more scalable than existing alternatives.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑