確率ペトリネット(SPN)を使用した新しいワンタイムパスワード(OTP)スキームの性能評価 | Synapse