暗号認証システムにおける双対性原理の確立と応用

密码认证系统中对偶原理的建立及应用

• 批准号: 16016270
• 负责人: 櫻井 幸一
• 金额: $ 7.23万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16016270/
• 关键词: 暗号・認証等; 情報システム; 数理工学; アルゴリズム; 情報基礎; 認証; 鍵交換; 暗号; 個人情報保護; 公開鍵認証基盤; 様相論理; パスワード

本研究では、これまで独立に設計評価されてきた公開鍵暗号方式と電子署名方式とにおける証明可能安全性の議論に対して統一的理論を検討し、また、証明可能変換の保存する暗号原理の解析を行った。さらにこの理論を用いて、既存の方式の改良や新たな方式の設計を試みた。また、パスワードなどの個人秘密情報の機密保護のための評価モデルは数多く提案され、このモデル上での安全性評価は行われている。しかし、個人ID情報の保護に関する分野は、まだ研究途上にある。このために、本研究では、『双対性』原理に注目し、既存の(動的)パスワード認証に関する一連の結果がどの程度、動的個人ID情報を用いた認証方式に適用可能か、検討を行った。さらに、動的個人ID情報を用いた認証方式を、よりユーザ数の大きなシステムに実装すべく、信頼できる第三者機関(TTP)や公開鍵認証基盤(PKI)と融合した拡張システムの設計と評価を行った。この際も、既存の動的パスワード方式の結果を双対性原理に照らしながら検討した。研究が提唱する『双対性』に注目し、既存の(動的)パスワード認証に関する一連の結果がどの程度、動的個人ID情報を用いた認証方式に適用可能か、検討した。特に、これまでの証明モデルの主流であった計算論的な議論だけでなく、様相論理を用いた安全性・匿名性を調べた。

This study is an independent design review of open key encryption, electronic signature, and proof of possible security arguments. The theory is applied, the existing methods are improved, and the new methods are designed. The security evaluation of confidential protection of confidential personal information is conducted in response to a number of proposals. The protection of personal ID information is related to the division and research. This study focuses on the principle of "dual identity", the existing (mobile) authentication, the related results, the application of mobile personal ID information authentication, and the possible application of mobile authentication. In addition, the personal ID information of the mobile phone is used in the authentication method, the number of users, the third party organization (TTP), the public key authentication base (PKI), and the design evaluation. The results of the existing dynamic mode are discussed according to the principle of duality. Study the "dual identity" of the proposed, existing (mobile) and related results, and the use of mobile personal ID information in the authentication method applicable to the possibility of investigation. The main stream of computational theory is the discussion of security and anonymity.

项目成果

ワンタイムID鍵交換プロトコルの設計、および様相理論による安全性検証

一次性ID密钥交换协议设计及模态理论安全验证

• 发表时间: 2005
• 期刊: 人工知能と知識処理研究会(AI) Vol.105, No.361
• 作者: 今本健二;櫻井幸一
• 通讯作者: 櫻井幸一

Design of DDoS-Resilient Protocol Based on Symmetric key Authentication

基于对称密钥认证的抗DDoS协议设计

• 发表时间: 2005
• 期刊: 2005 Korea-Japan Joint Workshop on Algorithms and Computation(WAAC'05)
• 作者: Kenji Imamoto;Kouichi Sakurai
• 通讯作者: Kouichi Sakurai

DDoS攻撃に耐性のある共通鍵認証に基づいたプロトコルの設計

设计基于对称密钥认证的抗DDoS攻击协议

• 发表时间: 2005
• 期刊: コンピュータセキュリティシンポジウム2005(CSS2005) Vol.2005, No.13
• 作者: 今本健二;堀良彰;櫻井幸一
• 通讯作者: 櫻井幸一

仲介サーバを用いたPKIにおけるワンタイムID認証の適用について

基于中介服务器的一次性身份认证在PKI中的应用

• 发表时间: 2004
• 期刊: コンピュータセキュリティシンポジウム2004
• 作者: 古賀 聡;今本 健二;櫻井 幸一
• 通讯作者: 櫻井 幸一

分散環境に適したワンタイムIDのオフライン検証法の検討

一种适合分布式环境的一次性ID离线验证方法的思考

• 发表时间: 2006
• 期刊: 2006年暗号と情報セキュリティシンポジウム(SCIS2006)
• 作者: 今本健二;櫻井幸一
• 通讯作者: 櫻井幸一