关于秘密共享方案在应用Pi演算中的实现

计算机应用 ›› 2013, Vol. 33 ›› Issue (11): 3247-3251.

关于秘密共享方案在应用Pi演算中的实现

徐军

山东理工大学计算机科学与技术学院，山东淄博 255049

收稿日期:2013-05-30 修回日期:2013-07-10 出版日期:2013-11-01 发布日期:2013-12-04
通讯作者: 徐军
作者简介:徐军(1967-),男,山东淄博人,副教授，硕士，主要研究方向：信息安全、并行计算。

About the secret sharing scheme applied in the Pi calculus

XU Jun

School of Computer Science and Technology, Shandong University of Technology, Zibo Shandong 255049, China

Received:2013-05-30 Revised:2013-07-10 Online:2013-12-04 Published:2013-11-01
Contact: XU Jun

摘要/Abstract

摘要： 针对秘密共享方案的自动化验证问题，提出一种基于等值理论的秘密共享方案自动化验证方法。首先通过等值理论在应用Pi演算中对可验证的多秘密共享方案的密码学语义进行了形式化定义。在此基础上，进一步提出了一种用于将所提出等值理论转化为自动化协议验证器ProVerif中重写机制的编码方法，在ProVerif中实现了关于可验证的多秘密共享方案的自动化验证。通过证明给出了关于可验证的多秘密共享方案形式化分析结果的健壮性结论：如果自动化协议验证器ProVerif中可验证的多秘密共享方案的形式化分析结果满足特定安全属性，则其能够归约证明应用Pi演算模型中针对可验证的多秘密共享方案所建立的现实敌手可以“模拟”ProVerif验证器中的理想敌手，其意味着现实敌手与理想敌手是不可区分的。

关键词: Pi演算, 秘密共享, 形式化分析, 协议验证

Abstract: In this paper, an abstraction of secret-sharing schemes that is accessible to a fully mechanized analysis was given. This abstraction was formalized within the applied Pi-calculus by using an equational theory that characterized the cryptographic semantics of secret share. Based on that, an encoding method from the equational theory into a convergent rewriting system was presented, which was suitable for the automated protocol verifier ProVerif. Finally, the first general soundness result for verifiable multi-secret sharing schemes was concluded: for the multi-secret sharing schemes satisfying the specified security criterion in ProVerif, the realistic adversaries modeled on multi-secret sharing schemes in Pi-calculus can simulate the ideal adversaries in verifier ProVerif, which means that realistic adversaries and ideal adversaries are indistinguishable.

Key words: Pi-calculus, secret sharing, formal analysis, protocol verification

中图分类号:

TN95

徐军. 关于秘密共享方案在应用Pi演算中的实现[J]. 计算机应用, 2013, 33(11): 3247-3251.

XU Jun. About the secret sharing scheme applied in the Pi calculus[J]. Journal of Computer Applications, 2013, 33(11): 3247-3251.

[1]	庞晓琼, 杨婷, 陈文俊, 王云婷, 刘天野. 区块链环境下基于秘密共享的数字权限管理方案[J]. 《计算机应用》唯一官方网站, 2021, 41(11): 3257-3265.
[2]	王韫烨, 程亚歌, 贾志娟, 付俊俊, 杨艳艳, 何宇矗, 马威. 基于安全多方的区块链可审计签名方案[J]. 计算机应用, 2020, 40(9): 2639-2645.
[3]	程亚歌, 贾志娟, 胡明生, 公备, 王利朋. 适用于区块链电子投票场景的门限签名方案[J]. 计算机应用, 2019, 39(9): 2629-2635.
[4]	张国潮, 王瑞锦. 基于门限秘密共享的区块链分片存储模型[J]. 计算机应用, 2019, 39(9): 2617-2622.
[5]	罗小双, 杨晓元, 王绪安. 一类可抵抗恶意攻击的隐私集合交集协议[J]. 计算机应用, 2017, 37(6): 1593-1598.
[6]	袁大曾, 何明星, 李虓, 曾晟珂. 基于点函数秘密共享的私有信息检索协议[J]. 计算机应用, 2017, 37(2): 494-498.
[7]	许晓洁, 王力生. 基于Birkhoff插值的可验证多等级秘密共享算法[J]. 计算机应用, 2016, 36(4): 952-955.
[8]	罗小双, 杨晓元, 王绪安. 适用于社交网络的隐私保护兴趣度匹配方案[J]. 计算机应用, 2016, 36(12): 3322-3327.
[9]	项文, 杨晓元, 吴立强. 理想格上可撤销的模糊身份加密方案[J]. 计算机应用, 2016, 36(10): 2733-2737.
[10]	吴君钦, 林慧英. 利用纠缠态实现任意N粒子量子态的秘密共享[J]. 计算机应用, 2015, 35(2): 397-400.
[11]	曹张华吉晓东刘敏. 秘密共享和网络编码在窃听网络中的应用[J]. 计算机应用, 2013, 33(09): 2532-2535.
[12]	范畅茹鹏. 非线性一次一密(t,n)门限秘密共享方案[J]. 计算机应用, 2013, 33(09): 2536-2539.
[13]	杨刚陈越黄惠新于喆. 改进多项式划分的XML数据库安全服务方案[J]. 计算机应用, 2013, 33(06): 1637-1641.
[14]	韩明军熊焰陆琦玮龚旭东刘涛. 无人值守WSN中基于中国剩余定理的可靠数据生存方案[J]. 计算机应用, 2013, 33(05): 1343-1346.
[15]	刘鹏张昌宏欧庆于. 基于Hash函数的移动射频识别互认证安全协议设计[J]. 计算机应用, 2013, 33(05): 1350-1352.