公開鍵暗号MEPKCの鍵生成器として利用するペトリネットの自動生成およびその複雑化

摘要

本研究では公開鍵暗号MEPKCの鍵生成器として利用するペトリネットを自動生成することを目的とする．これまでに，我々はk-Ring(n)ペトリネットの生成法およびm個のk-Ring(n)ペトリネットから膨大な数の初等T-invariantをもつペトリネットPN{sub}mを自動生成する方法を提案してきた．しかし，これまでの手法ではネットの構造が単純であるため，MEPKCの鍵生成器として十分な強度をもっているとはいい難い．それに対し，本研究ではこれまでに提案してきたPN{sub}mペトリネット作成法で自動生成されたペトリネットを2つ合成することで，複雑にする手法を提案し，複雑化されたペトリネットに対して秘密鍵を構成するすべての初等T－invariantを列挙する手法について考察する．