2020 Volume 37 Issue 1 Pages 1_99-1_113
Cryptographic technology is a fundamental element used to realize information security. Learning about cryptography and training in cryptographic techniques are processes that are indispensable to not only researchers and engineers specialized in cryptography but also to information and communications technology (ICT) engineers, such as network engineers and operators. However, the educational environment and teaching materials on the topic of cryptographic technology for ICT engineers are not sufficient to provide practical knowledge. There are also not enough teachers who can teach the theoretical foundations as well as the technological applications of cryptography. In this report, we present the trial performed to teach the basics of cryptographic technology using ProVerif, one of the most successful automatic cryptographic protocol verifiers. Moreover, we propose a plan to develop an e-learning system for topics in cryptographic technology using ProVerif.
