公開鍵暗号MEPKCのためのペトリネットの生成法およびその初等T-invariantの計算法

摘要

本研究では公開鍵暗号MEPKCの鍵生成器として利用するペトリネットを自動生成することを目的とする．これまでに，我々はPN{sub}mペトリネットの生成法および，2つのPN{sub}mを合成するペトリネット合成法を提案し，さらに，合成されたペトリネットに対して秘密鍵を構成するすべての初等T-invariantの列挙法について考察してきた．しかし，この手法で生成したペトリネットは状態機械であり，その構造が単純であるため，MEPKCの鍵生成器として十分な強度をもっているとはいい難い．したがって，本研究ではペトリネットが状態機械にならないように，アークの重みを調節し，さらにトランジションとプレースを追加することでペトリネットを複雑にする手法を提案する．