Art

J-GLOBAL ID：202002228767374567   Reference number：20A1192444

Educating Cryptography using Formal Security Verification tool for Cryptographic Protocols

形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について

Author (6)： OKAZAKI HIROYUKI (信州大学) ,  SHIMURA SHOGO (信州大学) ,  MIYAMOTO TATSUKI (大阪電気通信大学) ,  WATANABE TATSUKI (大阪電気通信大学) ,  FUTA YUICHI (東京工科大学) ,  MURAKAMI YASUYUKI (大阪電気通信大学)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 37  Issue： 1  Page： 1_99-1_113(J-STAGE)  Publication year： 2020 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 文献レビュー  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *cryptogram ,  *information technology ,  *engineering education ,  *e-Learning ,  teaching material ,  formal specification ,  formal method ,  Safety ,  information security ,  computer network ,  *information education ,  *education
Semi thesaurus term： e-Learning teaching material ,  computer network

JST classification (3)： Data protection  (JD01020V) ,  Engineering education  (JA01050T) ,  CAI  (JE09000G)

Terms in the title (6)： 安全性 ,  検証 ,  ツール ,  暗号 ,  教育 ,  教材化