• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

ネット理論に基づいた次世代の公開鍵暗号技術の開発に関する研究

研究課題

研究課題/領域番号 14655143
研究種目

萌芽研究

配分区分補助金
研究分野 情報通信工学
研究機関山口大学

研究代表者

葛 崎偉  山口大学, 教育学部, 教授 (30263750)

研究分担者 田中 稔  山口大学, 工学部, 教授 (40112023)
山口 真悟 (山口 真吾)  山口大学, 工学部, 助手 (00294653)
研究期間 (年度) 2002 – 2004
研究課題ステータス 完了 (2004年度)
配分額 *注記
3,200千円 (直接経費: 3,200千円)
2004年度: 1,200千円 (直接経費: 1,200千円)
2003年度: 1,100千円 (直接経費: 1,100千円)
2002年度: 900千円 (直接経費: 900千円)
キーワード公開鍵暗合 / 多段的暗合方式 / ペトリネット / 初等T-invariant / ハッシュ関数 / 逆ハッシュ関数 / NP-困難 / 公開鍵暗号 / MEPKC / 特性ベクトル / 多段的暗号方式
研究概要

本研究課題について、平成16年度では以下の研究成果が得られている。
(1)これまで提案してきた公開鍵暗号MEPKCにおける暗号化鍵の生成について、以下の新しい手法を提案した。
・鍵生成器であるペトリネットから、線形計画法による暗号化鍵である初等T-invariantを生成する際複数の解が同じ目的関数値をもつ場合、これらの内一つしか求めることができなかった。
・これまで探索の目印として、目的関数値だけを用いたが、それに解のベクトルの辞書順を加えた解決法を開発した。まず、解のベクトルの辞書順を定義し、それを用いて探索における親子関係を定義した。その親子関係を利用して新しい探索アルゴリズムを設計した。
・新しく提案したアルゴリズムは、今までと同様な計算オーダーで、同じ目的関数値をもつ複数の「親」の解を求めることができる。
(2)提案してきたMEPKCを発展させるための研究開発
・より強度の強い暗号を開発するために、プログラムネットにおける計算困難な問題である
(a)不活性問題
(b)PARAdeg計算問題
を提起し、それらがNP完全であることを証明した。
・ペトリネットでモデル化されたワークフローと暗号との関わりで、最大スループット計算問題を取り上げ、暗号の応用についての考察研究を行った。

報告書

(3件)
  • 2004 実績報告書
  • 2003 実績報告書
  • 2002 実績報告書
  • 研究成果

    (8件)

すべて 2005 2004 その他

すべて 雑誌論文 (6件) 文献書誌 (2件)

  • [雑誌論文] On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes2005

    • 著者名/発表者名
      T.Watanabe, S.Yamaguchi, Q.W.Ge, M.Tanaka
    • 雑誌名

      Technical Report of IEICE CST2004-40

      ページ: 7-12

    • NAID

      110003300244

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] On Generating Elementary T-invariants of Petri Nets by Linear Programming2005

    • 著者名/発表者名
      Qi-Wei Ge, T.Fukunaga, M.Nakata
    • 雑誌名

      Proc.ISCAS2005 (To appear)

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] On Obtaining All the Elementary T-invariants Using Linear Programming2004

    • 著者名/発表者名
      T.Fukunaga, Qi-Wei Ge, M.Nakata
    • 雑誌名

      Technical Report of IEICE CST2004-31

      ページ: 59-64

    • NAID

      110003300235

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] プログラムネットの不活性について2004

    • 著者名/発表者名
      山田, 山口, 葛, 田中
    • 雑誌名

      電子情報通院学会信学技法 CST2004-32

      ページ: 65-70

    • NAID

      110003300236

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] 競合なしリソース付きwell-structuredワークフローネットにおける最大スループットの計算について2004

    • 著者名/発表者名
      山口, 国吉, 葛, 田中
    • 雑誌名

      電子情報通院学会信学技法 CST2004-33

      ページ: 71-76

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A New Proposal to Two-Processor Scheduling Problem for SWITCH-less Program Nets2004

    • 著者名/発表者名
      Q.W.Ge, C.Li, M.Nakata
    • 雑誌名

      IEICE Trans.Fundamentals Vol.E87-A, No.11

      ページ: 2859-2867

    • 関連する報告書
      2004 実績報告書
  • [文献書誌] Q.W.Ge, T.Fukunaga, M.Nakata, R.Wu: "A Method to Generate Encryption Keys of Public-Key Cryptography MEPKC by Applying Linear Programming"Proceeding of ITC-CSCC2003. 1759-1762 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] Q.W.Ge, C.Shigenaga, M.Nakata, R.Wu: "On Encryption of a Petri Net based Multi-Stage-Encryption Public-Key Cryptography"Proceeding of ITC-CSCC2002. 975-978 (2002)

    • 関連する報告書
      2002 実績報告書

URL: 

公開日: 2002-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi