| 研究課題/領域番号 |
16016270
|
|---|
| 研究種目 |
特定領域研究
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
理工系
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
櫻井 幸一 九州大学, 大学院システム情報科学研究院, 教授 (60264066)
|
|---|
| 研究分担者 |
高木 剛 公立はこだて未来大学, システム情報科学部, 助教授 (60404802)
|
|---|
| 研究期間 (年度) |
2004 – 2005
|
| 研究課題ステータス |
完了 (2005年度)
|
| 配分額 *注記 |
11,300千円 (直接経費: 11,300千円)
2005年度: 5,500千円 (直接経費: 5,500千円)
2004年度: 5,800千円 (直接経費: 5,800千円)
|
|---|
| キーワード | 暗号・認証等 / 情報システム / 数理工学 / アルゴリズム / 情報基礎 / 認証 / 鍵交換 / 暗号 / 個人情報保護 / 公開鍵認証基盤 / 様相論理 / パスワード |
|---|
| 研究概要 |
本研究では、これまで独立に設計評価されてきた公開鍵暗号方式と電子署名方式とにおける証明可能安全性の議論に対して統一的理論を検討し、また、証明可能変換の保存する暗号原理の解析を行った。さらにこの理論を用いて、既存の方式の改良や新たな方式の設計を試みた。
また、パスワードなどの個人秘密情報の機密保護のための評価モデルは数多く提案され、このモデル上での安全性評価は行われている。しかし、個人ID情報の保護に関する分野は、まだ研究途上にある。このために、本研究では、『双対性』原理に注目し、既存の(動的)パスワード認証に関する一連の結果がどの程度、動的個人ID情報を用いた認証方式に適用可能か、検討を行った。
さらに、動的個人ID情報を用いた認証方式を、よりユーザ数の大きなシステムに実装すべく、信頼できる第三者機関(TTP)や公開鍵認証基盤(PKI)と融合した拡張システムの設計と評価を行った。この際も、既存の動的パスワード方式の結果を双対性原理に照らしながら検討した。研究が提唱する『双対性』に注目し、既存の(動的)パスワード認証に関する一連の結果がどの程度、動的個人ID情報を用いた認証方式に適用可能か、検討した。特に、これまでの証明モデルの主流であった計算論的な議論だけでなく、様相論理を用いた安全性・匿名性を調べた。
|
