中文会议： 计算机科学

会议日期： 2004-10-22

会议地点： 武汉

主办单位： 中国计算机学会

作　　者： ; ; ;

机构地区： 中山大学信息科学与技术学院计算机科学系

出　　处： 《2004年全国理论计算机科学学术年会》

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

关 键 词： 安全协议 形式化分析 逻辑程序

领　　域： [电子电信]