不可伪造性

摘要： 电子投票与传统投票方式相比更具经济性,但存在安全性论证不够严谨、运行时间长、计算消耗较大等问题。提出融合可链接环签密的智能合约电子投票协议,分别设计投票、秘密份额上传、计票等阶段的算法,在投票阶段基于椭圆曲线离散对数问题生成选票的可链接环签密,并在一个逻辑步骤内实现加密和签名,以确保投票的公正性、机密性和可验证性,避免重复投票情况的发生,从总体上降低协议运行时间和计算消耗的gas。此外,详细分析协议的安全性,基于椭圆曲线上的离散对数问题证明选票环签密的不可伪造性。使用truffle框架将智能合约部署到本地以太坊私有网络上,并通过挖矿以确认交易完成。实验结果表明,与Lyu协议相比,该协议节省了约10^(7) Gwei的计算消耗以及450 ms左右的运行时间。

摘要： 2021年,在无证书公钥密码体制下,Ren等提出了一个基于区块链的车载自组网批量验证签名方案(以下简称Ren方案),并声称该方案满足签名的消息完整性、匿名性和可追踪性。但论文指出Ren方案构造存在安全缺陷,导致方案生成的签名是可以普遍伪造的,无法实现批量验证签名,且不能为车辆间发送消息提供认证服务。接着,论文基于Ren方案提出了一个改进的基于区块链的无证书批量验证签名方案,并对改进方案进行了安全性和效率分析。结果表明,论文方案是不可伪造的,在与Ren方案效率相当的情况下满足签名的消息完整性、匿名性和可追踪性。

摘要： 多方量子签名协议可以满足两人或多人共同为同一消息进行签名,保证协议在量子计算攻击下的安全性。最近,Vandani等提出了一种新型量子签名协议,该协议需要用户和认证机构共同生成最终签名,且不需要纠缠资源。然而,通过分析发现,协议的正确性和安全性存在问题,具体地,签名操作设计的不对易性会导致签名验证出现错误,且签名协议无法抵御验证者的伪造攻击。针对上述问题,本文利用增加对易操作、引入可信任第三方Trent等方法,给出了改进后的协议。分析表明,新协议既保证了多方签名协议的功能性需求,同时也可以抵抗原协议存在的验证者伪造攻击。

摘要： 聚合签密能够将来自不同签密者对不同消息产生的签密密文合并为单个密文,大大减少了密文的总长度和验证成本,更适用于低带宽、低存储的通信环境。针对聚合签密在基于身份密码体制下安全性较差、含有双线性对运算效率不理想的问题,在一个安全且高效的签名方案基础上,设计了一个新的可公开验证无对运算的无证书聚合签密方案。使用哈希函数将签密者的身份信息与部分公钥进行绑定,从而生成用户的部分私钥,以防止公钥替换攻击。在解签密阶段,将签密者的身份信息作为输出,不但能验证签密者身份的合法性,而且能有效隐藏签密者身份信息。在随机预言模型下,将方案的机密性和不可伪造性规约到多项式时间内求解计算性Diffie-Hellman问题和离散对数问题,证明了方案的安全性;在验证阶段,无需任何用户私有信息,任意可信第三方均可验证,具有公开验证性。此外,对方案的效率进行了比较,该方案在聚合解签密阶段只需要3n次点乘运算,计算效率较高。

摘要： 2019年,曹等人(doi:10.11999/JEIT190166)提出了一个适用于多方合同签署环境中高效的无证书聚合签名方案,并证明了该方案在随机预言模型下存在不可伪造性。然而,通过安全性分析发现,该方案无法抵抗替换公钥攻击和内部签名者的联合攻击。为了解决上述安全缺陷,该文提出一个改进的无证书聚合签名方案。新方案不仅在随机预言模型下基于计算性Diffie-Hellman问题满足不可伪造性,同时也能够抵抗联合攻击。

