13、基于q - SDH的匿名凭证系统优化与证明

基于q - SDH的匿名凭证系统优化与证明

1. 单用途凭证的匿名性证明与批量处理

在匿名凭证系统中，单用途凭证起着关键作用。单用途凭证仅能使用一次，以保证不可链接性。对于前面提到的单用途凭证，其匿名性有严格的证明。

匿名性定理 ：所提出的单用途交互式匿名凭证在展示协议下是anon - aca安全的。具体证明可参考相关附录。

单用途凭证的批量处理 ：为了避免逐个创建凭证的繁琐操作，可采用批量处理的方式。假设用户希望使用相同的属性集创建l个单用途凭证，通过批量MtA方法，仅需一次密钥生成算法实例。在批量单用途凭证发行过程中，每次通信不再发送单个变量值，而是使用长度为l的变量列表（向量）。这种方法能将通信轮数从4l减少到4。

2. 系统优化与扩展

对现有的基于q - SDH的属性基匿名凭证系统进行了优化，采用交互式凭证发行方式。同时，以单用途方式设计了凭证之间的展示证明。这种交互式方法还可扩展到其他基于q - SDH的凭证系统。

交互式设置 ：在基于q - SDH的匿名凭证系统中，提出了发行者和用户之间的交互式方法。该设置将原有的集中式方法进行了去中心化。此交互式方法适用于其他基于q - SDH的匿名凭证系统以及一些相关协议，例如基于q - SDH的直接匿名认证。但由于TPM计算能力的限制，目前暂无法采用该交互式设置。

从安全需求角度来看，利用了完全匿名性、完全属性不可链接性和完全协议不可链接性。因为交互式方法要求发行者和用户都知道特定凭证的内容，在此设置下，进一步证明了协议在展示协议中实现了匿名性和