« 前のひとこと | トップページ | 次のひとこと »

aboutme:101953

暗号通信を記号論理で検証するってどこかに絶対あると思うんだけどなぁ。フォーマル・メソッドとかで検索したやつがそうなのかなぁ。

JRF 2009年5月29日 (金)

« 前のひとこと | トップページ | 次のひとこと »

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/93568/51548245

トラックバックのポリシー

他サイトなどからこの記事に自薦された関連記事(トラックバック)はまだありません。

このころのニュース