2016-07-15から1日間の記事一覧
「暗号プロトコルを形式的に記述し,その枠組みのもとで安全性を検証することが広く研究されてきました.そういったやり方は『形式的手法』と呼ばれます. この,『形式的』という言葉について,『形だけのこと』という,どちらかというと否定的な意味合いは…
「暗号プロトコルを形式的に記述し,その枠組みのもとで安全性を検証することが広く研究されてきました.そういったやり方は『形式的手法』と呼ばれます. この,『形式的』という言葉について,『形だけのこと』という,どちらかというと否定的な意味合いは…