首页 | 本学科首页   官方微博 | 高级检索  
     


Static Validation of a Voting Protocol
Authors:Christoffer Rosenkilde Nielsen  Esben Heltoft Andersen  Hanne Riis Nielson
Affiliation:Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads, bldg. 321, DK-2800 Kongens Lyngby, Denmark
Abstract:The desired security properties of electronic voting protocols include verifiability, accuracy, democracy and fairness. In this paper we use a static program analysis tool to validate these properties for one of the classical voting protocols under appropriate assumptions. The protocol is formalised in an extension of the LySa process calculus with blinding signatures. The analysis, which is fully automatic, pinpoints previously undiscovered flaws related to verifiability and accuracy and we suggest modifications of the protocol needed for validating these properties.
Keywords:Static Program Analysis  Voting Protocols  LySa
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号