A study on MIX-nets and its applications
A study on MIX-nets and its applications
批准号:
14580358
负责人:
KUROSAWA Kaoru
金额:
$2.18万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2002
资助国家:
日本
项目状态:
已结题
起止时间:
2002 至 2003
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This research preject proposes a formal model for security of verifiable shuffles and prove the security of some recently proposed shuffle schemes in this model. The model is general and can be extended to mix-nets and verifiable shuffle decryption. The research preject also proposes a new, verifiable shuffle system based on Paillier encryption scheme and prove its security in the proposed model. The new shuffle has the least number of rounds and exponentiations if a variant of Paillier scheme is used
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
Lan Nguyen, Rei Safavi-Naini, Kaoru Kurosawa: "Verifiable shuffles A formal model and a Paillier-based efficient construction with provable Security"Proc. of Applied Cryptography and Network Network Security, LNCS series. (2004)
Lan Nguyen、Rei Safavi-Naini、Kaoru Kurosawa:“可验证的洗牌正式模型和基于 Paillier 的高效构造,具有可证明的安全性”Proc。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Lan Nguyen, Rei Safavi-Naini, Kaoru Kurosawa: "Verifiable Shuffle : A formal model and a Paillier-based efficient construction with provable security"Proc.of Applied Cryptography and Network Security (ACNS'04). LNCS 未定. (2004)
Lan Nguyen、Rei Safavi-Naini、Kaoru Kurosawa:“可验证的洗牌:具有可证明安全性的形式化模型和基于 Paillier 的高效构造”Proc.of 应用密码学和网络安全 (ACNS04)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
L.Nguen, R.S.Naini, K.Kurosawa: "Verifiable Shuffle : A formal model and a Paillier-based efficient const ruction with provable security"Proc.of Applied Cryptography and Network Security. LNCS(未定). (2004)
L.Nguen、R.S.Naini、K.Kurosawa:“可验证的洗牌:具有可证明安全性的形式化模型和基于 Paillier 的高效构造”Proc.of Applied Cryptography and Network Security(待定)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Study of the understanding and support by people of the Saiban-in System in terms of deliberative palls
-
批准号:23530828
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.33万
-
财政年份:2011
-
负责人:KUROSAWA Kaoru
-
依托单位:
Research on unconditionally secure message transmission scheme with no keys
-
批准号:21300001
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$4.33万
-
财政年份:2009
-
负责人:KUROSAWA Kaoru
-
依托单位:
Study on Theoretical Foundation of Undeniable Signature Scheme
-
批准号:19500005
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.83万
-
财政年份:2007
-
负责人:KUROSAWA Kaoru
-
依托单位:
A social psychological study of understanding, support, and acceptance of Saiban-in Seido by Japanese general public
-
批准号:18530493
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.31万
-
财政年份:2006
-
负责人:KUROSAWA Kaoru
-
依托单位:
A PRELIMINARY STUDY OF VIDEO EYEWITNESS IDENTIFICAT
-
批准号:14510123
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.66万
-
财政年份:2002
-
负责人:KUROSAWA Kaoru
-
依托单位:
STUDY ON THE VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS BASED ON LOGIC
-
批准号:07650413
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.6万
-
财政年份:1995
-
负责人:KUROSAWA Kaoru
-
依托单位:
国内基金
海外基金
面向MANET的密钥管理关键技术研究
-
批准号:61173188
-
项目类别:面上项目
-
资助金额:52.0万元
-
批准年份:2011
-
负责人:仲红
-
依托单位: