本人的博士专业为逻辑学，研究方向为认知逻辑的基本理论及其应用，目前主要集中在对动态认知逻辑语言的研究及其在密码协议安全性的分析与验证中的应用研究。围绕这一研究主题，主持体育在线365手机版基本科研业务费重点项目1项、一般项目1项，主持横向项目1项，参研重庆市文科研究基地重点项目(16SKB040)1项、参研国家社会科学基金重大项目(14ZDB016)1项。

随着研究的开展，从夯实研究基础对认知逻辑本身的研究以及扩展认知逻辑，到在密码协议的安全性分析中的应用研究，近5年来，在SCI期刊上发表相关论文4篇、EI期刊上发表相关论文2篇，申报国家发明专利3项，已授权1项。主要研究内容及其成效概括如下：

（1）在理论研究方面，一方面扩展和丰富了认知逻辑语言，使它有着更强大的表达力，另一方面，应用克里普克模型变化描述协议的整个运行过程，促进了密码协议的形式化。（2）在分析方法研究方面，将密码协议的特点与认知逻辑结合，探索出一种新的分析方法，应用这种分析方法把整个协议的运行过程中各主体的知识精确地详细地直观地展示出来，从而表明协议的安全性。（3）在实际应用研究方面，将动态认知逻辑用于密码协议的形式化分析，一方面有利于扩展逻辑学知识，另一方面有利于推动密码协议形式化的发展，彰显了逻辑在计算机科学领域的重要地位。在分析过程中，发现密码协议的潜在缺陷可以及时更正协议，以避免由协议缺陷带来的安全危害，从技术上减少使用不安全协议带来的损失，本研究有着较强的现实意义和实际应用价值。