00447nas a2200157   4500000000100000000000100001008004100002100002100043700001800064700001600082700001600098700001600114700002200130245013000152490000700282       2020                            d1 aHiroyuki Okazaki1 aShogo Shimura1 aKi Miyamoto1 aKi Watanabe1 aYuichi Fuda1 aYasuyuki Murakami00aPractice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials 0 v37