安全的電子投票方案及其匿名性的研究.pdf

1、隨著計(jì)算機(jī)和Internet的不斷普及，電子投票的應(yīng)用也越來(lái)越廣泛。同時(shí)，人們對(duì)電子投票的安全性要求也越來(lái)越高。一般來(lái)說(shuō)，電子投票的安全性需求包括私密性，有效性，合法性，公平性以及廣泛可驗(yàn)證性等。但是，目前已有的基于盲簽名的電子投票方案都無(wú)法很好的滿足這些安全需求。另外，對(duì)于電子投票方案中私密性，尤其是匿名性的分析，目前絕大多數(shù)還是采用非形式化的經(jīng)驗(yàn)性分析或是形式化的手動(dòng)分析方法，缺乏一個(gè)對(duì)電子投票方案匿名性進(jìn)行建模和自動(dòng)化分析的框架。

2、 針對(duì)以上問(wèn)題，本文主要做了如下的工作：首先，我們對(duì)基于盲簽名的電子投票方案進(jìn)行研究，分析了近十幾年來(lái)基于盲簽名的電子投票方案的發(fā)展過(guò)程，提出了一種新的電子投票方案。與以往的方案相比，我們的方案在安全性上有了明顯提高。它不僅能夠成功地抵抗所有針對(duì)現(xiàn)有方案的攻擊，還是第一個(gè)真正地實(shí)現(xiàn)了廣泛可驗(yàn)證性的電子投票方案。其次，本文使用了GSPML語(yǔ)言對(duì)我們提出的電子投票方案進(jìn)行了可視化建模，然后，基于Schneider等提出的強(qiáng)弱匿名性定