Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials

Publication Type:

Journal Article

Source:

J-STAGE, Volume 37, Issue 1 (2020)
Share/Save
Last updated: Monday, 01 February 2021