基于面向对象的几何定理自动证明系统设计与实现

针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统。该系统结构简单、清晰,可扩展性强,并能产生可读证明过程。实例分析说明了该原型的有效性。     

基于ZKV方法的远程证明AIK证书生成协议

本文首先分析了身份认证密钥证书生成过程中平台信息暴露和可信第三方效率瓶颈等问题,提出了一个可选择的可信计算环境中远程证明身份认证密钥证书生成方案,以保证通信双方终端计算机平台信息的保密性。然后阐述了由零知识证明、Kerberos框架和虚拟可信平台模块三种技术相结合的身份认证密钥证书生成协议,称之为ZKV方法。最后对该方法的安全性和效率进行了分析,并构建原型系统验证了该方法的可行性。     

Rhee协议的安全性证明

在Juels模型下,证明Rhee协议具有不可区分的强隐私性,并得到确切的安全界。协议的证明使用基于Game的方法和Shoup引理确定相邻Game之间可区分的概率上界,由于概率上界是可忽略的,因此将协议的不可区分的隐私性归约到随机预言机存在的假设上。该证明技术能够用于分析和解决无线射频识别系统安全性问题。     

一种无序匿名的RFID群证明方案

现有无线射频识别(RFID)群证明方案中的群证明生成效率较低.针对该问题,基于椭圆曲线离散对数困难性问题,采用多重签名的思想,并行且匿名地生成群证明.理论分析结果表明,该方案满足安全性和隐私性要求,与同类方案相比,只需一次点乘即可生成群证明,效率更高.     

基于区块链的电子医疗记录安全共享

针对电子医疗记录（EMR）共享面临的数据提供商集权化、患者数据管理显被动、互操作效率低、恶意传播等问题,提出一种基于区块链的电子医疗记录安全共享方法。首先,基于商用密码SM2数字签名算法提出一种更加安全高效的泛指定验证者签名证明（UDVSP）方案;然后,设计具有上传、验证、检索、撤销等功能的智能合约,构造基于区块链的电子医疗记录安全共享系统;最后,通过安全性分析和性能分析论证UDVSP方案和共享系统的可行性。安全性分析结果表明,所设计的UDVSP方案满足可证明安全性。性能评估结果表明,与现有常用的UDVSP/UDVS方案相比,节省至少87.42%的计算开销和93.75%的通信代价。区块链智能合约原型系统的仿真结果进一步论证了共享系统的安全性和高效性。     

授权股份证明共识机制的改进方案

针对授权股份证明（DPoS）机制中存在的节点投票积极性不高及如何降低恶意节点被选举为代表节点的概率等问题,提出了一种基于奖励机制和信用机制的改进方案。奖励机制规定代表节点所得的交易费要与为它投票的节点所共享,并提出一种改进的收益分配算法合理分配各节点所得的权益;信用机制为节点设置信誉值和状态,并通过优化投票结果的计算方式加大恶意节点成为代表节点的难度。在以太坊平台上搭建了测试区块链对改进方案进行了实验分析,结果表明该改进方案能够降低恶意节点选举成功的概率,提高了系统的安全性。     

基于身份的代理签名方案

代理签名具有丰富的密码特性,在代理签名中原始签名人可以将签名权利下放给代理签名人,从而将自己从"繁琐"的签名事务中解放出来.随着对双线性映射的研究和应用,人们发现使用双线性映射可以有效简化传统的基于"证书"密钥管理和密钥分发技术.文中以双线性映射和Schnorr签名方案为基础,合理融入代理签名机制,提出一种基于身份的代理签名方案.对新方案进行安全性分析,让明在CDHP问题难解性前提下,具有不可伪造性、密钥依赖性等特性.     

A new complexity metric for FH/SS sequences using fuzzy entropy

This paper presents a new complexity metric to evaluate the unpredictability of a frequencyhopping/spread-spectrum (FH/SS) sequence based on fuzzy entropy (FuzzyEn).According to the property of the FS/SS sequence,the definition of a fuzzy membership function for a complexity metric is presented and a basic theorem for FuzzyEn complexity is proved.Simulation and analytical results show that the proposed FuzzyEn works and can effectively discern the changing complexities of the FH/SS sequences,which are compa...