柳璐，李宇溪，周福才

（东北大学软件学院，辽宁 沈阳 110819）

基于非交互零知识证明的匿名电子调查系统

柳璐，李宇溪，周福才

（东北大学软件学院，辽宁 沈阳 110819）

针对电子调查存在的不少安全问题，如信息欺骗、隐私安全等，构建了一个基于非交互零知识证明（NIZK，non-interactive zero knowledge proofs）的匿名电子调查系统，系统具有自组织、非交互、防重放、更安全等特点。系统采用NIZK协议和Boneh-Boyen签名方案对用户的身份进行非交互式的验证，保证了系统的真实性；系统还采用Pedersen承诺方案和伪随机函数对用户的身份和相关信息进行隐藏，保证了系统的匿名性。安全性分析表明，系统具有抵抗恶意用户并发攻击和匿名性等安全特性。最后，对系统的功能进行了仿真并验证，结果表明，系统能够正确完成各项功能，并有效地保证系统的匿名性与真实性。

匿名电子调查；NIZK；真实性；匿名性

1 引言

电子调查是指以网络为媒介，通过在线发布调查问卷的形式来收集相关调查数据的一种调查手段[1]。电子调查伴随着网络信息技术的发展，逐渐被广大的网民群众所接受。人们通过参与网络电子调查，无需面对面即能方便地表述个人的观点和建议。与传统的调查方式相比，电子调查具有调查成本低、实时性强、不受时间和空间的限制、互动性强、调查结果更易于收集和统计等优点[2,3]。2012年，美国调研机构IBISWorld的新榜单列出了最适合创业者的行业，其中，电子调查软件赫然在列，这表明在电子调查领域还有很大的发展空间。……