2025年3月14日，西南大学商贸学院副教授陈小娟到访我中心，为中心师生带来了题为“基于动态认知逻辑的非单调密码协议分析”的报告。本次报告由蒋军利博士主持，郭美云教授、中心在读硕博研究生参与了此次报告。

讲座伊始，陈小娟副教授指出密码协议的安全问题一直以来倍受关注，报告旨在为网络协议增加密码分析，以确保网络信息的安全性。为帮助大家更好理解报告，陈小娟副教授首先介绍了报告的准备知识，具体包括动态认知逻辑的基础语义、计算机网络中知识的非单调性、寄存器模型等。在此基础上，陈小娟副教授指出非单调性的逻辑能够对具有知识非单调性的密码协议进行分析。

接着，陈小娟副教授用“forget”扩展了动态认知逻辑语言，并给出了非单调性密码协议语言的精确语法和语义。同时，使用克里普克模型结合寄存器模型，表示协议中各主体的知识以及协议运行过程中主体知识的变化，以此完成协议整个过程的形式化。最后，陈小娟副教授基于已有知识给出了非单调性密码协议的实例，并对其做了详细的理论分析。期间，陈小娟副教授展示了协议的形式化过程，指出协议运行的最终形式化结果即为协议分析结果，协议的安全性在模型图中自然呈现，分析的有效性得以表明。

报告结束时，与会师生以热烈的掌声回应陈小娟副教授的精彩报告，蒋军利博士做总结发言并对陈小娟副教授应邀主讲表示感谢。

（郭希/文图，熊作军/审核，彭子骄/发布）