テキスト掲載サイト
ストランドによるプロトコルの検証
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)の集合 状態遷移関係 ...
Kerberos(ケルベロス)入門
http://www.rccm.co.jp/~juk/krb/beginkrb.txt
# 計算力学研究センター 技術開発部 ...