摘要：具有安全和计算能力的CPU卡是学生就业网签约和认证的重要条件,而大多数校园卡是较低安全机制且无计算能力的射频IC卡。针对这一问题,文章从签约认证协议的设计和分析入手,对CPU卡在其中的作用建立有效的安全和计算模型,根据射频IC卡的特点,建立其替换CPU卡的安全等价模型,并依此设计射频IC卡的数据存放机制和配套装置功能,从而提出一种既符合现实,又相容于发展的解决方案。

摘要：Espresso算法是由***和***两人设计的面向5G通信需求的序列密码算法,算法采用256级的非线性反馈移位寄存器(NFSR)作为驱动部件,密钥长度为128比特,初始化向量为96比特,过滤输出函数为6次布尔函数.由于驱动部件为NFSR,因此Espresso算法可以较好地抵抗标准代数攻击以及相关攻击等分析方法.然而本文将证明无论参数如何选择,只要是利用***和***所提方法构造出来的NFSR,其任意寄存器上的输出序列均可由同级数的线性反馈移位寄存器(LFSR)通过选取适当的过滤函数生成,即等于某个LFSR的前馈序列.特别的,这些LFSR是相同且过滤函数可显式地表达出来.利用这一结果,我们证明了Espresso算法的输出序列为某个256级LFSR的前馈过滤,对应的过滤函数为12次布尔函数.针对该等价模型,我们可以成功地实施代数攻击,其时间复杂度为O(2^(66.86)).我们指出,要想抵抗等价模型下的代数攻击,Espresso算法中的输出函数至少应为8次布尔函数.最后我们还讨论了等价模型下输出函数的其他漏洞.

摘要：具有安全和计算能力的CPU卡是金融卡消费交易应用的重要组件 ,而大多数校园卡和公交卡是无计算能力的射频IC卡。针对这一问题 ,从分析金融卡消费交易流程入手 ,建立CPU卡的安全和计算模型 ,并根据射频IC卡的特点 ,建立它们的等价模型。并依此设计射频IC卡的数据存放方法和配套组件 ,以实现其安全性。

摘要：研究线性混杂自动机(LHA)模型.线性混杂自动机在一定条件下可以转化成与之等价的状态依赖空间模型,等价性是指两个系统所产生的轨迹是相同的.采用非线性广义最小方差算法对状态依赖空间模型进行控制器的设计,非线性广义最小方差控制器的设计则基于更为一般的非线性模型,模型中可含有时滞项和外界干扰,控制器的计算过程简单且易于实现.仿真结果表明,非线性广义最小方差控制算法能够有效地控制线性混杂自动机,而且在系统存在延时、干扰以及噪声的情况下能够得到较为理想的控制效果.

摘要：针对目标函数相关的不确定多目标规划问题提出了一种在期望-方差准则下的求解方法.首先,给出了不确定多目标规划的等价模型,基于期望-方差准则和帕累托有效解的定义,利用线性加权或理想点法将原问题转化为不确定单目标规划问题,再利用该准则将不确定单目标规划问题转化为确定型单目标规划问题;其次,通过相关理论推导证明了在该准则下转化后的问题求得的最优解是原不确定问题的帕累托有效解;最后,结合不确定多目标规划模型在航路网络容量评估中的应用,设计了一个具有代表性的数值算例以说明本文方法的有效性,考虑算例的特点,用遗传-粒子群算法进行了求解.

摘要：文章通过分析金融CPU卡在消费交易流程的密码计算模型,结合射频IC卡的特点,设计了等价密码计算模型,并用现场可编程门阵列(FPGA)实现。