安全协议形式化分析的新进展:基于逻辑程序的验证方法

摘要

安全协议的主要目标是使多个通信主体能够在开放式的网络环境(如Internet)中正确地进行身份认证和安全地交换敏感数据(如会话密钥、电子交易数据等).安全协议的安全性质包括认证性(Au-thenticity)、秘密性(Secrecy)、完整性(Integrity)、不可否认性(Non-repudiation)等.