関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,<特集>平成19年研究部会連合発表会)  [in Japanese] Partial Knowledge of Functions and Verification of Anonymity(Theory, Formal Approach to Information Security, <Special Issue> Joint Symposium of JSIAM Activity Groups 2007)  [in Japanese]

Access this Article

Search this Article

Author(s)

    • 真野 健 Mano Ken
    • NTTコミュニケーション科学基礎研究所 NTT Communication Science Laboratories, NTT Corporation
    • 萩谷 昌己 Hagiya Masami
    • 東京大学大学院情報理工学系研究科:NTTコミュニケーション科学基礎研究所 Graduate School of Information Science and Technology, University of Tokyo:NTT Communication Science Laboratories, NTT Corporation

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

  • Transactions of the Japan Society for Industrial and Applied Mathematics

    Transactions of the Japan Society for Industrial and Applied Mathematics 17(4), 559-576, 2007

    The Japan Society for Industrial and Applied Mathematics

References:  14

Codes

  • NII Article ID (NAID)
    110006532086
  • NII NACSIS-CAT ID (NCID)
    AN10367166
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09172246
  • NDL Article ID
    9333787
  • NDL Source Classification
    ZM31(科学技術--数学)
  • NDL Call No.
    Z15-727
  • Data Source
    CJP  NDL  NII-ELS  J-STAGE 
Page Top