机译:计算模型中使用CryptoVerif的Internet投票协议中的抗强制性自动形式框架
机译:计算模型中使用CryptoVerif的Internet投票协议中的抗强制性自动形式框架
机译:针对互联网投票和产品/服务选择的数据挖掘和机器学习技术的调查
机译:基于DKR形式模型的互联网投票协议强制性的正式分析
机译:影响选民参与互联网投票系统的意图的因素。
机译:由临床医师和家庭代表组成的小组选择与小儿心脏手术相关的重要早期发病率这些疾病适合使用名义组技术和可靠的投票程序进行常规监测
机译:选择:具有投票强制性的Internet投票
机译:投票系统中的不透明度的强制抵抗技术评估系列