takehikom https://blog.hatena.ne.jp/takehikom/ わさっきhb https://takehikom.hateblo.jp/ 授業 英語 「暗号プロトコルを形式的に記述し，その枠組みのもとで安全性を検証することが広く研究されてきました．そういったやり方は『形式的手法』と呼ばれます． この，『形式的』という言葉について，『形だけのこと』という，どちらかというと否定的な意味合いは入っておらず，対象を何らかの形で，たいていは数学的に，定式化することをいいます． 例えば，対称暗号における暗号化と復号の関係は，d( x, e( x, y ) ) → yという式で表すことができます．xを鍵，yを平文に対応づけると，平文yを鍵xで暗号化eしてできる暗号文e ( x, y )，を鍵xで復号dすると，右辺のとおり，平文yが得られる，というわけです… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftakehikom.hateblo.jp%2Fentry%2F20160715%2F1468594718" title=" Provably Secure - わさっきhb" 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 2016-07-15 23:58:38 rich https://takehikom.hateblo.jp/entry/20160715/1468594718 1.0 100%