...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Computers >A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol
【24h】

A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol

机译：互联网投票协议中收据的正式逻辑框架

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

—The practical Internet voting protocols should have: privacy, completeness, soundness, unreusability, fairness, eligibility, and invariableness, universal verifiability, receipt-freeness, coercion-resistant. Receiptfreeness is a key property. Receipt-freeness means that the voter can't produce a receipt to prove that he votes a special ballot. Its purpose is to protect against vote buying. Formal method is an important tool to assess receipt-freeness of Internet voting protocols. In this paper we give a formal logic framework for receipt-freeness based on V. Kessler and H. Neumann logic. The framework is then applied to analyze receipt-freeness of two typical voting protocols: FOO and Meng Internet voting protocol.
机译：- 实用的互联网投票协议应该具有：隐私，完整性，合理性，不可用，公平性，资格和Invariamblece，通用可验证，收据，逼迫，胁迫。 Preceperfreeness是一个关键财产。收据 - 弗莱斯意味着选民不能产生收据，以证明他投票是一个特别的投票。其目的是防止投票购买。正式方法是评估互联网投票协议的收据的重要工具。在本文中，我们为基于V.Kessler和H. Neumann Logic提供了一个正式的逻辑框架。然后应用该框架来分析两个典型投票协议的收据：Foo和Meng互联网投票协议。

著录项

  • 来源
    《Journal of Computers》 |2009年第3期|共9页
  • 作者

    Bo Meng;

  • 作者单位
  • 收录信息
  • 原文格式 PDF
  • 正文语种
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号