Linear Logical Voting Protocols

Henry DeYoung, Carsten Schürmann

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

Abstract

Current approaches to electronic implementations of voting protocols involve translating legal text to source code of an imperative programming language. Because the gap between legal text and source code is very large, it is difficult to trust that the program meets its legal specification. In response, we promote linear logic as a high-level language for both specifying and implementing voting protocols. Our linear logical specifications of the single-winner first-past-the-post (SW- FPTP) and single transferable vote (STV) protocols demonstrate that this approach leads to concise implementations that closely correspond to their legal specification, thereby increasing trust.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind7187
Sider (fra-til)53-70
ISSN0302-9743
StatusUdgivet - 2012

Emneord

  • Electronic Voting
  • Legal Specification
  • Linear Logic
  • Voting Protocols
  • Trust in Software

Fingeraftryk

Dyk ned i forskningsemnerne om 'Linear Logical Voting Protocols'. Sammen danner de et unikt fingeraftryk.

Citationsformater