一种新型基于Chebyshev多项式的密钥协商方案

本文选取有限域的Chebyshev多项式作为研究对象,在已有的身份认证和密钥协商方案的基础上,利用Chebyshev多项式良好的混沌特性、半群特性、单向性和周期性设计了一种新型的基于Chebyshev多项式的身份认证及密钥协商方案。该方案在身份认证的基础上可以成功协商出会话密钥,并且具有很高的安全性,主要体现在可抵抗口令猜测攻击、惟密文攻击、中间人攻击和重放攻击。最后给出了本方案的仿真效率分析。     

Fibonacci和Chebyshev多项式的恒等式

研究了Chebyshev多项式、Lucas多项式和Fibonacci多项式之间的关系，通过分析各多项式的定义，并结合三者之间的性质和关系，得出了Chebyshev多项式和Fibonacci多项式之间一些恒等式．其结果深化了三类多项式的关系．     

使用Chebyshev多项式进行信道估计的方法

在研究了瑞利衰落信道中基于时分复用的导频辅助的信道估计方法后,提出了使用导频信号信道参数估计值的Chebyshev多项式插值来估计信道参数的方法. 通过仿真得到插值的Chebyshev多项式阶数对车速的系统误码率关系;同时,仿真结果也验证了这种关系是正确并且是可行的. 与使用分段插值的线性插值相比,利用该方法,接收机的误比特性能得到显著改善.     

NTRU型多密钥全同态加密方案的优化

现有的NTRU型多密钥全同态加密方案多是基于2的幂次分圆多项式环构造的,全同态计算过程使用了复杂的密钥交换操作,这类方案容易遭受子域攻击,且同态运算效率较低,对此本文提出了一个安全性更好、效率更高的NTRU型多密钥全同态加密方案。首先,将现有方案底层的分圆多项式环扩展应用到素数次分圆多项式环上,给出了基于素数次分圆多项式环的NTRU型多密钥全同态加密的基础方案模型（文中B-MKFHE方案）,该方案模型可以抵御更多的子域攻击。其次,在B-MKFHE方案模型的基础上,通过扩展密文多项式维度,优化了NTRU多密钥同态运算结构,使得同态运算过程不再需要复杂耗时的密钥交换操作。最后,根据优化的多密钥同态运算结构,结合模交换技术,构造了无需密钥交换的层级型NTRU多密钥全同态加密方案（文中M-MKFHE方案）。通过与现有方案对比分析,本文提出的M-MKFHE方案改进了底层的分圆多项式环,提高了安全性;优化的同态运算结构具有较小的存储开销和计算开销,运算效率较高,并且方案在同态运算过程中产生的噪声值较小,支持更深层次的同态运算。     

基于双线性映射的公钥叛逆者追踪

基于椭圆曲线上Weil配对理论提出一种新的叛逆者追踪方案，利用Weil配对的双线性特性并结合简单多项式在方案中实现了以前方案所不具有的密钥托管．使得方案具有全程托管功能．允许托管代理用一个简单的密钥解密任意公开钥所加密的密文．有利于系统管理者管理整个系统．也有利于有关部门对整个行业实施监营．在同等安全级别下．相对于传统基于有限域上离散对数问题的叛逆者追踪，谈方案在效率上占有相当优势．     

无安全信道的OSBE方案

基于访问控制策略的协议无法解决信任协商中出现的循环依赖问题，OSBE(oblivious signature based envelope) 方案可用来克服循环依赖，然而既有方案需要建立在一个安全信道上才能实施.利用基于身份的系统和基于证书加密的思想，提出一个高效率的不需要安全信道的OSBE方案，并证明了新方案不仅满足有效性、不经意性等OSBE的所有性质，而且也克服了原OSBE方案中接收者外传证书和签名的问题；在随机预言模型下，如果不存在一个多项式时间的算法能以不可忽略的概率伪造对消息的聚合签名，那么方案对接受者是安全的.     

云端核心医学信息秘密动态分享方案

