公共文化服务平台

一种检测TAL-freeness的代数方法: 2008年; 时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析.; 彭蓉崔竞松曾祥勇; 关键词：时间自动机

基于vSphere的安全管理套件: vSphere Client作为VMware vSphere虚拟化平台下唯一的管理端，能实现对数据中心和虚拟机各项配置的修改调整，但是却缺乏对虚拟机内部操作系统修改或监视的功能。尤其是在安全方面，例如底层进程查看和自动添...; 向永谦崔竞松; 关键词：虚拟化云计算套件

On the Largest Linear Span of Binary Sequences with Period p^2 from Interleaved Construction被引量：1: 2008年; Let S be a family of binary sequences constructed from interleaved construction. The linear spans of binary sequences in S are studied in this paper. In order to achieve the largest linear span, a criterion is presented for the base sequences with periodp, where p is a prime and 2 is a primitive root modulop2. It is shown that any sequence in S has the largest linear span under the criterion. Moreover, such base sequences can be chosen easily.; LI ShenghuaZENG XiangyongHU Lei

A Class of Rotation Symmetric Boolean Functions with Optimum Algebraic Immunity被引量：4: 2008年; For an odd integer n ≥ 7, this paper presented a class of n-variable rotation symmetric Boolean functions （RSBFs） with optimum algebraic immunity. The nonlinearity of the constructed functions is determined.; LI ChunleiZENG XiangyongSU WeiHU Lei; 关键词：NONLINEARITY BALANCEDNESS

n元Bent函数的级联构造被引量：3: 2011年; 结合级联构造方法,通过k元Bent函数级联构造n元Bent函数,分析构造出的n元Bent函数的各种密码学性质,给出一种不同于直接构造和二次构造的新型构造方法。推导并验证n元布尔函数为Bent函数的充要条件,基于n元Bent函数的线性不变性,进一步构造出一个Bent函数集。; 申艳光刘永红江涛; 关键词：密码学布尔函数 BENT函数非线性度

一类具有大线性复杂度的四值低相关序列集被引量：4: 2008年; 对正整数n≡0mod4,该文构造出了首类周期为2n-1的四值低相关d-齐次序列集,并完全确定了它们的相关值分布.新构造的这类序列具有大线性复杂度,而且每一条序列的线性复杂度被精确地计算出.同已有的序列集相比,该文构造的序列的优点是在具有低相关性和较大的集合容量的同时,还具有很大的线性复杂度.这类新序列适用于密码系统和CDMA通信系统.; 江文峰曾祥勇胡磊; 关键词：伪随机序列线性复杂度

一种无证书签名方案的分析与改进被引量：3: 2012年; 分析张燕燕等人提出的基于离散对数问题的无证书签名方案(计算机工程与应用,2011年第12期),指出在该方案中,敌手通过替换公钥可以伪造任何签名人对任意消息的签名,并提出一个无需双线性对运算的改进方案。理论分析结果证明,改进方案在最强安全模型下是存在性不可伪造的,且签名和验证效率更高。; 杨波肖自碧李寿贵宋春光; 关键词：离散对数问题无证书签名双线性对

基于运动物体识别的三维动态验证码设计被引量：2: 2010年; 基于OCR难题的平面静态可视化验证码以其在实现和操作方面的优势成为了目前CAPTCHA技术应用的主流形式。然而,随着各种有针对性的文字分割技术的出现,这种基于OCR难题的验证码的安全性受到越来越严重的威胁,用这种方法所保护的网络服务系统正在越来越多地被bots程序攻击。目前迫切需要一种既能够提高验证码的安全性,又能够保持实用性的新型CAPTCHA验证码。该课题拟在运动对象识别难题上,构建一种动画验证码,使得攻击者只有在有效解决运动对象识别难题后,才能通过该动画验证码的测试进而登录服务系统。该课题所提出的设计思路将会在CAPTCHA研究领域开辟一个新的研究方向。此类动画验证码将能够杜绝所有静态OCR技术的攻击,并能够抵抗过去所有的对于运动物体检测的攻击。; 崔竞松王丽婧; 关键词：CAPTCHA 网络安全

一种无证书可验证加密签名的安全性分析被引量：1: 2010年; 分析周敏等人提出的一种无证书可验证加密签名方案(计算机科学,2009年第8期),指出该方案不能抵抗公钥替换攻击,不满足可验证加密签名的2个基本安全属性:不可伪造性和可提取性。此外,该方案还存在密钥托管问题,不具备无证书公钥密码系统的优点。; 肖自碧杨波李寿贵; 关键词：可验证加密签名密钥托管公钥替换攻击

一类低相关序列集的线性复杂度研究被引量：2: 2008年; 在密码系统和通信系统中使用大线性复杂度的低相关序列能有效地提高数据的安全性,设计大线性复杂度的二元低相关序列是一个重要的研究问题。使用d-齐次函数是构造低相关序列集的一种有效途径,Key方法可以确定这些序列的线性复杂度。对正偶数n和与2n/2?1互素的任意正整数r,提出了一类周期为2n-1的2n条序列组成的二元序列集S(r)。对某些适当选取的参数r,S(r)中序列的线性复杂度为n2n/2?3或n2n/2?4。参数n可以取任意正偶数,所构造的具有大线性复杂度的序列具有广泛的使用范围。; 田金兵曾祥勇胡磊; 关键词：伪随机序列线性复杂度

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(60603012)