フタ　ユウイチ   Futa Yuichi   布田　裕一    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   教授
言語種別	日本語
発行・発表の年月	2020/01
形態種別	学術論文
査読	査読あり
標題	形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について
執筆形態	共著
掲載誌名	コンピュータソフトウェア
掲載区分	国内
出版社・発行元	日本ソフトウェア科学会, 岩波書店
巻・号・頁	37(1),99-113頁
著者・共著者	岡崎 裕之, 紫村 彰吾, 宮本 樹, 渡邊 樹, 布田 裕一, 村上 恭通
概要	著者らはProVerifを用いた暗号方式の安全性評価の形式化手法の研究を進めており、その成果を教育へ展開しようと試みている。ProVerifを用いて暗号への攻撃手法を理解したり、暗号方式を設計したりすることで、暗号を学んでいく取り組みを進めており、教育コンテンツや信州大学の授業にて実施した結果と課題を紹介している。