摘要： 环签名具有隐匿签名成员真实身份的优势,但现有环签名方案仍存在没有很好同时解决效率与安全性等问题。针对此问题,提出一种基于国密SM9算法的门限环签名方案(GMTRS)。首先,利用强抗碰撞性的SM3密码杂凑算法生成长度为256 bit的常数项值,利用安全冗余度更高的SM4分组密码算法对签名进行加解密处理,并在密文中嵌入具备时效性的时间戳,来提高签名算法的安全性;其次,在基于身份的环签名基础上利用门限参数提取算法引入门限值t,使签名过程的效率得到提高,并将无需维护公钥证书和加解密速度快的SM9算法与门限环签名相结合,既保留了门限环签名的特性,又提高了签名算法的效率;最后,在随机预言模型下证明了GMTRS方案具有适应性选择消息攻击下的不可伪造性。与现有方案相比,该方案具备不可伪造性、匿名性、抗重放攻击性、前向后向安全性等优势。效率分析表明,GMTRS方案在签名生成和验证阶段的效率分别提升约52.38%和32.16%。并且门限值t的变化,对方案总体计算开销影响较小。

摘要： 顾名思义,前向安全的代理签名具备前向安全性和可代理性,因而,自提出以来,已被广泛应用在移动通信、电子拍卖等众多应用场景中.目前现有的前向安全的代理签名基本上都是基于离散对数难题亦或是大整数分解问题.而这些问题随着量子计算机逐渐成为现实,将会变得不再困难.因而,寻找量子计算环境下前向安全的代理签名已迫在眉睫.现存的量子安全的公钥密码体制有4类,分别为基于Hash的密码体制、基于编码的密码体制、多变量公钥密码体制以及格公钥密码体制.在这4类公钥密码体制中,格公钥密码以其量子免疫性,计算简单高效,任意实例下的安全性和最坏实例下的安全性相当等优势在近10年得到了快速发展,并已经取得了显著成就.在格上引入前向安全的代理签名这一概念并给出其安全性模型,基于格上已知NP困难的小整数解问题(small integer solution,SIS)提出了2个前向安全的格基代理签名.在这2个签名中,其中1个签名在随机预言机模型下被证明是不可伪造的,能够抵抗恶意原始签名人和未被授权代理签名人攻击,且与之前格基代理签名相比较,以牺牲效率为代价,达到了实现前向安全性的目的;另外1个签名在标准模型下是安全的,且能实现前向安全性.

摘要： 目的 针对已有的一些盲签名方案中采用了耗时的双线性对运算,或者没有提供安全性证明的问题,设计更加高效和安全的盲签名方案.方法 利用数字签名技术与盲签名技术.结果 提出了一种新的基于离散对数问题的可证安全的盲签名方案.结论 方案满足盲签名的盲性、不可链接性和不可伪造性,与现有方案相比具有更高的效率,并且结合代理签名技术,提出了一种可证安全的代理盲签名方案,并证明其满足代理盲签名方案的可区分性、不可伪造性.

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

摘要： 前向安全的有序聚合(Fss-Agg)签名兼顾前向安全签名和有序聚合签名的优势.自2007年提出以来,前向安全的有序聚合签名已被广泛应用于日志系统、电子商务、电子政务、区块链等众多应用场景中.目前现存的几个前向安全的有序聚合签名都是基于传统数论问题,而这些问题随着量子计算机逐渐成为现实,将会变得不再困难.因而,寻找量子计算环境下前向安全的有序聚合签名已迫在眉睫.给出了前向安全有序聚合签名方案的定义,并将前向安全性和存在性不可伪造性两个特性结合,定义了选择消息攻击下有序聚合签名的前向安全的存在性不可伪造性;基于格上的小整数解问题,利用原像采样算法和格基委派技术构造了抗量子攻击的前向安全有序聚合签名方案,即格上首个前向安全的有序聚合签名方案,方案在随机预言机模型下满足正确性和前向安全的存在性不可伪造性.

