具有认证删除功能的 composably 安全的设备无关加密
量子物理
2023-07-12 v3
摘要
我们研究了由 Broadbent 和 Islam（2020）提出的具有认证删除的加密（ECD）任务，但置于设备无关设定中：我们表明即使诚实方不信任其量子设备，也可能完成该任务。此外，我们以可组合方式定义了 ECD 任务的安全性，并表明我们的 ECD 协议满足导致可组合安全的条件。我们的协议基于设备无关量子密钥分发（DIQKD），特别是 Jain、Miller 和 Shi（2020）给出的基于魔法方块非局域游戏的并行 DIQKD 协议。为实现认证删除，我们使用了 Fu 和 Miller（2018）观察到的魔法方块游戏性质，即该游戏的双轮变体可用于认证单随机比特的删除。为从该性质出发实现任意长消息的认证删除安全性，我们证明了双轮非局域游戏的并行重复定理，这本身可能具有独立意义。
引用
@article{arxiv.2011.12704,
title = {Composably secure device-independent encryption with certified deletion},
author = {Srijita Kundu and Ernest Y. -Z. Tan},
journal= {arXiv preprint arXiv:2011.12704},
year = {2023}
}
备注
Accepted for publication in Quantum. Added alternative security definition more similar to previous works; significantly expanded exposition and proof details in various sections