公共文化服务平台

动态可连接的RSA门限签名方案: 2013年; 在对RSA门限签名方案的研究中,利用双线性函数的性质,实现了签名成员在不需要重新初始化系统的前提下的动态删除。同时,对一个有效的签名,系统通过可连接性实现签名的匿名追踪,并提高追踪的效率。针对实际情况,利用嵌套秘密共享,加入签名的权限功能,实现了文件的签署更有利于权限高的成员,因而更具有实用性。; 于静李志慧; 关键词：门限签名

适用于任意存取结构的动态多秘密共享方案: 2013年; 为满足一般存取结构的多秘密共享方案在实际应用中的可验证性和动态性需求,提出一种适用于任意存取结构的动态可验证多秘密共享方案,其中每个参与者各自选取秘密份额,采用RSA公钥密码体制将该份额通过公开信道发送给分发者。同时基于双变量单向函数为每个参与者分配伪秘密份额,利用双变量单向函数之间的异或运算设计秘密分发算法及重构算法。分析结果表明,该方案在秘密重构阶段参与者只需要出示其伪份额即可恢复主秘密,无须泄漏真正的秘密份额,具有防欺诈性;秘密份额的分发可以通过公开信道实现,减少了方案的实施代价。; 李婧李志慧吴星星; 关键词：多秘密共享可验证性 RSA密码体制

参与者人数为五的超图存取结构的最优信息率: 2015年; 针对参与者人数为5的超图存取结构的完善秘密共享方案及其最优信息率的精确值的问题,利用熵的有关性质和λ-分解方法等对周展飞的博士论文中还未解决的6种超图存取结构的最优信息率的精确值进行了研究。计算出该6种超图存取结构最优信息率的精确值为4/7。; 李志慧杨丽杰; 关键词：熵值法

量子Bchi自动机的代数及逻辑刻画被引量：1: 2013年; 提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理.; 韩召伟; 关键词：量子逻辑

A Novel Secret Sharing Scheme Based on Minimal Linear Codes: 2013年; In this paper, we propose a novel space efficient secret sharing scheme on the basis of minimal linear codes, which satisfies the definition of a computationally efficient secret sharing scheme. In the scheme, we partition the underlying minimal linear code into disjoint classes, establishing a one-to-one correspondence between the minimal authorized subsets of participants and the representative codewords of all different classes. Each participant, with only one short share transmitted through a public channel, can share a large secret. Therefore, the proposed scheme can distribute a large secret in practical applications such as secure information dispersal in sensor networks and secure multiparty computation.; LI ZhihuiSUN JianhongLI Jing

取值于赋值幺半群的加权上下文无关文法及其语言被引量：1: 2017年; 上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。; 王月李永明

一类超图存取结构的秘密共享方案的信息率被引量：5: 2013年; 针对参与者人数为6的一类超图存取结构的完善秘密共享方案及其最优信息率进行了研究。利用这些存取结构与超图之间的关系,给出了其对应的95种超图存取结构。对其中的57种超图存取结构运用理想超星判定定理等计算了它们最优信息率的精确值,并给出了达到此信息率的秘密共享方案的具体构造方法;对余下的38种超图存取结构运用λ-分解方法等给出了它们最优信息率的上下界。同时证明了具有n个顶点且秩为r的超星和超路径,其超边数至多为n-r+1条;并从理论上证明了顶点可约超图的最优信息率为1。; 杨丽杰李志慧李婧; 关键词：秘密共享超图

量子测量逻辑与推理理论被引量：1: 2016年; 已有的量子逻辑存在只适合于刻画封闭量子系统以及无法形式化量子测量算子等问题。为了描述开放量子系统,本文基于量子测量给出一种逻辑语言。首先,将经典命题公式作为逻辑语言的局部公式,以量子测量算子作为项公式;然后,将项公式的比较式和封闭量子子系统作为逻辑语言的原子命题,并定义一组量子联结词;最后,按结构归纳方式给出逻辑语言的全局公式。通过比较、分析已有的逻辑语言,说明量子测量逻辑的表达能力。作为公理化系统,给出量子测量逻辑的推理规则、元定理等相关理论。; 林运国李永明; 关键词：量子逻辑量子测量

基于安全性检测的广义量子Loop程序终止验证被引量：1: 2015年; 针对广义量子Loop程序的终止问题,首先介绍终止和几乎终止的两种定义,说明它们在刻画程序终止问题上的能力不足.为了弥补这种缺陷,引入另外两种定义:以一定概率在第n步终止和可终止,并且对这四种终止定义进行比较.其次,量子(正则)安全性是量子Markov链中重要的一类线性时间属性,证明出量子正则安全性的可满足概率等于乘积量子Markov链终状态不可达的概率,从而给出量子正则安全性检测技术.运用该检测技术,将广义量子Loop程序的终止问题归结为量子正则安全性的可满足性问题,并给出算法来计算第n步终止、可终止的概率和量子终态.针对多(单)量子比特系统、复合系统、嵌套系统,推导出第n步终止、可终止的终态和概率,并提供计算的显式表达式.最后证明广义量子Loop程序有限步内终止和可终止的充要条件.; 林运国李永明; 关键词：安全性

格值交替树自动机: 2019年; 交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值树自动机的等价性,并给出了二者相互转化的算法及其复杂度分析;同时,提供了用格值非确定型自动机来模拟格值交替树自动机的方法.; 魏秀娟李永明

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

国家自然科学基金(11271237)