2025年1月3日下午，密码学与数据安全山西省重点实验室邀请南开大学汪定教授、中央财经大学朱建明教授、福建师范大学熊金波教授、陕西师范大学禹勇教授、广东科技学院丁勇教授在晋中美域国际酒店开展了以密码学与数据安全为主题的学术研讨会，重点实验室固定研究人员和其他流动研究人员以及山西部分高校相关领域的研究人员参加了本次会议。本次研讨会由密码学与数据安全山西省重点实验室副主任王洁教授主持，针对密码学与数据安全领域的前沿问题和热点话题进行了深入研讨。会议的主要目的在于通过汇聚各方专家智慧，深度剖析前沿趋势，进一步明确省重点实验室独特且具前瞻性的研究方向，打破学科壁垒，促进跨学科全方位、多层次的交流协作。

 首先密码学与数据安全山西省重点实验室副主任王洁教授简要介绍了本次研讨会的主题和目标并欢迎了受邀参加此次学术会议的专家以及其他与会人员。

 接下来的专家报告环节，南开大学汪定教授进行了题为《理解安全协议形式化证明失误：以多因素认证协议为例》的报告。该报告以多因素身份认证协议为例，分析了形式化安全性证明中的常见失误，总结其根源并提出八类问题，进而提出新的设计评价指标，为安全的口令基多身份认证协议的设计提供了理论支持和实践指导。

 中央财经大学朱建明教授进行了题为《基于区块链的网络安全服务交易模型》的报告，该报告提出了一种基于区块链的网络安全服务交易模型，通过多维度分类与服务链、交易链的设计，实现了网络安全服务的全生命周期管理和自动化交易，提升了交易的安全性、透明性与效率。

 福建师范大学熊金波教授进行了题为《基金申请书撰写方法与个人感悟》的报告，该报告围绕国家自然科学基金的内涵与改革背景，详细阐述了从选题准备到申请书撰写个环节的关键方法，并结合个人经验分享了在基金申请与项目执行过程中的心得体会，为科研人员提升基金申请质量提供了使用指导与宝贵建议。

 陕西师范大学禹勇教授进行了题为《基于密码技术的区块链监管》的报告。该报告探讨了密码技术在区块链监管中的应用，通过对公有链、联盟链以及区块链数据生命周期的监管，平衡了隐私保护与安全合规需求。

 广东科技学院丁勇教授进行了题为《工控软件安全分布式众测平台关键技术》的报告。该报告介绍了工控软件安全分布式众测平台的背景、面临的挑战及关键技术，探讨了实施技术路线，并总结了项目进展及待解决的问题。

 在交流讨论环节，与会人员积极参与了对报告主题的深入探讨与互动，并就自己研究方向、未来发展与受邀专家进行讨论，促进了学术思想的碰撞，也为行业内的技术交流和合作提供了平台。

 最后，所有与会人员在台前进行合照。

 这次研讨会通过深入分析各类前沿技术和实际应用，促进了该领域各方向的学术交流与合作，为行业内的技术创新与发展提供了新的视角与思路。