首页> 中文期刊> 《电脑编程技巧与维护》 >基于串空间模型的Andrew安全RPC协议分析

基于串空间模型的Andrew安全RPC协议分析

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性方面的正确性,并分析了该协议存在的安全缺陷.

著录项

来源
《电脑编程技巧与维护》 |2012年第4期|94-96|共3页
作者
刘慧芳;
展开▼
作者单位

河南省教育信息中心,郑州450008;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
串空间模型; 形式化分析; 安全协议; Andrew安全RPC协议;

相似文献

中文文献
外文文献
专利

1. 基于串空间模型的Andrew RPC协议的分析与验证 [J] . 周清雷 ,赵琳 ,赵东明 . 计算机工程与应用 . 2007,第013期
2. 基于带标记串空间模型的安全协议分析 [J] . 龙士工 . 微计算机信息 . 2010,第006期
3. 基于串空间模型的改进型Otway-Rees协议分析 [J] . 解颜铭 ,石曙东 ,翁艳琴 . 信息通信 . 2012,第003期
4. 基于串空间模型的3GPP认证密钥交换协议分析 [J] . 蒋睿 ,李建华 ,潘理 . 上海交通大学学报 . 2006,第5期
5. 基于SPIN的Andrew Secure RPC协议并行攻击模型检测 [J] . 肖美华 ,朱科 ,马成林 . 计算机科学 . 2015,第007期
6. 应用Rubin逻辑分析Andrew安全RPC协议 [C] . 徐洋 ,谢晓尧 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. 基于串空间模型的无线网络安全协议分析与改进 [A] . 邢媛 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号