计算机科学与探索

作者：宋云, 王宁宁, 肖孟林, 邵志毅

单位：陕西师范大学 计算机科学学院，西安 710062

关键词：单调张成方案（MSP）,多级秘密共享,双线性对,计算Diffie-Hellman和判定双线性Diffie-Hellman问题,可证明安全

可公开验证的秘密共享允许任何人仅从公开信息中发现分发者或参与者的欺诈行为。为扩展多秘密共享应用范围，首先提出一个可公开验证的多级秘密共享（PVMSSS）方案模型，而后基于单调张成方案及安全多方计算，构造一般存取结构上可公开验证多用的可更新的多级秘密共享方案。秘密分发阶段，方案中各参与者秘密份额由自己计算，分发者不需向参与者传送任何秘密信息，且每个参与者只需维护一个秘密份额即可实现对多个秘密的重构。利用双线性对的性质，任何人均可验证更新前后秘密份额的正确性及公开信息的有效性，从而有效防止分发者和参与者的欺诈。秘密重构阶段，利用安全多方计算构造伪份额，保证每个参与者的真实份额永远不会暴露，实现了份额的多用性。在秘密的每一次更新中，分发者只需公布更新临时份额的相应公开信息，即可实现对参与者秘密份额的更新。最后对方案的正确性和安全性进行详细分析，在计算Diffie-Hellman和判定双线性Diffie-Hellman问题及假设下，该方案是可证明安全的。

来源：2023年第5期

《计算机科学与探索》期刊编辑部

查看计算机科学与探索杂志2023年第5期