「知識グラフを利用した暗号プロトコル解析」

暗号プロトコルの厳密な耐攻撃性検証を行うためには、攻撃者の能力を明確にする必要があるため、本研究では YANPI 法を開発した。YANPI 法は発話可能世界により、SPI 計算の操作的意味を記述する。SPI 計算は暗号プロトコルの研究分野において標準的に用いられている枠組みであり、本方法を用いることで多数の先行研究の理解を深めることができる。

千葉商大紀要

第47巻2号