Construction of a key-dependent message secure symmetric encryption scheme in the ideal cipher model

Key-dependent message （KDM） security is an important security issue that has attracted much research in recent years. In this paper, we present a new construction of the symmetric encryption scheme in the the ideal cipher model （ICM）; we prove that our scheme is KDM secure against active attacks with respect to arbitrary polynomialtime challenge functions. Our main idea is to introduce a universal hash function （UHF） h as a random value for each encrypfion, and then use s = h（sk） as the key of the ideal cipher F, where sk is the private key of our symmetric encryption scheme. Although many other schemes that are secure against KDM attacks have already been proposed, in both the ideal standard models, the much more significance of our paper is the simplicity in which we implement KDM security against active attacks.     

标准模型下前向安全的格基有序聚合签名

在前向安全有序聚合(FssAgg)签名系统中,签名人以分层的"洋葱式"的方式,将不同时段不同密钥下的签名逐步有序地聚合成一个签名.其中,最内层的签名是第一个签名.另外,与普通的有序聚合签名相比,前向安全有序聚合签名是对同一个签名人不同签名的聚合,而非对不同签名人签名的聚合,因而签名验证者使用一个公钥即可完成对所有聚合过程的验证.前向安全的有序聚合签名兼具前向安全签名和聚合签名的优点,自2007年提出以来,已被广泛应用于日志系统、区块链等众多应用场景中.目前现存的几个前向安全的有序聚合签名都是基于传统数论问题的,而这一问题在后量子时代将会变得不再困难.因而,寻找量子计算环境下前向安全的有序聚合签名已迫在眉睫.基于格上的小整数解问题,构造了标准模型下前向安全的格基有序聚合签名方案.为达到高效率目的,方案借助于固定维数格基委派技术实现密钥更新,达到前向安全性;随后通过消息添加技术和原像采样算法分别将待签消息和格上困难问题嵌入到签名中,使得签名在标准模型下是不可伪造的.     

Output feedback robust MPC for LPV system with polytopic model parametric uncertainty and bounded disturbance

The output feedback robust model predictive control (MPC), for the linear parameter varying (LPV) system with norm-bounded disturbance, is addressed, where the model parametric matrices are only known to be bounded within a polytope. The previous techniques of norm-bounding technique, quadratic boundedness (QB), dynamic output feedback, and ellipsoid (true-state bound; TSB) refreshment formula for guaranteeing recursive feasibility, are fused into the newly proposed approaches. In the notion of QB, the full Lyapunov matrix is applied for the first time in this context. The single-step dynamic output feedback robust MPC, where the infinite-horizon control moves are parameterised as a dynamic output feedback law, is the main topic of this paper, while the multi-step method is also suggested. In order to strictly guarantee the physical constraints, the outer bound of the true state replaces the true state itself, so tightness of this bound has a major effect on the control performance. In order to tighten the TSB, a procedure for refreshing the real-time ellipsoid based on that of the last sampling instant is given. This paper is conclusive for the past results and far-reaching for the future researches. Two benchmark examples are given to show the effectiveness of the novel results.     

Stabilization of linear systems over networks with bounded packet loss and its use in model predictive control

This paper considers stabilization of discrete-time linear systems, where network exists for transmitting the sensor and controller information, and arbitrary bounded packet loss occurs in the sensor–controller link and the controller–actuator link. The stabilization of this system is transformed into the robust stabilization of a set of systems. The stability result for this system is specially applied on model predictive control (MPC) that explicitly considers the satisfaction of input and state constraints. Two synthesis approaches of MPC are presented, one parameterizing the infinite horizon control moves into a single state feedback law, the other into a free control move followed by the single state feedback law. Two simulation examples are given to illustrate the effectiveness of the proposed techniques.     

协同团队知识创造模型研究

协同团队知识创造是企业协同知识创新过程中的关键环节,如何有效地协同创造新知识一直是团队知识创新研究的重点。在分析协同团队内涵与特征的基础上,提出了知识转化的"4线谱"螺旋模型,并在此基础上,构建了协同团队的知识创造模型,可用于指导企业协同团队的知识创造实践。     

磁悬浮轴承-转子系统的分岔与混沌特性

研究磁悬浮轴承-转子系统主共振情形时的非线性动力学行为。由Taylor级数展开得到非线性电磁力的表达式。用Lung-Kutta法计算系统的运动响应。借助Poincare影射和Lyapunov指数对系统的运动形态进行分析。结果发现了在主共振情形下系统中由环面破裂产生的混沌现象及之后的由倍周期分岔导致的混沌现象。     

Authenticated key agreement for blockchain-based WBAN

Telecommunication Systems - Certificateless authenticated key agreement (CLAKA) is important to prevent the escrow problem. It also mitigates the certificate management burden in storage and during...     

A Survey of Output Feedback Robust MPC for Linear Parameter Varying Systems

For constrained linear parameter varying (LPV) systems, this survey comprehensively reviews the literatures on output feedback robust model predictive control (OFRMPC) over the past two decades from the aspects on motivations, main contributions, and the related techniques. According to the types of state observer systems and scheduling parameters of LPV systems, different kinds of OFRMPC approaches are summarized and compared. The extensions of OFRMPC for LPV systems to other related uncertain systems are also investigated. The methods of dealing with system uncertainties and constraints in different kinds of OFRMPC optimizations are given. Key issues on OFRMPC optimizations for LPV systems are discussed. Furthermore, the future research directions on OFRMPC for LPV systems are suggested.      

知识型员工协同知识创新内在机理及过程分析

在分析知识型员工协同知识创新内涵的基础上,从知识型员工协同知识创新的形成、协同工作和知识活动3个方面深入探讨了其内在机理,并从协同知识创新的准备、协同团队构建、协同知识创造和新知识应用等4个阶段分析和描述了知识型员工协同知识创新的过程,为企业知识型员工协同知识创新活动提供了理论与实践指导依据。