摘要： 首先回顾了目前存在的两个盲签名方案,并对其进行了比较、分析,指出这两个盲签名方案均不满足盲签名不可伪造的特性,所以这两个方案均存在安全隐患.针对这个问题,本文简要分析了防御这种伪造性的方法,提出了改进思路.

摘要： 首先回顾了目前存在的两个盲签名方案,并对其进行了比较、分析,指出这两个盲签名方案均不满足盲签名不可伪造的特性,所以这两个方案均存在安全隐患.针对这个问题,本文简要分析了防御这种伪造性的方法,提出了改进思路.

摘要： 首先回顾了目前存在的两个盲签名方案,并对其进行了比较、分析,指出这两个盲签名方案均不满足盲签名不可伪造的特性,所以这两个方案均存在安全隐患.针对这个问题,本文简要分析了防御这种伪造性的方法,提出了改进思路.

摘要： 本发明的卡的塑料支撑14包含随机分布的铁氧颗粒11，为使卡个人化，签发当局用磁感应检测器扫描卡的塑料基底，从而读取铁氧颗粒的位置p。随后当局计算s＝SIG(ID，p)，其中“SIG”指任何安全公共关键数字标记图算法，且ID是卡拥有者的识别细节。最后s和ID被记录在卡的存储装置13中。当这种卡被插入读取器时，读取器扫描卡的塑料部分并读取分特性p。随后从卡的存储装置获得ID和s并且读取器检查s(ID，p)的真正标记图。

摘要： 本发明公开了一种不可成型性判断装置及不可成型性判断方法。该不可成型性判断装置包括：法线计算单元，其计算从构成成型制品的三维形状的各个表面上的点延伸的法线；反向分量判断单元，其判断计算出的法线是否具有反向分量，该反向分量是与型模的脱模方向相反的方向分量；到达判断单元，当具有反向分量的法线的点所在的表面是投影表面时，该到达判断单元判断在成型制品上是否存在从投影表面沿脱模方向延伸的直线和沿与脱模方向相反的方向延伸的直线中的一者到达的其他表面；以及不可成型性判断单元，当存在上述两条直线均到达的其他表面时，不可成型性判断单元判定投影表面仅仅通过型模沿脱模方向移动不能与型模脱离，从而判定投影表面不能成型。

摘要： 本公开提供了一种伪造图像识别模型训练方法，包括从数据集中提取多张样本图像，对多张样本图像中识别目标区域进行定位并裁剪，得到多张训练图像；构建初始二分类模型；对于每一张训练图像，使用空间域特征提取模块从训练图像中提取得到空间域特征，使用自适应频域特征提取模块从训练图像中提取得到频域特征；使用特征融合模块融合多个空间域特征和多个频域特征，得到多个训练特征；使用特征映射模块将多个训练特征映射到特征空间中，得到多个特征点，将多个特征点输入分类器中，得到多个训练结果；以及基于多个训练结果及其标签监督训练初始二分类模型，得到伪造图像识别模型。此外，本公开还提供了一种应用该模型的伪造图像识别方法。

摘要： 提供了一种伪造样本检测模型的训练方法、伪造样本识别方法、装置、介质和设备，该训练方法包括：获取真实样本集和包括多种已知伪造类型的伪造样本的伪造样本集；重复执行以下步骤，直到预设条件：根据所述真实样本集，确定训练真实样本集和测试真实样本集；根据所述伪造样本集，确定元训练伪造样本集和元测试伪造样本集，所述元训练伪造样本集与所述元测试伪造样本集包括的伪造样本的伪造类型不同；采用所述训练真实样本集、元训练伪造样本集对所述伪造样本检测模型进行元训练，得到内层优化后的伪造样本检测模型；采用所述训练真实样本集、元测试伪造样本集对内层优化后的伪造样本检测模型进行元测试，得到外层优化后的伪造样本检测模型。

