论文部分内容阅读
认证协议是网络安全的基础.Rubin逻辑具有传统BAN类逻辑所没有的优点.使用Rubin逻辑对Andrew安全RPC协议及2个改进协议进行了分析,发现它们都存在安全缺陷.根据分析结果提出了新的改进.分析表明,Rubin逻辑是一种有效的密码协议分析方法.
应用Rubin逻辑分析Andrew安全RPC协议
【摘 要】
：
认证协议是网络安全的基础.Rubin逻辑具有传统BAN类逻辑所没有的优点.使用Rubin逻辑对Andrew安全RPC协议及2个改进协议进行了分析,发现它们都存在安全缺陷.根据分析结果提出
【机 构】
：
贵州师范大学 贵州省信息与计算科学重点实验室,贵阳 550001 贵州大学计算机科学与信息学院,贵阳 550025
【出 处】
：
2010年第四届中国可信计算与信息安全学术会议
【发表日期】
：
2010年期
其他文献
针对差分混沌键控方式的超宽带系统传输效率低和保密性差的缺点,提出了一种新的利用高斯白噪声作为载波的超宽带保密通信系统,发送的信号是参考噪声信号与其自身延迟一个比特
根据Al-Riyami和Paterson所提出的无证书数字签名安全模型,利用双线性对技术和GDH(gap Diffie-Hellman)群,提出了一种无证书数字签名方案.在随机预言模型ROM(random oracle m
会议
脂肪肉瘤是最常见的软组织恶性肿瘤,其中去分化脂肪肉瘤与差分化肉瘤、非典型脂肪瘤性肿瘤/高分化脂肪肉瘤与良性脂肪源性肿瘤常常难以鉴别。本文从免疫组化、分子病理学两个
将盲签名与无证书密码体制相结合,提出一个具体的无证书盲签名方案,满足盲签名的所有安全要求.在随机预言机模型下,证明了方案在适应性选择消息和选择身份攻击下是不可伪造的
灭蚊达标是创建国家卫生城的硬指标之一，同时直接关系到人民群众的身体健康、城市声誉及投资环境，推广应用蚊类的环境综合治理，并把城市的开发建设与综合治理蚊虫滋生地有机地结