Computationally Sound Symbolic Anonymity of a Ring Signature
Computationally Sound Symbolic Anonymity of a Ring Signature
复制标题
环签名的计算合理的符号匿名性
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
M. Hagiya
中科院分区：
文献类型：
--
作者：
Yusuke Kawamoto;Hideki Sakurada;M. Hagiya
本文研究了密码协议匿名性分析的符号方法和计算方法之间的关系。我们提供了两个计算的可靠性结果的符号环签名存在的积极的对手，每个对应的环签名方案的不可伪造性和签名人匿名性。第一个结果是映射式的可靠性：每个计算执行轨迹都以压倒性的概率对应于一个符号执行轨迹。第二个结果是协议的符号匿名性的可靠性：符号不可验证性意味着计算不可验证性。通过使用映射式的可靠性结果，我们得到的可靠性的符号匿名的执行轨迹的长度是由一个常数的安全参数无关的约束。
This paper investigates the relationship between symbolic and computational approaches to the analysis of the anonymity of cryptographic protocols. We provide two computational soundness results for a symbolic ring signature in the presence of active adversaries, each corresponding to the unforgeability and signer anonymity of a ring signature scheme. The first result is the mapping-style soundness: every computational execution trace corresponds to a symbolic execution trace with overwhelming probability. The second result is the soundness of the symbolic anonymity of protocols: symbolic indistinguishability implies computational indistinguishability. By employing the mapping-style soundness result, we obtain the soundness of the symbolic anonymity when the length of execution traces is bound by a constant independent of the security parameter.
可重随机化 RCCA 安全加密的计算合理形式化
DOI：
--
发表时间：
2009
期刊：
Formal to Practical Security, Lecture Notes in Computer Science 5458巻
影响因子：
--
作者：
Yusuke Kawamoto;Hideki Sakurada;Masami Hagiya
通讯作者：
Masami Hagiya
DOI：
--
发表时间：
2007
期刊：
情報処理学会論文誌 Vol.48,No.9
影响因子：
--
作者：
豊田征治;枦修一郎;薮上信;大矢雅志;石山和志;岡崎靖雄;荒井賢一;Kazuki Yoneyama
通讯作者：
Kazuki Yoneyama