报 告 人：
报告题目：安全电子投票协议研究
时 间： 2013年12月7日（周六）上午9:30-10:30
地 点： 成功楼603教室
主办单位：数学与计算机科学学院、福建省网络安全与密码技术重点实验室
报告摘要:
安全电子投票协议需要满足的一系列要求中，可验证性与抗胁迫攻击性，是相互冲突的一对性质。可验证性保证投票者可以验证自己的投票被正确的计数，而抗胁迫性则要求投票者无法向任何人证明自己的投票内容。而为了保证投票协议的实际应用，还需要考虑协议可能面临的攻击情形，通常情况下包括潜信道攻击和侧信道攻击。与攻击模型相对应，还需要研究协议的信任模型，即哪些协议参与者是可以信任的，哪些是部分信任的。目前，电子投票协议的安全性主要依赖密码技术来保障，但不需要高强度密码算法的投票协议是未来的发展方向，同时，投票协议应该满足信息理论意义上的安全性而非计算意义上的安全性，也是主要的研究目标。我们以Bingo Voting为研究对象，分析其不能抵抗来自恶意投票者的侧信道攻击，并尝试给出相应的改进方案。
专家介绍：
刘忆宁，桂林电子科技大学数学与计算科学副教授，华中科技大学电信系信息与通信工