摘要： 过期时间不可伪造的可撤销群签名方法，将时间戳嵌入群成员的签名密钥中并采用CS‑TBK算法防止伪造已过期的证书，利用SPS‑EQ签名的重随机性消除传统群签名中低效的显式加密环节并保证签名的不可链接性。本群签名方案达到了BU‑匿名性、可追踪性、非陷害性和Weak Opening Soundness等安全属性，能够防止虚假证书、恶意群签名劫持、身份隐私和监管，并提供恒定大小的高效签名和撤销验证。

摘要： 本发明涉及一种基于静脉网的可删除的匿名的生物计量鉴定系统，包括：光源，其用于照射用户的身体的部位；以及检测装置，其包括用于非接触式感测所述用户的所述身体的所述部位的传感器、生物计量特性提取单元和生物计量特性转换单元，所述检测装置具有唯一标识符，所述生物计量特性提取单元从由所述传感器获得的生物计量信息提取一定量的特性并且生成血管指纹，特征在于，用于转换所述特性的所述转换单元能够借助于将所述装置的所述标识符与所述提取的特性组合的编码算法将所述血管指纹转换成可变数字标识符，使得所述数字标识符与所述用户的所述血管指纹不相关并且是在没有所述用户的任何识别信息的情况下生成，并且其中所述生成的数字标识符特定于所述数据检测装置。所述系统进一步包括：第一服务器，其在具有所述检测装置的客户端/服务器环境中操作；以及第二服务器，其包括代码转换单元和对应性确定单元。本发明进一步涉及在所述系统中实施的方法以及所述系统的用途。

摘要： 一种不可伪造的商标防伪密码装置及其识别计算器和识别方法，由商标拥有者暗取n组随机大素数，作为商标防伪密码P

摘要： 本发明的卡的塑料支撑14包含随机分布的铁氧颗粒11，为使卡个人化，签发当局用磁感应检测器扫描卡的塑料基底，从而读取铁氧颗粒的位置p。随后当局计算s＝SIG(ID，p)，其中“SIG”指任何安全公共关键数字标记图算法，且ID是卡拥有者的识别细节。最后，s和ID被记录在卡的存储装置13中。当这种卡被插入读取器时，读取器扫描卡的塑料部分并读取分特性p。随后从卡的存储装置获得ID和s并且读取器检查s(ID，p)的真正标记图。

摘要： 一种不可燃性烟草蒸气插入物(1002a、b)包括：具有第一直径的过滤嘴(2260)；以及不可燃性烟草元件(2250、3250)，其第一端与所述过滤嘴(2260)接触。所述烟草元件(2250、3250)的至少一个第一部分具有小于所述过滤嘴(2260)的所述第一直径的第二直径。筒(74a、b)包括加热器(14)，所述加热器被构造成使由芯子(28)传递到所述加热器(14)的蒸发前调配物汽化。所述插入物(1002a、b)位于筒(74a、b)内的通气道(9)的至少一部分中，其中所述插入物(1002a、b)被构造成允许由所述加热器(14)生成的蒸气在从所述筒(74a、b)排出之前穿过所述插入物(1002a、b)。

摘要： 本发明公开了一种不可成型性判断装置及不可成型性判断方法。该不可成型性判断装置包括：法线计算单元，其计算从构成成型制品的三维形状的各个表面上的点延伸的法线；反向分量判断单元，其判断计算出的法线是否具有反向分量，该反向分量是与型模的脱模方向相反的方向分量；到达判断单元，当具有反向分量的法线的点所在的表面是投影表面时，该到达判断单元判断在成型制品上是否存在从投影表面沿脱模方向延伸的直线和沿与脱模方向相反的方向延伸的直线中的一者到达的其他表面；以及不可成型性判断单元，当存在上述两条直线均到达的其他表面时，不可成型性判断单元判定投影表面仅仅通过型模沿脱模方向移动不能与型模脱离，从而判定投影表面不能成型。