形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について
形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について
复制标题
关于使用正式安全验证工具进行密码学教育的实践以及将其转变为电子学习材料的挑战
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
村上 恭通
中科院分区：
文献类型：
--
作者：
紫村 彰吾;岡崎 裕之;宮本 樹;渡邊 樹;布田 裕一;村上 恭通
