Related Experiment Video
Updated: Aug 28, 2025
06:18
The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
Published on: October 20, 2022
2.2K
Improved anonymity preserving three-party mutual authentication key exchange protocol based on chaotic maps.
Kyong-Sok Pak1, Mi-Hyang Kim1, Song-Ho Pak1
1Faculty of Information Science, Kim Il Sung University, Pyongyang, Democratic People's Republic of Korea.
Plos One
|September 16, 2022
Summary
This study identifies security flaws in Li's three-party authentication key exchange protocol, specifically regarding user anonymity. An enhanced protocol is proposed to ensure user privacy and security using BAN logic and the AVISPA tool.
Area of Science:
- Computer Science
- Cryptography
- Network Security
Background:
- Three-party authentication key exchange protocols enable secure communication setup between users via a trusted server.
- User anonymity and mutual authentication are critical for privacy and security in these protocols.
- Li's recent chaotic maps-based protocol aimed to enhance these features but contained vulnerabilities.
Purpose of the Study:
- To analyze the security of Li's chaotic maps-based authentication key exchange protocol.
- To identify and demonstrate the weaknesses in Li's protocol concerning user anonymity and password changes.
- To propose an enhanced three-party authentication key exchange protocol that guarantees user anonymity.
Main Methods:
- Formal security analysis to prove the lack of user anonymity in Li's scheme.
- Cryptographic protocol security verification using BAN logic.
- Automated security validation with the AVISPA tool.
Main Results:
- Li's protocol fails to provide user anonymity, exposing private user information.
- Vulnerabilities were confirmed in both the key exchange and password change phases.
- The proposed enhanced protocol successfully provides user anonymity and mutual authentication.
Conclusions:
- Li's chaotic maps-based authentication key exchange protocol is insecure due to anonymity flaws.
- The enhanced protocol offers improved security and privacy protection.
- Formal verification methods like BAN logic and AVISPA are effective for validating cryptographic protocols.
Related Concept Videos
00:57Deindividuation
26.9K
Deindividuation is a form of social influence on an individual’s behavior such that the individual engages in unusual or non-normal behavior while in a group setting. Why? Because in these group settings, the individual no longer sees themselves as an individual anymore, disinhibiting their behavior and personal restraint.
26.9K
02:30Stability of Substituted Cyclohexanes
12.8K
This lesson discusses the stability of substituted cyclohexanes with a focus on energies of various conformers and the effect of 1,3-diaxial interactions.
The two chair conformations of cyclohexanes undergo rapid interconversion at room temperature. Both forms have identical energies and stabilities, each comprising equal amounts of the equilibrium mixture. Replacing a hydrogen atom with a functional group makes the two conformations energetically non-equivalent.
For example, in...
The two chair conformations of cyclohexanes undergo rapid interconversion at room temperature. Both forms have identical energies and stabilities, each comprising equal amounts of the equilibrium mixture. Replacing a hydrogen atom with a functional group makes the two conformations energetically non-equivalent.
For example, in...
12.8K
00:59Propagation of Uncertainty from Random Error
962
An experiment often consists of more than a single step. In this case, measurements at each step give rise to uncertainty. Because the measurements occur in successive steps, the uncertainty in one step necessarily contributes to that in the subsequent step. As we perform statistical analysis on these types of experiments, we must learn to account for the propagation of uncertainty from one step to the next. The propagation of uncertainty depends on the type of arithmetic operation performed on...
962
04:49Robbers Cave
14.4K
During the 1950s, the landmark Robbers Cave experiment demonstrated that when groups must compete with one another, intergroup conflict, hostility, and even violence may result. At the Oklahoman summer camp, two troops of boys—termed the Rattlers and the Eagles—took part in a week-long tournament. During this time, their negativity culminated in derogatory name-calling, fistfights, and even vandalism and destruction of property. However, this work also revealed that such tension...
14.4K
01:23Stability of Equilibrium Configuration
508
Understanding the stability of equilibrium configurations is a fundamental part of mechanical engineering. In any system, there are three distinct types of equilibrium: stable, neutral, and unstable.
A stable equilibrium occurs when a system tends to return to its original position when given a small displacement, and the potential energy is at its minimum. An example of a stable equilibrium is when a cantilever beam is fixed at one end and a weight is attached to the other end. If the weight...
A stable equilibrium occurs when a system tends to return to its original position when given a small displacement, and the potential energy is at its minimum. An example of a stable equilibrium is when a cantilever beam is fixed at one end and a weight is attached to the other end. If the weight...
508