基于BAN逻辑分析Otway-Rees协议安全性  

Analysis of Otway-Rees Protocol based on Banlogic

作　　者：李新中[1] 周小燕[1] 

机构地区：[1]焦作大学电大部

出　　处：《微计算机信息》2007年第18期71-72,68,共3页Control & Automation

摘　　要：本文通采用BAN逻辑对Otway-Rees协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析了Ot-way-Rees协议的安全性。In this paper, BAN logic was used to construct ＇an ideal model of the well known OtwayRees protocol. The security of the OtwayRees protocol was analyzed with the initial hypothesis and the logic postulate.

关 键 词：安全协议 BAN逻辑 OtwayRees协议 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]