该论文提出了一种名为 Discop 的实用隐写术方案，其核心创新在于引入“分布副本”（Distribution Copies）概念，以实现可证明安全的隐蔽通信。传统隐写术通常依赖对载体对象的细微修改，难以在理论上严格证明其安全性；而 Discop 通过直接从目标噪声分布中采样生成载体，使得嵌入消息后的对象与自然生成的对象在分布上不可区分，从而在信息论层面提供安全性保证。论文中详细阐述了分布副本的构造方法，可能结合了生成模型（如 GAN 或扩散模型）来生成高维载体，并讨论了消息嵌入与提取的编解码机制。实验部分（基于摘要推测）应验证了该方案在嵌入容量、隐蔽性和安全性方面的优越性，并可能对比了现有隐写方法。该工作主要面向信息安全领域，特别是隐蔽通信和数字水印方向的研究者，为可证明安全的隐写术提供了新的实践路径。

本文提出一个用于设计可证明安全的隐写术（Steganography）的通用框架。隐写术是将秘密信息嵌入到看似无害的载体数据（如图像、文本、网络流量）中，以实现隐蔽通信的技术。传统隐写方法往往依赖启发式或经验性设计，缺乏严格的安全保证，容易被隐写分析（Steganalysis）检测或破解。该论文的核心贡献是建立了一个理论化、模块化的设计框架，使得所构造的隐写方案能够在信息论或计算复杂性假设下被证明满足给定的安全属性（例如不可区分性、不可检测性或鲁棒性）。框架将隐写过程分解为编码、嵌入、传输和解码等阶段，并定义各阶段应满足的数学条件，进而通过形式化推理确保整体方案的安全性。文中可能基于密码学原语（如伪随机生成器、对称加密）或信息论熵模型来构建证明，具体技术细节需参阅原文。该工作适合密码学与信息安全理论研究者、以及需要开发高安全性隐蔽通信或反隐蔽分析技术的从业人员阅读。由于仅提供摘要，未包含实验或实例验证，因此具体安全性的可达性和效率指标需以完整论文为准。

本文研究 BBS 签名方案的具体安全性（concrete security）。BBS 签名是一种基于代数结构的数字签名，由 Boneh、Boyen、Shacham（CRYPTO '04）以及 Camenisch 和 Lysyanskaya（CRYPTO '04）分别提出，因其支持高效零知识证明，被广泛用于隐私保护认证系统，并正在由 W3C 和 IRTF 推动标准化。此前，Schäge（Journal of Cryptology '15）针对 BBS+ 变体（效率较低）给出了在 q-SDH 假设下的紧致标准模型安全证明，其中 q 为已签发签名数量。而 Tessaro 和 Zhu（EUROCRYPT '23）针对 BBS 本身的安全证明同样基于 q-SDH 假设，但并非紧致（tightness gap）。然而，由于 BBS 效率更高，标准化和工业界已逐渐从 BBS+ 转向 BBS，因此理解这种紧致性差距是否本质至关重要。最近 Chairattana-Apirom 和 Tessaro（ASIACRYPT '25）的密码分析表明，紧致归约到 q-SDH 已是最佳可能性。本文以两种方式弥合这一差距：正面结果方面，在每条消息最多签名一次的场景下（这涵盖去随机化签名这一常见实际用例），给出了 BBS 的新的紧致归约证明；反面结果方面，采用元归约（meta-reduction）论证，证明了若允许对同一消息生成多个签名，则任何代数归约到 q-SDH（及其变体）都不可能紧致。研究贡献包括：填补 BBS 安全性证明的紧致性缺口，明确限定紧致归约适用边界，为标准化和实际部署提供理论依据。适合密码学研究者、标准化参与者以及隐私保护认证系统实现者阅读。

随着无人机互联网（IoD）的快速发展以及无人机移动性的增强，地理上分散的域之间的跨域交互变得不可避免。跨域认证是IoD的基本安全需求。然而，现有认证方案往往难以同时实现强安全性、高效率和身份隐私，因此不适用于高度动态且资源受限的IoD环境。为解决这一挑战，本文提出了P³CDA，一种隐私保护且可证明安全的跨域认证方案。首先，设计了一种高效的伪名管理机制，支持自适应伪名生成以及批量注册、验证和撤销。其次，提出了一种结构增强的Merkle哈希树（MHT），支持批量伪名更新，从而降低无人机的伪名存储开销。基于这些组件，开发了一种基于密码累加器的跨域认证协议，能够使用授权伪名实现匿名认证，同时保留对恶意无人机的可追溯性和高效撤销。在Canetti-Krawczyk（CK） adversary模型下严格分析了安全性并进行了形式化证明。大量实验表明，P³CDA在计算、通信和存储开销方面均优于现有方案。