テキスト掲載サイト

ストランドによるプロトコルの検証
http://nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/vs/strand.txt
　# 2者間のプロトコル 例: Needham ...

時相論理メモ
http://nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/vs/l.txt
　# 状態遷移システム 状態(state)の集合 状態遷移関係 ...

Ｋｅｒｂｅｒｏｓ（ケルベロス）入門
http://www.rccm.co.jp/~juk/krb/beginkrb.txt
　# 計算力学研究センター 技術開発部 ...