【摘 要】
：
In this paper, a general framework for designing and analyzing password-based security protocols is presented, First we introduce the concept of "weak computati
【机 构】
：
State Key Laboratory of Information Security
论文部分内容阅读
In this paper, a general framework for designing and analyzing password-based security protocols is presented, First we introduce the concept of "weak computational indistinguishability" based on current progress of password-based security protocols. Then, we focus on cryptographic foundations for password-based security protocols, i.e., the theory of "weak pseudorandomness". Furthermore, based on the theory of weak pseudorandomness, we present a modular approach to design and analysis of password-based security protocols. Finally, applying the modular approach, we design two kinds of password-based security protocols, i.e.,password-based session key distribution (PSKD) protocol and protected password change (PPC) protocol. In addition to having forward secrecy and improved efficiency, new protocols are proved secure.
其他文献
To guarantee the optimal reduct set, a heuristic reduction algorithm is proposed, which considers the distinguishing information between the members of each pai
This paper deals with the Lipschitz equivalence of slidings of self-similar sets by graphdirected construction and martingale theory.
We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z∞-points a
The transport of yellow sand over mountain regions in the presence of internal gravity waves has been investigated numerically. The motion of yellow sand partic
The laser fusion criterion is known as the ρR-Criterion, also called high-gain condition. This parameter is temperature dependent and can be calculated by R-ma
HtrA2/Omi is a mammalian mitochondrial serine protease, and was found to have dual roles in mammalian cells, not only acting as an apoptosis-inducing protein bu
A methodology is presented to plan reuse strategies of common modules in a product family by using the concepts of function degradation, reliability, function r
Bisphenol A bis(diphenyl phosphate) oligomer(BDP) is prepared successfully from the reactants consisting of phosphorus oxychloride (POCl3), bisphenol A and phen
Useful electrical pulses of a few hundred kilowatts lasting for several microseconds can be obtained by the depolarization process of PZT95/5 ferroelectric cera
The Burgers-Korteweg-de Vries equation has wide applications in physics, engineering equation has neither nontrivial bell-profile traveling solitary waves, nor