标准模型下完美前向安全的基于身份认证密钥交换

一轮Diffie-Hellman密钥交换(One-Round Diff ie-Hellman key exchange,OR-DHKE)协议被认为无法实现完美的前向安全性(Perfect Forward Secrecy,PFS)。基于身份的OR-DHKE协议也是如此,现有研究仅实现了弱的完美 前向安全性(wPFS)。基于Cremers等人对密钥交换协议完美前向安全性的研究,文章提出 一种新的具有完美前向安全的基于身份认证密钥交换方案。文章首先提出一种较弱安全性的 基于身份 OR-DHKE协议π₀,然后采用Cremers等人提出的SIG变换方法,将π₀转化为具有完美前 向安全的基于身份认 证密钥交换方案π₁。文章简要分析了CK、CK⁺、eCK和eCK-PFS安全模型的异同,在此 基 础上定义了基于身 份认证密钥交换协议分析的强安全模型ID-eCK-PFS。在ID-eCK-PFS模型下,协议π₀和π₁的安全性被规约为 求解判定性BDH(Decisional Bilinear Diffie-Hellman,DBDH)问题,规约过程未使用随 机预言机,实现了在标准模型下的完美前向安全性和可证明安全性。     

Projective Generation of Curves in Polynomial Extensions of an Affine Domain (II)

Let Abe an affine domain of dimension nover an algebraically closed field kof characteristic 0. Let I A[T]be a local complete intersection ideal of height nsuch that I/I2 is generated by n elements. It is proved that there exists a projective A[T]module Pof rank nsuch that Iis a surjective image of P.     

Cryptanalysis of an identity‐based authenticated key exchange protocol

Authenticated key exchange protocols represent an important cryptographic mechanism that enables several parties to communicate securely over an open network. Elashry, Mu, and Susilo proposed an identity‐based authenticated key exchange (IBAKE) protocol where different parties establish secure communication by means of their public identities.The authors also introduced a new security notion for IBAKE protocols called resiliency, that is, if the secret shared key is compromised, the entities can generate another shared secret key without establishing a new session between them. They then claimed that their IBAKE protocol satisfies this security notion. We analyze the security of their protocol and prove that it has a major security flaw, which renders it insecure against an impersonation attack. We also disprove the resiliency property of their scheme by proposing an attack where an adversary can compute any shared secret key if just one secret bit is leaked.     

无速度传感器矢量控制下的火电机组高压辅机 变频器低电压穿越技术仿真研究

为了提高火电机组高压辅机变频器的调速性能和低电压穿越能力,本文对基于瞬时无功功率MRAS的无速度传感器矢量控制进行了设计和仿真研究,并分析了该控制方法下的变频器低电压穿越技术.仿真表明,该控制方法不仅可以有效提高高压辅机调速性能,还可以缩短变频器因低电压停机后的重启时间,减少辅机的转速下降,更加快速有效地实现低电压穿越.     

Patterns of electro-convection in planar-periodic nematic cells

Nematic liquid crystals are anisotropic fluids that can undergo electro-convective instabilities. These instabilities have been extensively studied for nematics in unidirectional planar alignment. We investigate the electro-convective instability patterns in planar-periodic cells, wherein, in the quiescent situation the nematic undergoes static twist deformations separated by defect lines. We find two regimes that depend on the sample thickness. For large thickness, electro-convective patterns are not affected by the twist, and the samples behave as they were in planar unidirectional alignment. For small thickness, either the convective motion vertically shifts the defect lines or the twist affects the electro-convective domains and resultant curved patterns are observed.     

Reinhardt域上一类推广的Roper-Suffridge算子

研究一类推广的Roper-Suffridge算子F(z)=(f(z_1)+f′(z_1)∑_(k=2)~nakz_k~pk,f′(z)1)(~1/p2)z_2,…,f′(z_1)~(1/pn)z_n)′,证明该算子在复欧氏空间中的Reinhardt域Ω_(n,p2,%…,pn)={z=(z_1,…,z_n)∈C~n:|z_|~2+∑_(k=2)~n|zk|~(pk)1,Pk∈N~+,k=2,…,n}上分别保持α次的殆β型螺形性,α次的β型螺形性及强β型螺形性.     

Canonical Metrics on Generalized Cartan-Hartogs Domains

In this paper, the author considers a class of bounded pseudoconvex domains,i.e., the generalized Cartan-Hartogs domains Ω(μ, m). The first result is that the natural Khler metric g~(Ω(μ,m)) of Ω(μ, m) is extremal if and only if its scalar curvature is a constant. The second result is that the Bergman metric, the Ka¨hler-Einstein metric, the Carathéodary metric, and the Koboyashi metric are equivalent for Ω(μ, m).     

Eigenvalue problems of nonhomogeneous semilinear elliptic equations in Esteban–Lions domains with holes

In this article, we consider the following eigenvalue problems

('∗

λ' render=n">

where λ>0, N2 and is the upper semi-strip domain with a hole in . Under some suitable conditions on f and h, we show that there exists a positive constant λ^* such that Eq. (*)_λ has at least two solutions if λ(0,λ^*), a unique positive solution if λ=λ^*, and no positive solution if λ>λ^*. We also obtain some further properties of the positive solutions of (*)_λ.     

Irredundant intersections of valuation overrings of two-dimensional Noetherian domains

Let D be a two-dimensional Noetherian domain, let R be an overring of D, and let Σ and Γ be collections of valuation overrings of D. We consider circumstances under which (_VΣV)∩R=(_WΓW)∩R implies that Σ=Γ. We show that if R is integrally closed, these representations are “strongly” irredundant, and every member of ΣΓ has Krull dimension 2, then Σ=Γ. If in addition Σ and Γ are Noetherian subspaces of the Zariski–Riemann space of the quotient field of D (e.g. if Σ and Γ have finite character), then the restriction that the members of ΣΓ have Krull dimension 2 can be omitted. An example shows that these results do not extend to overrings of three-dimensional Noetherian domains.     

Pointwise estimates for relative fundamental solutions of heat equations in $${\mathbb{R} \times \mathbb{C}}$$

Let be a subharmonic, nonharmonic polynomial and a parameter. Define , a closed, densely defined operator on . If and , we solve the heat equations , u(0,z) = f(z) and , . We write the solutions via heat semigroups and show that the solutions can be written as integrals against distributional kernels. We prove that the kernels are C ^∞ off of the diagonal {(s, z, w) : s = 0 and z = w} and find pointwise bounds for the kernels and their derivatives.