By Topic

The Security Analysis on Otway-Rees Protocol Based on BAN Logic

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Kening Liu ; Coll. of Inf. Eng., Jingdezhen Ceramic Inst., Jingdezhen, China ; Junyao Ye ; Yinglian Wang

This paper analyzes the Otway-Rees protocol based on BAN logic after has introducing the BAN logic. It has verified that the BAN logic can be used formally and prove the correctness and security of the protocols, which indicates that BAN logic is an important tool for analyzing cryptographic protocols. The paper has established the ideal protocol model to Otway-Rees protocol based on the BAN logic, which uses the initial assumption of the protocol and the publicly known assumption of the BAN logic to analyze the security of Otway-Rees protocol.

Published in:

Computational and Information Sciences (ICCIS), 2012 Fourth International Conference on

Date of Conference:

17-19 Aug. 2012