認証プロトコルの検証と解析

認証プロトコルの検証と解析
http://anzen.is.titech.ac.jp/Anzen2000/slides/HAGIYA.pdf

セキュリティ教育における形式的手法（の教育）
http://www.imc.sut.ac.jp/ssr2001/PDF/hagiya.pdf

抽象モデル検査のための グラフ探索アルゴリズムの 形式化と検証
http://unit.aist.go.jp/cvs/consortium/2002-11-22.ppt

The Model Checker SPIN (SPIN概要)
http://spinroot.com/spin/Doc/ieee97.pdf

プロトコルの検証 Loweのアタック
http://unit.aist.go.jp/cvs/consortium/2002-11-22.ppt

モデル検査と証明支援系
http://nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/vs/2003-matome.ppt

｜ 抽象モデル検査のための グラフ探索アルゴリズムの 形式化と検証

｜# 特に，プロトコルの検証 Loweのアタック

｜

｜nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougir...

｜# 特に，モデル検査と証明支援系の reference