著者

本多 健太郎 角谷 良彦 久保田 貴大

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.31, no.4, pp.4_9-4_20, 2014-10-24 (Released:2014-12-24)

著者

久保田貴大

雑誌

研究報告情報システムと社会環境(IS)

巻号頁・発行日

vol.2014-IS-127, no.1, pp.1-3, 2014-03-10

---

選挙における投票を電子化することには以前から関心がもたれており,実際に,地方選に電子投票機が用いられたこともあった.2013 年のネット選挙解禁とも相まってインターネットでの投票にも関心が高まっている.本研究では,日本におけるインターネット投票の実現の可能性や,その制度の導入までの課題について,安全性,コスト,法制度の三つの観点から調査・検討した.特に,JCJ-Civitas 投票プロトコルを基にした,「攻撃者が投票者と物理的に同じ場所にいて投票者の端末を監視する」 という攻撃に対処するようなプロトコルを提案する.

著者

久保田 貴大

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.45, no.2, pp.15-27, 2012 (Released:2016-01-15)

参考文献数

12

---

Cryptographic schemes must be presented with a security proof based on complexity theory. However, security proofs tend to be complex and difficult to verify, because an adversary can access various kinds of oracles. The use of formal methods is a way to tame such complexity. Hoare logic has been used to verify properties of programs and its probabilistic extension has also been provided. In this paper,we introduce a probabilistic Hoare logic and its application to verification of security proofs of public key encryption schemes. Adversarial attacks are formalized as programs with probabilistic execution and security properties are formalized as first-order logic formulae.

著者

久保田貴大

出版者

一般社団法人情報処理学会

雑誌

研究報告情報システムと社会環境(IS)

巻号頁・発行日

vol.2014, no.1, pp.1-3, 2014-03-10

---

選挙における投票を電子化することには以前から関心がもたれており,実際に,地方選に電子投票機が用いられたこともあった.2013 年のネット選挙解禁とも相まってインターネットでの投票にも関心が高まっている.本研究では,日本におけるインターネット投票の実現の可能性や,その制度の導入までの課題について,安全性,コスト,法制度の三つの観点から調査・検討した.特に,JCJ-Civitas 投票プロトコルを基にした,「攻撃者が投票者と物理的に同じ場所にいて投票者の端末を監視する」 という攻撃に対処するようなプロトコルを提案する.