ヲレ:それっぽい英語の論文は見つけられるけど不思議なことにまったく読む気がおこらないっつーのは...まぁそんなもんか。
友人:図と式を見て、あとは、イマジネーションで補完します。^^
ヲレ:式...むずかしいなぁｗこんなんだしｗ あ、でも動かしてみりゃいいのか... http://publications.csail.mit.edu/tmp/MIT-CSAIL-TR-2005-066.pdf
ということで、Knowledge Flow Analysis for Security Protocols(リンク先はPDF)のModel Excerpt 1 Generic Model of Principals and Valuesの例を打ち込む。
明日に先延ばし(ぇ〜
