基于身份体制下多密文等值测试加密方案的一般性构造

基于身份的多密文等值测试加密方案(IB-MET)具有广泛的应用前景,但目前仍缺少高效的构造方案.本文研究基于身份体制下的多密文等值测试加密方案构造.将传统公钥体制构造的加密算法抽象成数据封装和系数封装两个具体的步骤.提出将数据封装机制进行变形后再结合系数封装机制即可实现相应体制下具有多密文等值测试功能的加密方案.给出了基于身份体制多密文等值测试加密方案的一般性构造,以Beneh-Franklin IBE为例给出了一个具体的构造实例.方案基于一个基于身份加密(IBE)方案和BDH困难假设,相比传统的多密文等值测试加密方案,主要增加的计算开销为传统加密算法到基于身份加密算法的额外开销.

去中心基于属性Σ协议的一般性构造及其应用

基于属性密码因能提供细粒度访问控制和良好的隐私性而成为密码学的研究热点之一。Σ协议是一种三轮公开抛硬币诚实验证者零知识证明协议,在密码学的许多领域有重要应用。首先,将基于属性密码引入到零知识证明领域,研究基于属性Σ协议,给出其定义,刻画其安全模型;其次,基于标准Σ协议、陷门可取样关系和平滑秘密共享方案,给出一个去中心基于属性Σ协议的一般性构造和相应的例子,并证明其安全性;最后,作为去中心基于属性Σ协议的应用,利用Fiat-Shamir转换,得到去中心基于属性签名和去中心基于属性双层签名的一般性构造和相应的例子。效率分析表明,基于属性双层签名方案相比已有的方案在数据长度和计算开销两方面都具有显著的优势。

论民事法律推定规范的一般构造——兼论对《民法典》法律推定规范的反思

《民法典》中法律推定规范用语含混,导致法律推定规范难以识别,与拟制规范、解释性规范、证明责任规范等难以区分。民事法律推定规范的识别应建立一般性构造,而不是基于传统的推定理论,将推定界定为建立在基础事实与推定事实之间的盖然性联系技术。民事法律推定规范应以是否涉及意思表示为标准,区分为意思表示类推定规范和非意思表示类推定规范。以民事法律推定规范的分类为基础,可从典型的推定规范中归纳出民事推定规范的一般性构造。基于民事法律推定规范的一般性构造,可有效辨别推定规范与法律拟制、解释性规定、证明责任分配规范的关系。