Partial Knowledge of Functions and Verification of Anonymity(Theory, Formal Approach to Information Security, <Special Issue> Joint Symposium of JSIAM Activity Groups 2007)

DOI Web Site 2 Citations 14 References
  • Kawamoto Yuusuke
    Graduate School of Information Science and Technology, University of Tokyo
  • Mano Ken
    NTT Communication Science Laboratories, NTT Corporation
  • Sakurada Hideki
    NTT Communication Science Laboratories, NTT Corporation
  • Hagiya Masami
    Graduate School of Information Science and Technology, University of Tokyo:NTT Communication Science Laboratories, NTT Corporation

Bibliographic Information

Other Title
  • 関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,<特集>平成19年研究部会連合発表会)
  • 数理的技法による情報セキュリティ 関数部分知識と匿名性検証
  • スウリテキ ギホウ ニ ヨル ジョウホウ セキュリティ カンスウ ブブン チシキ ト トクメイセイ ケンショウ

Search this article

Abstract

This paper proposes a method for formalizing and analyzing a partial knowledge of cryptographic functions within the runs and systems framework of multi-agent systems. We consider a multi-agent system where the interpretation of the cryptographic functions may vary from run to run. In this new model, we formalize the anonymity and coercion-resistance of electronic voting protocols in the presence of active adversaries, present a method for verifying these properties, and apply it to a practical electronic voting protocol. We also discuss computational justification for the method.

Journal

Citations (2)*help

See more

References(14)*help

See more

Details 詳細情報について

Report a problem

Back to top