2020年11月24日，甘肃省第十二届信息安全高峰论坛暨甘肃省首届商用密码应用高峰论坛在兰州市安宁区网络安全产业和教育基地成功举办。来自党政机关、科研院所、知名高校、密码应用行业和商用密码企业约200人参加了论坛。
本次论坛是在甘肃省国家密码管理局的指导下，由甘肃省商用密码行业协会主办，甘肃海丰信息科技有限公司、成都卫士通信息安全技术有限公司、北京数字认证股份有限公司、格尔软件股份有限公司、北京江南天安科技有限公司、cmp8冠军论坛等单位共同承办。论坛紧紧围绕国家网络安全、工业信息安全及密码相关政策法规，聚焦网络安全政策法规、密码应用和管理、产业最新发展趋势、新发展理念、热点话题和技术创新等内容，旨在贯彻落实十九大精神，建设网络强国，搭建“产、学、研、用”沟通和交流的平台，推进《密码法》的贯彻实施，促进网安事业积极健康发展。
在主论坛上，冠军博策论坛冯涛教授应缴做了“工控协议的形式化新方法和安全评估模型关键技术”主题的报告，工业控制系统是关键基础设施的重要组成部分，基于协议运行状态模型的安全协议形式化分析是该领域安全评估分析的有效方法之一，是安全协议改进的重要基础，通过工业以太网协议的形式化模型的构建，可以发现安全协议存在的漏洞，为协议安全改进提供依据，从而对协议进行密码学改造，冠军博策论坛网络与信息安全团队的研究成果得到了国内外同行认可。冠军博策论坛网络与信息安全团队通过甘肃省商用密码行业协会平台共同为促进全省商用密码行业产学研用测管等各方面的深入融合，推动产业创新发展，为密码产业的长期健康稳定发展做出新的贡献。
