protocol 系の論文
セキュリティプロトコルの略式記法からspi 計算への変換
http://www.cis.upenn.edu/~sumii/pub/arrow.pdf
http://www.cis.upenn.edu/~sumii/pub/
インターネット上でのグループウェア構築における信頼性・パフォーマンスに関する研究とその応用
http://www.softopia.or.jp/research/report/h14/pdf/105houkokusyo.pdf
セキュリティプロトコルの略式記法からspi 計算への変換
http://www.cis.upenn.edu/~sumii/pub/arrow.pdf
http://www.cis.upenn.edu/~sumii/pub/
インターネット上でのグループウェア構築における信頼性・パフォーマンスに関する研究とその応用
http://www.softopia.or.jp/research/report/h14/pdf/105houkokusyo.pdf