Results 231 to 240 of about 4,054 (240)

A Minimalist Mutual Authentication Protocol for RFID System & BAN Logic Analysis

2008 ISECS International Colloquium on Computing, Communication, Control, and Management, 2008
Cai Qingling, Zhan Yiju, Wang Yonghua
openaire   +1 more source

Innovative location based scheme for Internet Security Protocol : a proposed location based scheme N-Kerberos Security Protocol using intelligent logic of believes, particularly by modified BAN logic.

2011
The importance of the data authentication has resulted in the science of the data protection. Interest in this knowledge has been growing due to the increase in privacy of the user's identity, especially after the widespread use of online transactions. Many security techniques are available to maintain the privacy of the user's identity.
openaire   +1 more source

Analyzing MORNeS Protocol for Secure Key Exchange with BAN Logic

2025 International Electronics Symposium (IES)
Khairil Ahmad, Jafaruddin Gusti Amri Ginting, Cahya Damarjati, Eko Fajar Cahyadi   +3 more
openaire   +1 more source

Despite Ban, Actors Continue to Light Up on Screen

Ca-A Cancer Journal for Clinicians, 2001
exaly  

Knowledge in security protocols: an operational semantics for BAN logic

1999
Bleeker, A.M., Meertens, L.G.L.T.
openaire   +1 more source

A LaTeX package for the Aspen security protocol notation and BAN logic

TUGboat
openaire   +1 more source

Formal Verification of 5GAKA-LCCO Protocol Supporting Forward Secrecy: Through Expanded BAN Logic

Gunwoo Kim, Yongho Ko, Ilsun You
openaire   +1 more source

Security analysis of FWAI with BAN-like logic

2011
exaly  

BAN Logic is not 'Sound', Constructing Epistemic Logics for Security is Difficult

2006
openaire   +1 more source

Exploring the BAN approach to protocol analysis

exaly