Results 251 to 260 of about 5,130 (285)

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

2012 Fourth International Conference on Computational and Information Sciences, 2012
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
Kening Liu, Junyao Ye, Yinglian Wang
exaly   +2 more sources

Security Analysis of OIAP Implementation Based on BAN Logic

2009 International Conference on Multimedia Information Networking and Security, 2009
In the specification of Trusted Platform Module (TPM), Object-Independent Authorization Protocol (OIAP) is the protocol which guarantees the security of the communication between TPM and its users. Nowadays, there are many TPM manufacturers having made their own TPM. However, some of the TPM manufacturers don't implement the TPM completely according to
Zhang Huanguo
exaly   +2 more sources

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, 2005
The 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
exaly   +2 more sources

One-Time Passwords: Security Analysis Using BAN Logic and Integrating with Smartcard Authentication

, 2003
In this paper we make a formal analysis of one-time password protocols using BAN logic and provide some guidelines to integrate securely one-time passwords with smartcard based authentication. We also propose some extensions to the BAN logic to facilitate analyzing hash chain based authentication protocols.
Kemal Bicakci, Nazife Baykal
core   +4 more sources

Quantitative BAN Logic Based on Belief Degree

Communications in Computer and Information Science, 2022
Kaixuan Li, Yixiang Chen, Li Kaixuan
exaly   +2 more sources

On the properties of cryptographic protocols and the weaknesses of the BAN-like logics

ACM SIGOPS Operating Systems Review, 1997
The researches on the cryptographic protocols, especially on the formal analysis methods, have been paid much attention to in the last two decades. However, the formal methods already presented can not perfectly prove a protocol really secure. In this paper, we unfold the properties that cryptographic protocols should possess and then prove, with ...
Shouhuai Xu, Gendu Zhang, Hong Zhu 0004
openaire   +1 more source

An augmentation of BAN-like logics

Proceedings The Eighth IEEE Computer Security Foundations Workshop, 2002
We address a common problem of a series of logics for analysis of authentication protocols due to Burrows-Abadi-Needham (BAN), Gong-Needham-Yahalom (GNY), Abadi-Tuttle (AT) and Syverson-Van Oorschot (SVO). The problem can be referred to as that these logics lack a computationally accountable means to perform an important protocol analysis step, called ...
openaire   +1 more source

Validating the Use of BAN LOGIC

2004
Most 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, Julio César Hernández Castro, Almudena Alcaide, Joaquín Torres Márquez   +3 more
openaire   +1 more source

Towards the idealization procedure of BAN-like logics

Wuhan University Journal of Natural Sciences, 2005
We demonstrate the flaws of Mao's method, which is an augmentation of protocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao's method. Furthermore, we give some theoretical analysis of our rules using the strand space formalism, and show the soundness of our idealization rules under strand spaces.
Cao Li-li, Chen Ke-fei
openaire   +1 more source

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

2008 ISECS International Colloquium on Computing, Communication, Control, and Management, 2008
Zhan Yiju
exaly   +2 more sources