| Project/Area Number |
14655143
|
|---|
| Research Category |
Grant-in-Aid for Exploratory Research
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
情報通信工学
|
|---|
| Research Institution | Yamaguchi University |
|---|
Principal Investigator |
葛 崎偉 山口大学, 教育学部, 教授 (30263750)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
田中 稔 山口大学, 工学部, 教授 (40112023)
山口 真悟 (山口 真吾) 山口大学, 工学部, 助手 (00294653)
|
|---|
| Project Period (FY) |
2002 – 2004
|
| Project Status |
Completed (Fiscal Year 2004)
|
| Budget Amount *help |
¥3,200,000 (Direct Cost: ¥3,200,000)
Fiscal Year 2004: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2003: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2002: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | 公開鍵暗合 / 多段的暗合方式 / ペトリネット / 初等T-invariant / ハッシュ関数 / 逆ハッシュ関数 / NP-困難 / 公開鍵暗号 / MEPKC / 特性ベクトル / 多段的暗号方式 |
|---|
| Research Abstract |
本研究課題について、平成16年度では以下の研究成果が得られている。
(1)これまで提案してきた公開鍵暗号MEPKCにおける暗号化鍵の生成について、以下の新しい手法を提案した。
・鍵生成器であるペトリネットから、線形計画法による暗号化鍵である初等T-invariantを生成する際複数の解が同じ目的関数値をもつ場合、これらの内一つしか求めることができなかった。
・これまで探索の目印として、目的関数値だけを用いたが、それに解のベクトルの辞書順を加えた解決法を開発した。まず、解のベクトルの辞書順を定義し、それを用いて探索における親子関係を定義した。その親子関係を利用して新しい探索アルゴリズムを設計した。
・新しく提案したアルゴリズムは、今までと同様な計算オーダーで、同じ目的関数値をもつ複数の「親」の解を求めることができる。
(2)提案してきたMEPKCを発展させるための研究開発
・より強度の強い暗号を開発するために、プログラムネットにおける計算困難な問題である
(a)不活性問題
(b)PARAdeg計算問題
を提起し、それらがNP完全であることを証明した。
・ペトリネットでモデル化されたワークフローと暗号との関わりで、最大スループット計算問題を取り上げ、暗号の応用についての考察研究を行った。
|
