认识逻辑及其在安全协议设计、验证中的应用

本项目将从安全协议的设计和验证的需要出发研究认识逻辑。探索通信与信念的关系的基本语义模型，从而建立具有多种类模态词的表示力强的新型认识逻辑。本项目将使人们对认识逻辑有更清晰的了解，并为安全协议的形式化分析奠定坚实的逻辑基础。