セキュリティ・プロトコルについて概説。BAN Logicを中心とした歴史の説明。次回はPCL。 Needham-Shroeder公開鍵認証プロトコルは、BAN Logicで安全性が証明されたにもかかわらず、実はアタックがありうることがLoweによって示された（PCLに拡張するとこのア…

今日も今日とて湿度が高い。曇り、むっとする天気。 本日は出張。起床は11時、雑用をする。昼頃出かける。西宮経由で23時に帰宅。25時に寝る。