Association-based Privacy Attacks in Wireless Protocols: Formal Modeling and Mitigation

本文针对无线通信协议中基于配对（pairing）的隐私攻击进行形式化建模与缓解研究。随着社交媒体和物联网设备产生大量隐私敏感数据，亟需形式化、自动化的方法来评估复杂系统中的隐私风险。作者首先指出，利用重放/中继（replay/relay）技

历史摘要 · 未重新核验 · arXiv cs.CR