一种具有策略隐藏的策略控制签名方案

策略控制签名可以通过访问策略对签名验证权限进行管理,然而由于公开的访问策略极可能包含隐私信息,导致用户隐私泄露.为此,提出了一种具有策略隐藏的策略控制签名方案,该方案使用线性秘密共享方案作为访问结构,通过以基于3素数合数阶双线性群为基础,将可能暴露隐私的属性值进行隐藏,并公开属性名策略.基于CDH假设和安全模型,证明了该方案的不可伪造性.最后对方案进行实验分析对比,结果表明:在签名验证阶段提出的方案效率高.

一种安全的PKI与IBC之间的双向异构数字签名方案

为保障异构环境网络通信安全,借鉴异构签密和数字签名思想,提出了异构数字签名的概念.基于双线性Diffie-Hellman困难问题,提出了安全的公钥基础设施PKI与基于身份加密IBC之间的双向异构数字签名方案,该方案支持正确性、不可伪造性和不可否认性.基于双线性Diffie-Hellman困难问题和随机预言机模型,又提出了不可伪造性的安全证明模型,该模型包含初始化参数阶段、询问阶段和伪造阶段.基于此模型,证明了所提方案的不可伪造性.最后,对性能进行了分析,结果表明,提出方案的计算量较少.

法律合约与智能合约一致性综述

从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一致性内涵进行了分析和讨论;分别基于形式化模型和合约模板总结了由法律合约生成智能合约代码的方法和关键技术,并对其进行了讨论和评价;最后,对未来法律合约与智能合约的一致性研究进行了总结和展望。