Results 211 to 220 of about 4,054 (240)
Some of the next articles are maybe not open access.
Quantitative BAN Logic Based on Belief Degree
Communications in Computer and Information Science, 2022Yixiang Chen +2 more
exaly +2 more sources
A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic
Lecture Notes in Computer Science, 2003A process following a security protocol is represented by a formal proof (of a fragment of linear logic based on the multiset rewriting model), modifying the idea by Cervesato-Durgin-Lincoln-Mitchell-Scedrov [4], while the (modified) BAN logic (which was first introduced by Burrows-Abadi-Needham [2]) is used as an evaluation semantics on security ...
Okada Mitsuhiro
exaly +2 more sources
Applied Mechanics and Materials, 2013
The existing Extensible Authentication Protocol (EAP) based handover authentication schemes have show robust security features especially the Qi Jing et al.'s design, which not only meets the essential security requirements in handover authentication but also achieves privacy preservation.
Li Ling Cao, Wan Cheng Ge
exaly +2 more sources
The existing Extensible Authentication Protocol (EAP) based handover authentication schemes have show robust security features especially the Qi Jing et al.'s design, which not only meets the essential security requirements in handover authentication but also achieves privacy preservation.
Li Ling Cao, Wan Cheng Ge
exaly +2 more sources
Security Analysis Based on BAN Logic
2020Many quantum authentication schemes have been designed according to quantum key distribution. Scheme security is proved heuristically by employing attack strategies such as intercept-measure-resend attack, entanglement-measure attack, etc. In this chapter, we introduce security analysis based on BAN logic. In contrast to analyzing protocols with common
Tao Shang, Jianwei Liu
openaire +1 more source
Validating the Use of BAN LOGIC
2004Most attacks against security protocols are due to their vulnerable designs. These type of protocols are usually the base which many other protocols and applications are built upon, so proving the correctness of such protocols has become a very important issue in recent years.
José María Sierra +3 more
openaire +1 more source
The study on the application of BAN logic in formal analysis of authentication protocols
Proceedings of the 7th international conference on Electronic commerce - ICEC '05, 2005The authentication protocol is the most fundamental and critical issue in network security and safety system and BAN logic is the most important tool to have a formalization analysis of authentication protocols. This paper first attempts to illustrate the basic methods for BAN logic analysis protocols by making a comparative study between two ...
Jinghua Wen, Mei Zhang, Xiang Li
openaire +1 more source
On BAN Logics for Industrial Security Protocols
2002This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters for the addition of appropriate constructs and rules. We argue that, although a semantical foundation of the formalism is lacking, BAN logic provides an intuitive and ...
Nesria Agray +2 more
openaire +3 more sources
Secure Data Validation and Transmission in Cloud and IoT Through Ban Logic and KP-ABE
International Journal of Sensors, Wireless Communications and Control, 2022Background: Cloud computing is a service that is being accelerating its growth in the field of information technology in recent years. Privacy and security are challenging issues for cloud users and providers. Obective: This work aims at ensuring secured validation of user and protects data during transmission for users in a public IoT-cloud ...
Narander Kumar, Jitendra Kumar Samriya
openaire +1 more source
Formal Verification of Consumer Remote Sim Provisioning Common Mutual Authentication using BAN Logic
2025 1st International Conference on Consumer Technology (ICCT-Pacific)Ilsun You, Yongho Ko
exaly +2 more sources
FORMAL VERIFICATION OF BUNDLE AUTHENTICATION MECHANISM IN OSGi SERVICE PLATFORM: BAN LOGIC
International Journal of Software Engineering and Knowledge Engineering, 2006Security is critical in a home gateway environment. Robust secure mechanisms must be put in place for protecting information transferred through a central location. In considering characteristics for the home gateway environment, this paper proposes a bundle authentication mechanism.
Young-Gab Kim +3 more
openaire +1 more source