摘要： Security protocols use cryptography system to complete the tasks of principal identity authentication and seccion key distribution. The correctness of security protocols is of vital importance to ensure the security of the Inter-net application. Formal me

关键词: 计算机网络 安全协议 形式化描述 通信协议 信念逻辑