2010年电子投票:奥地利Bregenz市Castle Hofen
罗伯特·克里默 , 吕迪格·格林 :
2010年电子投票,2010年EVOTE,第四届国际会议,由欧洲委员会、Gesellschaft für Informatik和E-Voting共同主办。 CC,2010年7月21日至24日,奥地利布雷根茨霍芬城堡。 LNI公司 P-167, GI公司 2010 ,国际标准图书编号 978-3-88579-261-1 罗伯特·克里默 , 吕迪格·格林 :
概述。 15-16
第1部分: 电子投票的最新发展
查尔斯·斯图尔特三世 , R.迈克尔·阿尔瓦雷斯 , Thad E.霍尔 :
投票技术与选举经验:2009年新泽西州和弗吉尼亚州州长竞选。 19-31 罗伯特·克里默 , 安德烈亚斯·埃林菲尔德 , Markus Traxl公司 :
2009年奥地利学生联合会选举中电子投票的使用。 33-44 阿兰·谢尔曼 , 理查德·卡巴克 , 大卫·乔姆 , 杰里米·克拉克 , 亚历山大·埃塞克斯 , 保罗·埃尔恩森 , 特拉维斯·梅贝里 , 斯特凡·波波维纽克 , 罗纳德·里维斯 , 艾米丽·沈 , 比马尔·辛哈 , Poorvi L.Vora公司 :
塔科马公园的丑闻模拟选举。 45-61
第2部分: 电子投票的社会文化问题
第三部分: 电子投票系统的认证和评估
吕迪格·格林 , 凯萨琳娜·哈普夫 , 梅兰妮·沃卡默 :
电子投票修正和中止要求的正式IT安全模型。 89-107 尼尔斯·门克 , 凯·莱因哈德 :
POLYAS遵守共同标准保护概况-2010年认证远程电子投票展望。 109-118 Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 :
调查:电子投票的发展和趋势。 119-131
第4部分: 电子投票系统的运行和评估
第5部分: 端到端验证和协议改进
罗扬·加拉达吉 , 梅兰妮·沃卡默 :
电子投票的可验证性——非安全专家的解释。 151-162 Jordi Pujol Ahulló , 罗杰·贾迪-塞多 , 乔迪·卡斯特尔-罗卡 :
电子投票验证系统:一项调查。 163-177 斯特凡·波波维纽克 , 安德鲁·雷根谢德 :
西格玛选票。 179-190
第6部分: 电子投票体验
Thad E.霍尔 , 莱昂汀·勒伯 :
政治化政治中的电子选举。 193-212 罗伯托·维尔佐拉 :
双引擎会计提供了独立于软件的算法来确认自动选举计数的完整性。 213-224 安德烈亚斯·埃林菲尔德 , 拉里萨·纳贝尔 , 托马斯·格雷切尼 , 罗伯特·克里默 , Markus Traxl公司 , 杰拉尔德·菲舍尔 :
根据对奥地利第一次具有法律约束力的电子投票实施进行具体攻击的经验,对建议Rec(2004)11进行分析。 225-237
第7部分: 电子投票协议的讨论
乔迪·普伊格利·阿勒普斯 , Sandra Guasch Castelló :
通用可验证的高效重加密Mixnet。 241-254 雷托·柯尼格 , 埃里克·杜布伊斯 , 罗尔夫·哈尼 :
基于门限盲签名协议的电子投票系统为什么需要公共注册委员会。 255-266