Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials Вид публикации: Journal Article Авторы: Hiroyuki Okazaki; Shogo Shimura; Ki Miyamoto; Ki Watanabe; Yuichi Fuda; Yasuyuki Murakami Источник: J-STAGE, Volume 37, № 1 (2020)
