齐鲁最美科技工作者|王美琴：实现密码算法安全性的自动化分析

  鲁网10月31日讯（记者 李秀娟）密码是国之重器，是保障网络与信息安全的核心技术和基础支撑。山东大学网络空间安全学院常务副院长、教授王美琴深知密码的重要地位和战略性作用，长期致力于对称密码算法分析和设计方法的研究和教学，孜孜不倦，矢志不渝，取得多项重要成绩。

  2003年，王美琴考入山东大学，师从王小云院士开始了密码算法分析与设计的研究。密码算法分析是一项复杂且耗力的工作，融合了密码学、代数学、计算复杂理论和计算机科学等多个学科的内容。在当时，为了证明一个算法的安全性，需针对每一种攻击方法编写不同的测试程序，不仅工作量十分巨大，对研究人员的技术和经验要求也特别高，一个算法经常需要花费几个月的时间。

  面对传统分析的低效困局，王美琴暗下决心，一定要改变这种一个算法一个攻击一个程序的手工方法，实现密码算法安全性的自动化分析。自此，王美琴坚定信念，刻苦钻研，全身心投入到密码算法自动化分析领域的科学研究。王美琴教授几乎每天呆在实验室十几个小时，翻阅大量国外文献，反复地建模、测试、改进，不断构建新型自动化分析模型，而这一坚持就是十几年。王美琴先后提出了多个可涵盖所有通用攻击和主流算法的自动化方法，被国际密码学者用于很多密码算法的安全性评估，成为了国际通用分析工具。

  王美琴认为，对于科研工作者来说，要始终坚持研国家之所需，以国家需要为出发点和落脚点，不能做架空式科研。2019年，为了配合中国密码学会组织的密码算法设计竞赛，密码算法的测评需求极为迫切。王美琴立刻凝集多年的研究成果，带领团队不畏艰辛，攻坚克难，研发了对称密码自动化安全分析系统。自动化分析系统在效率和准确性方面的出色表现，为国家密码算法的安全做出重要贡献。三年来，王美琴不忘初心，不断完善和优化密码自动化分析系统，先后为多个部门进行密码安全性测评，极大地提高了分析效率和精确程度，为实现我国信息安全关键技术自主可控发挥重要作用。