《可证安全密码学》课程的教学研究

Study on Teaching of Provably Secure Cryptography Teaching

密码技术是网络空间安全的核心技术,密码学是信息安全专业大学生的基础专业课。可证安全密码学是现代密码学的主流,为了让学生形象化理解抽象的可证安全密码学,研究类比教学模式。将抽象的可证安全密码学和鲜活的生活类比,增加趣味性和形象化,有利于学生深入理解可证安全密码学。为了论证密码学方案的安全性,早期的科研人员采用启发式证明。针对现有的攻击方法,论证所设计的密码方案是安全的。但是,抗已有攻击方法的密码方案是否抗其他攻击呢?基于该问题,可证安全密码学发展迅速。目前,如果一个密码方案没有形式化证明,将无法得到密码专家的认可。为此,可证安全密码学的教学非常重要。

cryptography is the core technology of Cyberspace Security. Cryptography is a basic professional course for students ma-joring in information security. Provable security cryptography is the mainstream of modern cryptography. In order to enable stu-dents to visualize the abstract, provable security cryptography, we study the analogy teaching mode. By comparing the abstract prov-able security cryptography with the vivid life, it adds interest and visualization to students' understanding of provable security cryp-tography. In order to demonstrate the security of cryptographic schemes, early researchers used heuristic proof. In view of the exist-ing attack methods, it is proved that the designed cryptographic scheme is secure. However, does the password scheme against ex-isting attack methods resist other attacks? Based on this problem, provable security cryptography develops rapidly. At present, if acryptographic scheme is not formally proved, it will not be recognized by cryptographic experts. Therefore, the teaching of securitycryptography is very important.