Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials
Source:
J-STAGE,Volume: 37,
Issue1,
(2020)
5
Views
Information & Security: An International Journal
35,
no. 2
(2016):
133-150.