对一个基于身份的代理签名方案的密码学分析和改进

分析了一个在格理论框架下构建的基于身份的代理签名方案,指出方案的安全性证明存在缺陷,并没有实现其所声称的签名不可伪造性的证明,针对方案证明中存在的问题,引入新的参量,重新设定系统参数,改变相应的查询应答方式,弥补了证明缺陷,完成了签名不可伪造性的证明。     

一种灵活的基于身份的签名方案

在基于身份的密钥提取过程中,使密钥生成器在私钥中嵌入随机数,从而使得密钥提取具有较好的灵活性,使得用户对一个身份可具备多个私钥,这无疑会增加密钥使用的安全性;基于这种新的密钥提取思路,给出一个基于身份的签名体制,新的密钥提取方式使得它具有更好的安全性和灵活性;新的基于身份的签名体制中具有最少对运算,因此,与类似的方案相比,其具备较好的计算效率;新签名体制的安全性依赖于k-合谋攻击问题(k-CAAP)的困难性,其在适应性选择消息和ID攻击下具备强不可伪造性,并且其安全性证明具有紧规约性.     

格上基于身份的高效环签名方案及安全性分析

环签名是一种特殊的数字签名,可以广泛应用于电子选举、移动通信、移动代理、电子商务等领域.提出了一种新的基于格的环签名方案,在格上的小整数解和非齐次小整数解困难问题的假设下,方案对适应性选择消息攻击是强不可伪造的.利用的格基代理技术,可以保证新方案签名长度更短,计算效率更高.     

基于Rabin算法的超递增背包公钥密码体制的研究与改进

超递增背包公钥密码体制是基于超递增背包问题的密码体制,它使得加密解密的过程变得相对简单.但是,由于该体制本身存在一定的弱点,不少国内外学者都提出了破解方案.在超递增背包公钥的基础上,结合了Rabin算法,使得原先的密码体制变得更为灵活.改进后的算法不但在性能上保持了高效率,而且将原先的密钥变为公钥,可以根据用户需求动态地改变公钥,实现安全性的成倍提高.     

基于CBM-HTM的复杂系统预防性维修时机优化

针对目前复杂系统因多采用定周期预防性维修而造成维修费用过高、管理效率较低的情况,综合定周期维修(HTM)和基于状态的维修(CBM)两类技术,提出基于CBM-HTM的复杂系统预防性维修时机优化思路.并在此基础上,以费用最小为目标,建立基于CBM-HTM的复杂系统预防性维修时机优化模型.最后以由6个设备组成的复杂系统为例,进行了预防性维修时机优化算例说明.以期借助自主式保障中PHM、CBM技术,优化地面设备预防性维修时机,降低地面设备的预防性维修费用,提高地面设备维修管理的效率和效益.     

一种无证书的环签名方案和一个基于身份的多重签名方案

在这篇文章里,我们用双线性对构造了一种无证书的环签名方案,并证明它是无条件匿名的,且在随机预言模型中,计算性Diffie-Hellman问题是难解的,我们方案在适应性选择消息攻击下是存在性不可伪造的,它的安全性比在基于身份的公钥密码体制下高.本文首次用多线性形式构造了一个基于身份的广播多重签名方案,它的安全性是基于计算性Diffie-Hellman困难问题.     

基于MSP秘密共享的（t，n）门限群签名方案

门限群签名是群签名中重要的—类,它是秘钥共享与群签名的有机结合．本文通过文献[5]中的MSP方案（Monotone Span Program）,提出了一种新的门限群签名方案．在本签名方案建立后,只有达到门限的群成员的联合才能生成—个有效的群签名,并且可以方便的加入或删除成员．一旦发生争议,只有群管理员才能确定签名人的身份．该方案能够抵抗合谋攻击：即群中任意一组成员合谋都无法恢复群秘钥k．本方案的安全性基于Gap Diffie-Hellman群上的计算Diffie-Hellmanl可题难解上,因此在计算上是最安全的．     

金融开放与经济增长——基于面板阈值模型的实证分析

本文选取55个国家(或地区)1996-2006年问面板数据,使用Hansen(1999)的面板阈值模型,以世界银行开发的国家治理指标(该指标衡量国家或地区的经济及政治环境)作为阈值变量,考察当治理指标处于不同区间时,经济增长对金融开放程度变化率的同归系数是否显著不同.实证结果显示:治理指标存在阈值0.5896,当治理指...     

An Oscillation Theorem for a Sturm -Liouville Eigenvalue Problem

We consider a certain Sturm - Liouville eigenvalue problem with self- adjoint and non -separated boundary conditions. We derive an explicit formula for the oscillation number of any given eigenfunction.     

一种基于集对分析的模糊多属性决策方法

