Results 211 to 220 of about 4,060 (249)

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

Improved Kerberos Security Protocol Evaluation using Modified BAN Logic

2010 10th IEEE International Conference on Computer and Information Technology, 2010
Online communication offers organizations greater efficiency. However, online processes increase the threat level during message transfer. This necessitates researchers to develop and improve security protocols in order to enhance the security of communication lines.
Nabih T. Abdelmajid, M. Alamgir Hossain, S. Shepherd, Khaled W. Mahmoud   +3 more
exaly   +2 more sources

Quantitative BAN Logic Based on Belief Degree

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

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

On BAN Logics for Industrial Security Protocols

2002
This 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, Wiebe van der Hoek, Erik P. de Vink   +2 more
openaire   +3 more sources

Security Analysis Based on BAN Logic

2020
Many 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

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

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

The Logic of Banning Nuclear Weapons

Survival, 2017
If the international community is ever going to get rid of nuclear weapons, it must start by clearly rejecting them.
openaire   +1 more source