#uc-security

共收录 1 条相关安全情报。

← 返回所有主题
👥 作者: Ziqing Guo, Fuyuki Kitagawa, Xiao Liang

该论文开创性地提出并研究“时空多方安全计算”(spatiotemporal MPC), 把传统 MPC 的输入从纯数字数据扩展为同时依赖物理事实(如参与方所处位置、时间、运动轨迹)的功能。这类协议面临双重目标: 一方面必须隐藏时空信息(隐私性), 另一方面必须保证时空输入的物理一致性——恶意参与方不能迫使功能运行在与自身真实物理状态不符的时空输入上。核心概念难点在于: 如何在基于模拟(simulation-based)的安全框架内对时空信息进行“提取”。为此作者提出“时空知识论证”(arguments of spatiotemporal knowledge), 遵循“我证明故我在”的原则: 不直接用数学关系定义物理在场, 而是操作性地把物理在场定义为“能够完成一个健全(sound)的时空验证协议”的能力。据此, 提取器可从成功的证明者处恢复出一个时空点, 并通过驱动被提取出的证明者在辅助时空验证协议中成功, 来认证该时空点具有物理有效性。在此概念之上, 论文定义了时空 MPC 的通用可组合(UC)安全性, 同时刻画隐私性、物理一致性与可组合性, 并给出满足该新 MPC 概念的构造。作者首先构造 UC 安全的“时空知识提交-证明”协议: 在 CRS 模型下基于 LWE 假设, 可抵抗无预共享纠缠的量子证明者; 在 QROM(量子随机预言机模型)下, 可抵抗拥有无界预共享纠缠的量子证明者。随后利用这些构造, 从半诚实后量子 MPC 出发得到 UC 安全的时空 MPC。论文还把框架扩展到支持经典时空输入下的量子功能。适合密码学理论、量子安全协议与分布式系统方向的研究者阅读。

💡 推荐理由: 物理世界的位置与时间正逐步成为访问控制与计算协议的输入维度。该工作首次为“时空输入”给出 UC 可组合安全的形式化基础, 提示物理在场证明必须与密码协议绑定设计, 并对后量子场景下的抗纠缠攻击提出明确安全边界。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)