XOR-MAC消息认证码的安全性新证明

消息认证码（Message Authentication Codes---MACs）是保证消息完整性的重要工具。Bellare 等人提出了称为XOR-MAC的消息认证码,界定了攻击者成功伪造的概率,从而证明了其安全性,但是他们给出的证明方法较为复杂。本文使用Game-Playing 技术采用新的安全性定义证明了XOR-MAC的安全性,证明方法简单明了;在底层所使用的分组密码是伪随机置换的假设下,量化了该消息认证码与随机函数之间区分的概率。     

关于一个数值比较协议的安全性证明

Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明. 我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.     

关于复变函数解析性的一个注记

本文从基本概念出发,通过对差商的实部和虚部的极限的分析讨论,给出了复变函数解析性的一个判别方法。     

关于一个遍历定理的注记

利用泛函分析的方法给出一个遍历定理的另一证明.     

带有阻尼项的不可压Euler方程解的存在性

研究了带有阻尼项α︱u︱βu(α>0)的不可压Euler方程解的存在性。利用Galerkin方法、Poincare不等式、Sobolev嵌入定理、能量不等式,我们得到了带有阻尼项不可压Euler方程当β=2时解的存在性。     

关于四次最小支集样条小波函数的一个注记

首先给出了四次紧支撑样条小波函数的解析表达式及其性质,并以四次最小支集样条小波函数为基函数,构造了一类最小支集样条小波插值函数,讨论了计算过程,最后给出了数值计算的例子.     

本雅明与"不可译"的"翻译"自身

本雅明《翻译者的任务》作为乔治·斯塔纳所勾勒的翻译的第4个时期的开端复制了这个时期关于翻译的言说,然而它自身同样处在翻译的境遇之中。按照德里达与德曼对本雅明的解释,翻译自身形成的是一种债务与失败的关系,而这表明了翻译自身不可翻译的特征,而这正是翻译的根本性。     

TLS握手协议的计算模型分析*

本文用BR模型对TLS握手协议进行了计算分析与安全性证明. TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中. 本文对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函数均满足计算模型安全性要求时,TLS握手协议在BR计算模型下是安全的.     

模糊数值函数(FH)积分原函数的F-可导性

讨论了模糊数值函数(FH)积分原函数的F-可导性问题,证明并举例说明,(FH)可积的模糊数值函数,其积分原函数是几乎处处F-可导的,但在Puri和Ralescu定义的导数意义下,积分原函数不是几乎处处可导的,进一步说明模糊数值函数F-导数比Puri和Ralescu定义的导数弱.     

企业管理信息化问题与对策研究

本文介绍了企业管理信息化的意义及内容,分析了在企业管理信息化建设中存在的主要问题,并提出了几点解决方案.     

基于部分响应和SCMA的联合检测与译码算法

稀疏码分多址（SCMA）是一种新型非正交多址技术,具有过载通信的特点。在高信噪比（E_b/N₀）场景下基于消息传递（MPA）的译码算法,误比特率性能不理想。因此,提出一种部分响应与稀疏码分多址联合调制译码模型,方案继承了SCMA在译码端的低复杂性和部分响应的高容错性。为进一步降低联合译码的误比特率,将部分响应的Viterbi译码级联至MPA迭代译码过程中,即每次迭代过程中变量节点都会进行一次Viterbi译码,从而组成新型联合译码模块。仿真结果表明,改进后联合编译码模型能够有效降低系统对E_b/N₀的需求,同时保持较低的误比特率。     

基于码分多址和防碰撞功能 的RFID安全认证协议

利用码分多址技术的保密性、抗干扰性和多址通信能力,结合认证密钥和Hash函数,设计了一种适用于RFID系统且具有防碰撞功能的安全认证协议. 理论和分析表明:与常用的安全认证协议相比,新协议在保证一定复杂度基础上,不仅能有效地解决标签的碰撞问题,而且可抵抗包括重传、跟踪、阻断和篡改在内的多种攻击手段,尤其针对来自系统内安全威胁,具有一定的安全性和实用性.     

一种基于感知特性的鲁棒性语音认证算法

提出了一种基于感知域的鲁棒性语音认证算法,将语音的感知特性与签名算法相结合,在满足内容认证和身份认证的同时,能够有效地抵抗通信噪声微扰.算法基于语音的掩蔽效应和非线性效应等人耳感知特性,着重去除其时频域掩蔽阈值下的冗余信息,进行非线性滤波后提取感知参数,并运用改进的Rainbow算法对这些语音参数进行签名.实验证明,该算法的唯一性和针对通信噪声的鲁棒性都很好,兼有Rainbow签名的安全性保证,可以满足语音通信中的鲁棒性认证要求.     

广义Motzkin码的概率生成函数与测度

对Motzkin码进行了推广,得到n阶广义Motzkin码Mn,并计算出广义Motzkin码的概率生成函数及测度.     

英汉互译中语言符号的语用功能

研究言语活动的规律,观察并探讨不同文化环境中符号行为的异同,是译学的内容.而译者的主要任务就是引导读者接受异域文化,尽量使读者头脑中显现的形象和产生的联想接近原作在原文读者中产生的效果.以发展的眼光来看,因文化差异引起的困惑就会在读者对原文民族文化不断的熟悉过程中逐渐减少,直至接近消失,最终实现较为全面准确地了解和沟通异域文化.     

D(Rn)函数的Riesz变换的一个注记

证明,对于任意一个非零D（Rⁿ）函数f,它的Riesz变换R_jf不具有紧支集。这推广了已知的Hilbert变换的结果。     

一个远程口令鉴别方案的分析

对谭凯军等提出的基于矢积的远程口令鉴别方案进行了安全性分析,指出攻击者为了冒充用户的登录请求,只须截获该用户的两次登录请求,或者只须再申请一张智能卡,取出其中有关信息后截获一次登录请求,因而该方案不安全.针对上述两种攻击,也对该方案提出了一些修改意见.     

一个基于安全模型的测试用例生成工具

在基于安全评估标准的安全数据库管理系统（Security Database Management System, SDBMS）的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生成工具——CaseBuilder.该工具可针对SDBMS快速生成能够满足产品安全策略测试要求的测试用例集.     

整群环上核群D(ZG)的一个注记

设G为一有限群, Λ为群代数QG的一个Z-序, Λ'为包含Λ的一个极大Z-序. 由包含映射诱导出的局部自由类群CL(Λ)到CL(Λ')的同态映射的核定义为核群D(Λ). 当G为有限p-群时, 对D(ZG)的指数给出一个估计.