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

BAN logic analysis of MAMWP protocol

作　　者：陆正福[1] 叶锐[1] 王国栋[1] 

机构地区：[1]云南大学数学系,云南昆明650091

出　　处：《云南大学学报（自然科学版）》2005年第1期18-21,共4页Journal of Yunnan University(Natural Sciences Edition)

基　　金：云南省自然科学基金资助项目(2002F0012M);云南大学理(工)科校级科研项目资助(2003Z010C).

摘　　要：用形式化的方法分析密码协议可以检测出协议中的漏洞和证明协议的安全性,BAN类逻辑是目前使用最广泛的一种形式化分析密码协议的方法.文章介绍了基于移动代理的多播水印协议MAMWP和BAN逻辑,并给出了用BAN逻辑分析MAMWP协议的详细过程.Formal methods can be useful to detect errors and prove security in cryptographic protocols.BAN-like logic has been the most widely used formal method by far.It is discussed the MAMWP protocol and BAN logic,and discribled a process of analysis of MAMWP protocol using BAN logic.

关 键 词：BAN逻辑 多播 水印 密码协议 形式化分析 移动代理 漏洞 BAN类逻辑 安全性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP309[自动化与计算机技术—计算机科学与技术]