针对属性权重和决策矩阵的属性值均为梯形模糊数的模糊多属性决策问题,提出了一种基于集对分析的决策方法.方法具有如下特点:通过借鉴集对分析理论和论域三划分的思想,把梯形模糊数属性值转化成联系数的形式,能有效处理决策过程中的不确定因素;对于权重向量和决策矩阵中的梯形模糊数采取不同的处理方法;用联系数决策理论的概念来刻画备选方案与正、负理想方案组成集对的同一对立程度;基于可能势的联系数排序能够准确反映联系数间的同一对立程度,方法直观,概念明确,易于实际操作.实例计算表明,方法是求解模糊多属性决策问题的一种有效工具.     

基于累积前景理论的石油管道路径方案优选

建立以一种基于前景理论的石油管道输送路径方案优选方法.首先依据决策者对各个属性的期望,将具有清晰数、区间数和语义短语三种形式的决策矩阵转化成为前景决策矩阵.其次,再利用主客观赋权偏差最小的思想,构建组合赋权模型,计算各个属性的权重;然后,根据决策者对待收益和损失的不同风险态度,计算各个方案的累积前景值.最后,以石化某油田外输管道路径方案问题为实例,介绍了该方法的决策流程,为解决同类工程方案优选问题提供了一种新的途径.     

二项分布下的一种贝叶斯可靠性验收试验方案

为了合理利用先验信息制定可靠性验收试验方案，以降低验收试验的费用，在进行可靠性定型试验的前提下，提出了一种先验信息加工方法，并根据生产与使用双方实际所关心的风险意义，制定了产品可靠性验收试验的一种贝叶斯方案。算例结果证实，该方案在保证了生产方与使用方利益的前提下，减少了试验量，降低了验收试验费用。说明所提出的先验信息利用方式是有效的。     

An Adjacency Criterion for the Prime Graph of a Finite Simple Group

For every finite non-Abelian simple group, we give an exhaustive arithmetic criterion for adjacency of vertices in a prime graph of the group. For the prime graph of every finite simple group, this criterion is used to determine an independent set with a maximal number of vertices and an independent set with a maximal number of vertices containing 2, and to define orders on these sets; the information obtained is collected in tables. We consider several applications of these results to various problems in finite group theory, in particular, to the recognition-by-spectra problem for finite groups. Supported by RFBR grant No. 05-01-00797; by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1; by the RF Ministry of Education Developmental Program for Scientific Potential of the Higher School of Learning, project No. 8294; by FP “Universities of Russia,” grant No. UR.04.01.202; and by Presidium SB RAS grant No. 86-197. __________ Translated from Algebra i Logika, Vol. 44, No. 6, pp. 682–725, November–December, 2005.     

退化高阶伯努利多项式与广义等幂和多项式的对称等式

研究了退化伯努利多项式与广义等幂和多项式的对称关系,获得了关于多个退化高阶伯努利多项式与广义等幂和多项式的若干对称关系.     

COMPACT DIFFERENCE SCHEMES FOR THE DIFFUSION AND SCHRODINGER EQUATIONS. APPROXIMATION,STABILITY, CONVERGENCE,EFFECTIVENESS, MONOTONY

Various compact difference schemes （both old and new, explicit and implicit, one-level and two-level）, which approximate the diffusion equation and SchrSdinger equation with periodical boundary conditions are constructed by means of the general approach. The results of numerical experiments for various initial data and right hand side are presented. We evaluate the real order of their convergence, as well as their stability, effectiveness, and various kinds of monotony. The optimal Courant number depends on the number of grid knots and on the smoothness of solutions. The competition of various schemes should be organized for the fixed number of arithmetic operations, which are necessary for numerical integration of a given Cauchy problem. This approach to the construction of compact schemes can be developed for numerical solution of various problems of mathematical physics.     

An Analysis of the Decay of Saint-Venant End Effects in a Transversely Isotropic Matrix with an Isotropic Covering

A calculation model is proposed for a numerical analysis of the decay of Saint-Venant end effects in a laminate material of irregular structure to which corresponds a transversely isotropic matrix with an isotropic covering. The elastic properties of the matrix correspond to those of a unidirectional glass-fiber-reinforced plastic. The problem is investigated within the framework of the concept of a representative element of the material. The decay of the end effect in the direction perpendicular to the isotropy plane of a transversely isotropic matrix for the case of symmetric deformation of the material is considered. The source of the end effect is simulated by a piecewise-constant periodic surface load. This load is local for the calculated region and changes within a part of the boundary comparable with the typical size of the structural heterogeneity of the material. The equations of the linear elasticity theory of orthotropic bodies, a model of piecewise-homogeneous media, and quantitative criteria of decay of the end effect are used. Starting from the base system of equations, a discrete problem is constructed and solved. The results of a computing experiment for the choice of a representative element and the results of determining the maximum extent of the end-effect zone for this element are presented.