###前提・実現したいこと
セキュリティプロトコルの検証ツール「Proverif1.97pl3」にて,マニュアルにあるex_handshake.pvの実行結果についての質問です.
###発生している問題・エラーメッセージ
実行結果に以下の文字列が出力されていました.
-- Query not attacker(s[]) Completing... Starting query not attacker(s[]) goal reachable: attacker(s[]) Abbreviations: k_340 = k_65[pkX = pk(k_333),!1 = @sid_331]
この k_340 や @sid_331 の意味をご存知の方がいらっしゃいましたら,教えていただけませんか.
マニュアルを読んでも理解できませんでした.
よろしくお願いいたします.
###補足情報(言語/FW/ツール等のバージョンなど)
マニュアルの PDF が以下のページにあります.
http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
あなたの回答
tips
プレビュー