两个eCK模型下可证安全的密钥交换协议分析

摘要：

基于eCK(extended canetti-Krawczyk)模型的定义,针对eCK模型下证明安全的两个密钥交换协议进行了分析.结果显示两个密钥交换协议在eCK模型中都是不安全的,其中SAKA(secure authenticated key agree-ment)协议不能抵抗临时密钥泄露攻击也不能抵抗长期密钥泄露攻击,并且不具有前向安全性.另一个SHY(Shi-Huang-Yang)协议不能抵抗两方临时密钥同时泄露的攻击.

关键词： 密钥交换协议 eCK模型 泄露攻击 前向安全性

作者: 程庆丰 马传贵 胡学先

作者单位: 信息工程大学,信息研究系,河南,郑州,450002;解放军外国语学院基础部,河南,洛阳,471003 信息工程大学,信息研究系,河南,郑州,450002

会议类型: 国内会议

会议名称: 2010年第四届中国可信计算与信息安全学术会议

会议地点: 北京

会议语种:中文

页码: 219-222

在线出版日期: 2010-05-21（万方平台首次上网日期，不代表论文的发表时间）