安全协议设计及其形式化理论

本项目以建设网络通信安全环境为背景，利用形式逻辑和代数系统等形式工具，研究安全协议的形式化理论和计算模型。以群体协同工作和电子商务为应用背景，设计安全、有效的安全协议。该研究综合密码学、计算机科学和代数学等多个学科理论、具有新颖性、创造性和探索性，有重要的理论和应用意义。