電子投票プロトコルに対する無証拠性の定理証明

• 河辺, 義信

• 真野, 健

• 櫻田, 英樹

• 塚田, 恭章

Bibliographic Information

Other Title

• デンシ トウヒョウ プロトコル ニ タイスル ムショウコセイ ノ テイリ ショウメイ
• Theorem-proving Receipt-freeness of an e-voting Protocol

Abstract

電子投票プロトコルの満たすべき性質に，無証拠性があげられる．これは匿名性の拡張で，「プロトコルを観測して得られる情報に加えて，別の付加的な情報を投票者が外部に与えたとしても，ある投票パターンと別の（結果が同じとなる）投票パターンが区別できない」という性質である．本稿では，Leeらの電子投票プロトコルを題材とし，その無証拠性を定理証明器で形式的に検証する．

Receipt-freeness is an important property for an e-voting protocol. This is an extension of anonymity and means that two voting patterns with the same result cannot be distinguishable, even if the voter supplies additional information outside the scope of the protocol. In this paper, we deal with an e-voting protocol by Lee, et al., and we theorem-prove the receipt-freeness of the protocol formally.

Journal

• 情報処理学会論文誌

  情報処理学会論文誌 52 (9), 2549-2561, 2011-09-15

  東京 : 情報処理学会

Keywords

• 特集：人と共存するコンピュータセキュリティ技術

Details

• CRID: 1050845762830802304
• NII Article ID: 110008608818
• NII Book ID: AN00116647
• ISSN: 18827764
• ISSN: 18827837
• ISSN: 03875806
• NDL BIB ID: 024139827
• Web Site: http://id.nii.ac.jp/1001/00077487/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024139827
• Text Lang: ja
• Article Type: journal article
• Data Source:
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN