机译:使用CSP验证投票系统中的匿名性
Department of Computing, University of Surrey, Guildford, Surrey GU2 7XH, UK;
Department of Computing, University of Surrey, Guildford, Surrey GU2 7XH, UK;
Department of Computing, University of Surrey, Guildford, Surrey GU2 7XH, UK;
Anonymity; Voting systems; CSP; Formal verification; Pret a Voter; Conventional voting system; FDR2;
机译:ThreeBallot和VAV投票系统的自动匿名验证
机译:在教育机构电子投票系统中实施机密性和匿名的服务
机译:使用状态定时CSP建模和验证分层实时系统
机译:ThreeBallot投票系统的自动匿名验证
机译:加密协议:可撤销的匿名性和电子投票。
机译:多主体系统和投票:投票程序如何类似
机译:使用CSP验证投票系统中的匿名性
机译:使用Csp对系统要求进行规范和验证分解。