smoking186 https://blog.hatena.ne.jp/smoking186/ 186 @ hatenablog https://186.hatenablog.com/ crypt Formal Methodってどんなんだろうね, と思ってDolev-Yaoを眺めてみた. 完全に安全な暗号系を最初に仮定するところが気になるが, まぁ, そういうものが存在するとして, 安全なプロトコルは可能か? という話らしい. Man-in-the-Middleを如何にして防ぐかという雰囲気か.2章までの雰囲気だけメモしておく. プロトコルの各ラウンドで行う計算を関数の適用と見る. すると正規ユーザーの各ラウンドを関数と見ることが出来る. 敵は正規ユーザーと通信を行うことにより自分が得た情報に関数を適用できる. ということで, 関数の適用によって敵が所望の情報を取り出せるかどうかを調べて… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20080112%2F1200064910" title=" Dolev-Yao一回目 - 186 @ hatenablog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-01-12 00:21:50 rich https://186.hatenablog.com/entry/20080112/1200064910 1.0 100%