首页> 中文期刊> 《云南大学学报：自然科学版》 >多播水印协议MAMWP的BAN逻辑分析

多播水印协议MAMWP的BAN逻辑分析

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

用形式化的方法分析密码协议可以检测出协议中的漏洞和证明协议的安全性,BAN类逻辑是目前使用最广泛的一种形式化分析密码协议的方法.文章介绍了基于移动代理的多播水印协议MAMWP和BAN逻辑,并给出了用BAN逻辑分析MAMWP协议的详细过程.

著录项

来源
《云南大学学报：自然科学版》 |2005年第1期|18-21|共4页
作者
陆正福; 叶锐; 王国栋;
展开▼
作者单位

云南大学数学系;

云南昆明650091;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;安全保密;
关键词
BAN逻辑; 多播; 水印; 密码协议; 形式化分析; 移动代理; 漏洞; BAN类逻辑; 安全性;

相似文献

中文文献
外文文献
专利

1. 基于ECDSA多播数据源认证协议设计及其BAN逻辑分析 [J] . 杨邓奇 . 电脑知识与技术 . 2007,第13期
2. 基于ECDSA多播数据源认证协议设计及其BAN逻辑分析 [J] . 杨邓奇 . 电脑知识与技术 . 2007,第13期
3. 基于ECDSA多播数据源认证协议设计及其BAN逻辑分析 [J] . 杨邓奇 . 电脑知识与技术：学术交流 . 2007,第7期
4. 基于矩阵理论的RFID认证协议设计及BAN逻辑分析 [J] . 李红静 ,刘丹 . 计算机应用 . 2013,第7期
5. 基于身份的TLS协议及其BAN逻辑分析 [J] . 于代荣 ,杨扬 ,马炳先 . 计算机工程 . 2011,第1期
6. 基于Hash函数的鉴别协议及其BAN逻辑分析 [C] . LIU dan ,刘丹 ,ZHOU Ming . 综合电子系统技术教育部重点实验室暨四川省高密度集成器件工程技术研究中心2012学术年会 . 2012
7. 安全协议及其BAN逻辑分析研究 [A] . 杨世平 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号