针对可视密码中的欺骗、不诚实等问题,以核心医学信息为载体,利用素数域上的椭圆曲线,研究并实现了一种适用于云端核心医学信息的秘密动态分享方案.通过选取合适的椭圆曲线参数值,对原始信息进行一次加密,在椭圆曲线加密体制下,对分享的子信息,使用私钥进行再次加密认证.通过加密、动态分享以及Lagrange插值多项式方案的融合,提高了现存方案的安全性、隐蔽性,达到了秘密信息分享的高效性、实用性.实验结果表明,本方案也具有较高的计算效率以及信息恢复效率.     

关于Chebyshev多项式的H-循环矩阵谱范数

利用Chebyshev多项式的性质和矩阵基本理论,研究了包含Chebyshev多项式的H-循环矩阵欧式范数及谱范数,给出了第一、二类Chebyshev多项式的H-循环矩阵谱范数的上下界估计。     

基于多项式分享的分布式认证方案

针对门限加密系统基于附加和密钥分享方式的分布式认证方案存在的密钥管理复杂、计算耗时和强键性差等不足，提出基于Shamir多项式分享方式的一种新的分布式认证方案．分析方案的可用性和先进性，给出基于多项式分享方式的认证模型和具有容错能力的密钥更新同步算法，描述了密钥生成、分发以及认证签名协议的过程．建立以管理员和共享服务为主要构成的有限状态机的状态转换模型，介绍了超时处理和失败机制．该方案不仅具有入侵容错、均衡负载等功能，而且具有灵活的扩充性、很好的强健性和安全性．     

基于DSP的软件加密锁的设计与实现

为了保护软件产品的经济价值和知识产权，开发了一种软件加密锁.主要基于DSP和USB硬加密技术，并通过结合AES算法有效实现了对软件的保护.该加密锁方案的硬件部分由USB接口模块、DSP模块、AVR单片机模块和电源块组成；软件部分采用了新的数据加密标准AES.该加密锁实现了软件的安装序列号加密、首次使用加密、安装次数限制加密以及使用中关键数据加密的四层加密保护；其中各加密层次相对独立，并可根据需要增删.本系统很好地解决了单纯使用软件加密手段易被破解的问题.     

FMS中加工质量故障预报的新方法

对引起加工质量故障的原因进行了研究,建立了用于加工中心加工质量故障分析的与/或故障树,提出了隐加工质量故障(FMQF)的概念和由·FMQF 找出制造系统故障的决策树方法.本文在模糊理论基础上,提出了隐加工质量故障识别的新方法,用这种方法可以根据控制图的变化进行设备状态估计.基于以上研究,建立了可用于柔性制造系统隐加工质量故障预测和预报的专家系统.     

立方准晶的反平面问题与Ⅲ型裂纹问题

发展了立方准晶材料的断裂理论 .通过应用Fourier分析和对偶积分方程理论 ,得到了立方准晶材料Ⅲ型裂纹问题的精确解析解 ,并由此确定了位移与应力场 ,应力强度因子和应变能释放率 .结果表明 ,应力强度因子与材料常数无关 ,而应变能释放率依赖于所有的材料常数 .这些为研究此新固体材料的变形和断裂提供了重要的信息 .     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Genomics,metagenomics,and microbial oceanography—A sea of opportunities

Microbial oceanography is an emerging discipline resulted from the interaction,cross-fertilization and integration of life science and ocean science.Microbial oceanography integrates the principles of marine microbiology,microbial ecology and oceanography to study the role of microorganisms in the biogeochemical dynamics of natural marine ecosystems.The application of genomics tools to study marine microbes is resulting in rapid advancements in microbial oceanography that has important implications in globa...     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

Research on How to Teach Vocabulary by Adopting Morphological Method

On the basis of some theories and teaching experience, the thesis first attaches importance to vocabulary teaching and suggests that a morphological method should be applied. Supported by some examples, how to teach vocabulary in a morphological way is mainly discussed in the essay.