对ARAP认证协议的攻击及其改进

分析了射频识别（RFID）系统中匿名RFID认证协议（ARAP）存在的安全缺陷,指出攻击者可利用该协议存在的异或运算使用不当的安全缺陷发起身份假冒攻击.为此,提出了一种改进的RFID双向认证协议,该协议修改了ARAP认证协议中部分异或运算和验证操作,仍采用假名机制提供隐私性保护,防止攻击者对标签进行跟踪.结果分析表明,改进后的协议具有双向认证、前向安全性和匿名性等安全属性,并能够抵抗冒充、跟踪和重放等攻击.同时,性能对比分析表明改进后的协议具有比较好的效率,实用性较强.     

蒙特卡罗模拟中基于双向链表的元胞链表方法

较之分子动力学, 蒙特卡罗能够实现非局域的粒子移动, 从而解决一些分子动力学不容易模拟的问题. 非局域的粒子移动主要包括模拟化学反应时粒子产生和消失的过程, 高分子模拟时的扭折-跳跃、绕枢轴转动和蠕动以及位形偏倚蒙特卡罗中链的回溯和再生. 然而在蒙特卡罗方法处理非局域移动时, 并不存在一种计算短程作用的计算复杂度为 的算法, 从而限制了蒙特卡罗方法的应用. 本文基于双向链表的数据结构, 发展了蒙特卡罗模拟中因粒子删除和插入而引起的短程势能变化的计算复杂度为 的元胞链表方法. 所有非局域的粒子移动可以转化为粒子的删除和插入, 因此该方法适用于上述所有情形. 此外, 由于Metropolis算法中给某粒子一个随机位移的过程可以看成旧位置粒子的删除以及新位置粒子的插入, 因此该方法也适用于Metropolis算法中粒子的随机移动.     

基于多维决策属性的分布式双向信任链发现算法

信任链发现算法是信任管理的核心内容,其中双向信任链发现算法相比于其他算法效率较高而被广泛采用,但是目前已有的双向信任链发现算法存在以下不足：1）没有实现对角色的动态管理,不能对授权委托进行深度控制;2）没有实现分布式的信任证存储.针对上述问题,本文基于多维决策属性进行细粒度的角色授权,采用CAN协议实现分布式的信任证存储,并在此基础上,提出了一种新的分布式双向信任链发现算法.仿真实验表明,该算法具有较好的负载均衡性,实现了最小信任证图的构建,实例验证算法在实际应用中可行.     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

基于异或运算的逻辑函数OC展开系数图与bj图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

逻辑函数RM展开式和CRM展开式的转换

讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式.根据异或和符合运算的性质详细讨论了逻辑函数bj系数和dj系数间的关系,并提出了两者的矩阵转换法,举例说明了转换过程.该方法揭示了bj系数和dj系数的内在联系,具有较好的实用性.     

基于异或运算的逻辑函数OC展开系数图与b_j图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

模2~n剩余类环上线性变换的异或线性分支数

异或线性分支数是衡量分组密码扩散结构的扩散性能的一个重要指标,它对分组密码抵抗线性密码分析的能力有重要的影响.二元域上的非线性变换也常用作分组密码的扩散结构,本文给出了此类扩散结构的异或线性分支数的一个定义及其与分组密码抗线性逼近攻击能力的关系,证明了以模2n剩余类环上的线性变换为扩散结构的异或线性分支数等于将其奇系数换成1、偶系数换成0且将模2n加换成模2加所得的二元域上线性变换的异或线性分支数,从而将这类扩散结构的异或线性分支数归结为二元域上线性变换的异或线性分支数.     

极限跟踪的几个性质

研究极限跟踪性与伪轨跟踪性的关系及极限跟踪性的某些性质,证明了紧致度量空间上有POTP的等度连续自同胚有极限跟踪性;若紧致度量空间上的自同胚f有极限跟踪性,则其链回归集与正向极限集相同;若f有双向极限跟踪性,则它在链分支上也有双向极限跟踪性.     

称函数展开系数变换的新算法

在传统的二值逻辑中,存在三种构成完备集的对称函数;基本对称函数S_i、简单对称函数τ_i以及RM型基本对称函数R_i.任意对称函数均可作如下展开:f(x_1,…,x_n)= sum from j=0 to∞(A_j·S_j)（1）f(x_1,…,x_n)= (?)(B_j·τ_j)(2)f(X_1,…,X_)=(?)C_j·R_j(3)上述诸式中∑表示或运算,(?)表示异或运算,·表示与运算.根据S_i,τ_i与R_i的定义以及异或运算的性质可以得到各展开系数之间的转换关系: