TY - JOUR
AU - Hiroyuki Okazaki
AU - Shogo Shimura
AU - Ki Miyamoto
AU - Ki Watanabe
AU - Yuichi Fuda
AU - Yasuyuki Murakami
BT - J-STAGE
IS - 1
LA - eng
PY - 2020
T2 - J-STAGE
TI - Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials 
VL - 37
ER -