今更反応するのもどうかと思うのだが, リンクもトラックバックも無いので反応してないとも言う. 独り言. どっかで聞いたなぁと思って色々考えてみたらUCとFormal methodだった. Dolev-Yao発祥のアレ. ISEC 講演会「証明可能安全性の枠組」 岡本龍明（NTT）汎…