Automated Anonymity Verification of the ThreeBallot Voting System.Murat Moran,James Heather,Steve A. SchneiderIFM(2013)引用 0|浏览0暂无评分关键词Formal Methods, Voting Systems, FDR2, CSP, Anonymity, Automatic Verification, ThreeBallotAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要