Skip to search formSkip to main contentSkip to account menu

Burrows–Abadi–Needham logic

Known as: BAN logic analysis of the Wide Mouth Frog protocol, BAN Logic, Burrows-Abadi-Needham logic 
Burrows–Abadi–Needham logic (also known as the BAN logic) is a set of rules for defining and analyzing information exchange protocols. Specifically… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Andrew ProjectAuthenticationAxiomatic systemCryptographic protocol

Broader (1)

Automated theorem proving

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Improved on an efficient user authentication scheme for heterogeneous wireless sensor network tailored for the Internet of Things environment
Recently, Farasha et al. proposed an efficient user authentication and key agreement scheme for heterogeneous wireless sensor… 
Highly Cited
2014
Highly Cited
2014
An Enhancement of a Smart Card Authentication Scheme for Multi-server Architecture
User authentication is an important security issue for network based services. Multi-server authentication scheme resolves the… 
2012
2012
The Security Analysis on Otway-Rees Protocol Based on BAN Logic
This paper analyzes the Otway-Rees protocol based on BAN logic after has introducing the BAN logic. It has verified that the BAN… 
Highly Cited
2010
Highly Cited
2010
New dynamic ID authentication scheme using smart cards
Recently, Yoon et al. and Wang et al. independently proposed a dynamic ID authentication scheme and claimed that their schemes… 
2009
2009
Formal Analysis for Security of Otway-Rees Protocol with BAN Logic
BAN logic can prove whether a protocol can reach expected target and find some flaws in the protocol. The paper analyzed… 
Highly Cited
2008
Highly Cited
2008
A Minimalist Mutual Authentication Protocol for RFID System & BAN Logic Analysis
This paper proposes a new security protocol with satisfying the lightweight requirements of the security of RFID system - A… 
Review
2006
Review
2006
Attacks on PKM Protocols of IEEE 802.16 and Its Later Versions
Without physical boundaries, a wireless network faces many more vulnerabilities than a wired network does. IEEE 802.16 provides a… 
2003
2003
Automated design of security protocols
Security protocols play an important role in modern communications. However, security protocol development is a delicate task… 
1999
1999
Decision procedures for the analysis of cryptographic protocols by logics of belief
  • D. Monniaux
  • Proceedings of the 12th IEEE Computer Security…
  • 1999
  • Corpus ID: 11283134
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In… 
1991
1991
Exploring the BAN approach to protocol analysis
  • E. Snekkenes
  • Proceedings. IEEE Computer Society Symposium on…
  • 1991
  • Corpus ID: 19626688
The BAN approach to analysis of cryptographic protocols (M. Burrows et al., 1988) transforms a correctness requirement into a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)