種別[statuses] aboutme:101953 セクションJRF のひとこと 日時2009年05月29日 元URLhttp://jrf.cocolog-nifty.com/statuses/2009/05/aboutme101953.html 暗号通信を記号論理で検証するってどこかに絶対あると思うんだけどなぁ。フォーマル・… 暗号通信を記号論理で検証するってどこかに絶対あると思うんだけどなぁ。フォーマル・メソッドとかで検索したやつがそうなのかなぁ。 JRF 2009年5月29日