Related Experiment Video
Updated: Apr 22, 2026
14:05
One Dimensional Turing-Like Handshake Test for Motor Intelligence
Published on: December 15, 2010
24.8K
Password-only authenticated three-party key exchange proven secure against insider dictionary attacks
Junghyun Nam1, Kim-Kwang Raymond Choo2, Juryon Paik3
1Department of Computer Engineering, Konkuk University, 268 Chungwondaero, Chungcheongbukdo, Chungju 380-701, Republic of Korea.
Thescientificworldjournal
|October 14, 2014
Summary
This paper introduces the first secure 3-party password-only authenticated key exchange (PAKE) protocol with formal proof against insider dictionary attacks. It offers a new method for modeling these attacks, simplifying security proofs for 3-party PAKE protocols.
Area of Science:
- Cryptography and Network Security
- Information Security
Background:
- Password-only authenticated key exchange (PAKE) protocols are crucial for secure communication.
- Existing 3-party PAKE protocols lack formal security proofs against insider dictionary attacks.
Purpose of the Study:
- To present the first 3-party PAKE protocol with a formal security proof against insider dictionary attacks.
- To develop a simplified modeling approach for dictionary attacks in the 3-party setting.
- To analyze the security of the existing GPAKE protocol against dictionary attacks.
Main Methods:
- Proposed a novel protocol compiler transforming 2-party PAKE into 3-party PAKE with two additional communication rounds.
- Developed a new formal model for dictionary attacks in the password-only 3-party setting.
- Analyzed the security of the GPAKE protocol, highlighting its reliance on constituent components.
Main Results:
- Introduced the first 3-party PAKE protocol formally proven secure against online, offline, insider, and outsider dictionary attacks.
- Demonstrated that the proposed modeling approach simplifies the complexity of proving 3-party PAKE security.
- Showed that GPAKE's security against online dictionary attacks is contingent on its underlying 2-party PAKE and 3-party key distribution protocols.
Conclusions:
- The presented 3-party PAKE protocol offers enhanced security against sophisticated dictionary attacks.
- The new modeling technique facilitates the development and verification of secure 3-party PAKE protocols.
- A deeper understanding of GPAKE's security vulnerabilities has been established.
Related Concept Videos
01:23Protecting Groups for Aldehydes and Ketones: Introduction
6.8K
Protecting groups are compounds that can bind to a specific functional group in the presence of other functional groups to protect them from undesired chemical reactions. These compounds can selectively bind to particular functional groups and advance chemoselective reactions in polyfunctional systems (Figure 1). After the functional group has served its purpose, it is removed by reacting it with specific compounds.
6.8K
01:06Legal Guidelines for Documentation
2.4K
The legal guidelines for nursing documentation are essential for ensuring accurate, professional, and ethical recording of patient care. The guidelines are discussed here:
2.4K
01:14Understanding Deception
245
Deception is a pervasive aspect of human communication. Empirical studies have shown that most individuals engage in some form of deceit on a daily basis, with approximately 20% of social exchanges involving deceptive elements. Lying follows a developmental trajectory, peaking during adolescence and declining with age, possibly due to the maturation of cognitive control and social accountability.Cognitive and Social Factors in Deception DetectionDespite its prevalence, accurately detecting...
245
01:14Norton's Theorem
2.0K
Norton's theorem is a fundamental principle stating that a linear two-terminal circuit can be substituted with an equivalent circuit, which comprises a current source (ⅠN) in parallel with a resistor (RN). Here, ⅠN represents the short-circuit current flowing through the terminals, and RN stands for the input or equivalent resistance at the terminals when all independent sources are deactivated. This implies that the circuit illustrated in Figure (a) can be exchanged with the one...
2.0K
01:08Hückel's Rule Diagram of π MOs: Frost Circle
4.1K
The Frost circle or the inscribed polygon method is a graphical method for determining the relative energies of π molecular orbitals (MOs) for planar, fully conjugated, and monocyclic compounds. This method was first described by A. A. Frost and Boris Musulin in 1953.
A Frost circle is constructed by drawing a polygon whose number of edges is equal to the number of carbons of the given cyclic system, with one of the vertices pointing down. Then, a circle is drawn enclosing the polygon so...
A Frost circle is constructed by drawing a polygon whose number of edges is equal to the number of carbons of the given cyclic system, with one of the vertices pointing down. Then, a circle is drawn enclosing the polygon so...
4.1K
03:21Weak Base Solutions
19.6K
Some compounds produce hydroxide ions when dissolved by chemically reacting with water molecules. In all cases, these compounds react only partially and so are classified as weak bases. These types of compounds are also abundant in nature and important commodities in various technologies. For example, global production of the weak base ammonia is typically well over 100 metric tons annually, being widely used as an agricultural fertilizer, a raw material for chemical synthesis of other...
19.6K