检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一种基于STSS的可验证秘密分享方案

中南民族大学学报（自然科学版） 2024年第4期43卷 540-546页

作者：杨景奕郑明辉汪玉黄世成湖北民族大学智能科学与工程学院湖北恩施445000 四川大学网络空间安全学院成都610065

针对秘密分享体制下非诚实分发者提供错误份额无法追责的问题,提出了一种基于STSS的可验证秘密分享方案来提升不诚实参与者的检测能力.STSS方案首先让分发者通过Feldman秘密分享方案将主秘密分割成n份,所得子秘密使用SM2算法对其进行签... 详细信息

针对秘密分享体制下非诚实分发者提供错误份额无法追责的问题,提出了一种基于STSS的可验证秘密分享方案来提升不诚实参与者的检测能力.STSS方案首先让分发者通过Feldman秘密分享方案将主秘密分割成n份,所得子秘密使用SM2算法对其进行签名;其次,所得签名值(r,s)采用TEA算法进行加密得到最终份额;最后,针对秘密分享体制下非诚实分发者提供错误份额无法追责的问题,方案使用双重验证,接收者在收到分享份额后通过对称密钥解密得到签名值,对比分发者公钥,保证其在传输和存储过程中未受到篡改.需要使用主秘密时,t(t验证秘密重构可恢复原始秘密.方案在随机预言机模型下证明了安全性,通过仿真实验表明:该方案在给定门限值和子秘密数量下运算效率较高.

关键词：秘密分享秘密重构可验证性门限值

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

《信息系统与抽象建模》教学案例

中国信息技术教育 2024年第1期 32-34页

作者：戴芳铭高士娟张红玉曹恒来江苏省盐城市实验高级中学江苏省盐城市亭湖高级中学江苏省盐城市教育科学研究院

学习内容分析信息系统是人们在社会活动中,以满足信息需求为目标而建立的综合系统。在开发信息系统前,需要运用抽象思维对系统的用户需求进行分析。在需求定义过程中,由于开发人员、系统用户对系统目标的考虑或表达不全面,常常会出现内... 详细信息

学习内容分析信息系统是人们在社会活动中,以满足信息需求为目标而建立的综合系统。在开发信息系统前,需要运用抽象思维对系统的用户需求进行分析。在需求定义过程中,由于开发人员、系统用户对系统目标的考虑或表达不全面,常常会出现内容失实、遗漏、含糊不清和前后描述不一致等问题。UML(Unified Modeling Language,统一建模语言)是一种标准化语言,该语言使用统一、规范的图形符号来描述系统模型,直观、形象,便于学习和掌握。因此,使用UML对复杂的用户需求进行建模分析,可以帮助开发人员更好地理解需求,提高需求规约的质量,减少二义性,提高一致性和可验证性,有效推进信息系统的开发。

关键词：统一建模语言信息系统需求定义二义性需求规约可验证性含糊不清图形符号

在线全文

学校读者我要写书评

暂无评论

基于承诺的可验证公平性微支付

电子与信息学报 2017年第3期39卷 743-748页

作者：刘忆宁赵全玉桂林电子科技大学数学与计算科学学院桂林541004 桂林电子科技大学广西可信软件重点实验室桂林541004

微支付交易具有交易量极大且单次交易额极小的特点,使得复杂的认证协议不适用于微支付。Micali等人(2002)提出的基于概率选择微支付方案,把微支付聚合成宏支付,大幅提高了微支付的效率。Liu-Yan在(2013)提出了保证所有参与者的数据融入... 详细信息

微支付交易具有交易量极大且单次交易额极小的特点,使得复杂的认证协议不适用于微支付。Micali等人(2002)提出的基于概率选择微支付方案,把微支付聚合成宏支付,大幅提高了微支付的效率。Liu-Yan在(2013)提出了保证所有参与者的数据融入概率选择结果的生成,而且使得所有参与者可以验证结果的公平性。然而,Liu-Yan方案中银行可能获得额外利益,从而破坏了协议的公平性。该文首先分析了Liu-Yan方案的安全威胁,并且以"1个用户-1个商家"的模型代替Liu-Yan方案中"大量用户-1个商家"的模型,以数据承诺技术为基础保障结果的公平性与可验证性。

关键词：微支付承诺公平性可验证性

在线全文

学校读者我要写书评

暂无评论

测量成本、可验证性与医疗费用支付方式

财贸经济 2009年第10期30卷 65-70页

作者：吕国营中南财经政法大学医疗保险研究所

测量成本的高低及第三方是否可以验证决定了支付方式的选择。由于医学自身的局限性以及治疗结果的不确定性,医疗产出难以标准化;并且,治疗结果难以测量和验证。因此,按治疗结果付费的支付方式没有可操作性,这就解释了为何长久以来按服... 详细信息

测量成本的高低及第三方是否可以验证决定了支付方式的选择。由于医学自身的局限性以及治疗结果的不确定性,医疗产出难以标准化;并且,治疗结果难以测量和验证。因此,按治疗结果付费的支付方式没有可操作性,这就解释了为何长久以来按服务项目付费的支付方式一直占据主流地位。医疗保险的发展催生了按人头付费、按病种付费等多种支付方式,然而,只要医学的局限性以及治疗结果的不确定性继续存在,按服务项目付费就有生存的土壤。按服务项目付费固然有严重的弊端,然而这种支付方式却是无法否定的,应该在肯定的基础上完善相应的配套机制以克服其弊端。

关键词：医疗费用测量成本可验证性按服务项目付费

在线全文

学校读者我要写书评

暂无评论

改进的基于双线对的可验证性环签名方案

计算机应用 2009年第B6期29卷 63-65,68页

作者：欧海文张晓辉北京电子科技学院信息安全与保密重点实验室北京100070 西安电子科技大学通信工程学院西安710071

在分析和改进一种基于双线性对的环签名方案的基础上,对此环签名方案的功能进行扩展,提出了一个新的基于双线性对的可验证的环签名方案。不仅改进了原签名方案的安全漏洞,而且为签名方案增加了可验证性。

关键词：双线性环签名可验证性群签名

基于Mixnet的电子投票系统的选票可验证性

在线全文

学校读者我要写书评

暂无评论

基于Mixnet的电子投票系统的选票可验证性

作者：邵乐乐西安电子科技大学

学位级别：硕士

随着时代的进步和科技的发展,电子投票已逐渐取代传统的人工纸质投票方式。在电子投票协议的设计中,为保证投票的公平性,必须对选民提供选票与其身份的不可链接性,也即匿名性。而且随着人们对合法权益的日益重视,也应允许选民查验自己... 详细信息

随着时代的进步和科技的发展,电子投票已逐渐取代传统的人工纸质投票方式。在电子投票协议的设计中,为保证投票的公平性,必须对选民提供选票与其身份的不可链接性,也即匿名性。而且随着人们对合法权益的日益重视,也应允许选民查验自己的选票是否被正确计入,即选票的可验证性。这些安全性要求使得电子投票协议的设计成为密码学研究领域中一个重要且困难的问题。本文首先研究了目前已有的三类电子投票方案:基于盲签名的FOO方案、基于同态加密的方案和基于Mixnet的电子投票方案,详细分析了它们的缺陷。其次,基于哈希函数和重加密技术相结合,设计了一种新的电子投票方案,它可以提供匿名性和选票的可验证性。最后,对比了新方案和已有方案的优缺点。论文取得的主要研究工作和创新之处如下:1.指出基于FOO方案存在选票碰撞,过分依赖管理机构,匿名信道不够安全可靠等问题;指出基于同态加密的方案不能实现选民可验证性,并且对选票的格式有一定的要求的缺陷;指出基于解密Mixnet的方案虽然可以通过实现选票的不可链接性来保证匿名性,但必须保证所有mix服务器都必须是诚实的;指出基于重加密Mixnet的方案没有考虑到计票方不诚实的情况,同时选票唯一性仍存在缺陷。2.针对以上方案的不足,为避免计票方权限过大不可信,同时解决选票唯一性问题,设计了一种新的基于重加密Mixnet的电子投票方案,该方案主要包含参数构造、注册、投票、计票、验证这五个阶段。通过对选票结构进行重新构造,将重加密Mixnet和数字签名相结合,保证选票的匿名性。通过哈希函数来保证选票的唯一性,使用门限秘密方案共享解密密钥对结果进行解密,然后通过零知识证明验证方案解密的正确性。3.论证了该方案满足选民的匿名性、公平性、选票的唯一性,有效地保证了电子投票系统中选票的可验证性,同时计票结果能够满足与最初输入结果的不可链接,从而实现匿名性。

关键词：电子投票可验证性数字签名 Mixnet 匿名性

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

隐私保护可验证性广告位在线拍卖机制设计

隐私保护可验证性广告位在线拍卖机制设计

作者：周旻平上海交通大学

学位级别：硕士

在线广告交易平台(Ad Exchange)代表着一种新兴的在线广告交易模式,已被广泛地运用于互联网在线广告交易市场。Ad Exchange联系起了在线广告交易的买方和卖方,即广告主方和流量方,采用实时竞价(RTB,Real Time Bidding)的在线拍卖技术,... 详细信息

在线广告交易平台(Ad Exchange)代表着一种新兴的在线广告交易模式,已被广泛地运用于互联网在线广告交易市场。Ad Exchange联系起了在线广告交易的买方和卖方,即广告主方和流量方,采用实时竞价(RTB,Real Time Bidding)的在线拍卖技术,代替流量方将广告位出售给广告主,同时广告主赢得展示广告的机会,实现全局的利益最大化。然而,由于在线拍卖的复杂性和隐蔽性,广告主和流量方既无法参与到在线拍卖的决策过程中,也无法精确验证在线拍卖结果的正确性,只能无条件地相信身兼服务提供商和拍卖决策者两职的在线广告交易平台。此外,广告主们常会担心在线拍卖会泄露他们的敏感数据信息,比如竞标价等,而不愿意参与到这一过程中。在本文中,我们联合考虑了广告位在线拍卖的可验证性和广告主的隐私可保护性两个问题,提出了ERA机制,即高效可靠的隐私保护可验证性广告位在线拍卖机制,从技术层面保证了在线拍卖的真实性和隐私性。我们利用保序加密机制(OPES,Ordering Preserving Encryption Scheme)和透明传输协议(OT,Oblivious Transfer),实现了广告主的隐私可保护性。同时,利用认证黑板报机制(CBB,Certificate Bulletin Board)和Paillier同态加密机制(PHES,Paillier Homomorphic Encryption Scheme),设计了基于隐私保护的整数大小关系验证协议(PPIC,Privacy-Preserving Integer Comparison Protocol),实现了广告位在线拍卖结果的可验证性。我们通过理论分析验证了ERA机制满足可验证性和隐私可保护性。同时,我们通过实验模拟ERA机制应用于广告位在线拍卖的场景,从计算、存储和通信开销三个方面分析了其性能。实验结果表明,ERA机制具有低延时和支持大规模的特性,可运用于实际的在线广告交易平台中。

关键词：在线广告交易平台可验证性隐私保护在线拍卖理论

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

高效的可验证无证书可搜索加密方案

通信学报 2023年第8期44卷 61-77页

作者：崔新华田有亮张起嘉公共大数据国家重点实验室贵州贵阳550025 贵州大学计算机科学与技术学院贵州贵阳550025 贵州师范大学经济与管理学院贵州贵阳550025 贵州大学密码学与数据安全研究所贵州贵阳550025

在云计算环境中,可搜索加密方案是一种实现数据隐私保护和关键词搜索的有效方法。目前,现有方案不仅难以实现高效验证与动态更新,同时也存在证书管理和密钥分配问题。为了解决上述问题,近期有相关学者提出了一种基于改进Merkle-Tree认... 详细信息

在云计算环境中,可搜索加密方案是一种实现数据隐私保护和关键词搜索的有效方法。目前,现有方案不仅难以实现高效验证与动态更新,同时也存在证书管理和密钥分配问题。为了解决上述问题,近期有相关学者提出了一种基于改进Merkle-Tree认证方法的可验证多关键词搜索方案,然而经过安全性分析,该方案不能满足密文的不可区分性。通过改进,提出了一种新的高效的可验证无证书可搜索加密方案。分析表明,所提方案不仅能够满足无证书环境下的密文不可区分性与签名的不可伪造性,还实现了更高的计算效率与更小的通信开销,更能适用于资源有限的终端设备。

关键词：无证书加密可搜索加密可验证性动态更新

N个Shamir门限秘密共享方案组合的通用可验证性设计

在线全文

学校读者我要写书评

暂无评论

计算机科学与应用 2019年第12期9卷 2367-2374页

作者：郭涌浩卫宏儒北京科技大学数理学院北京

秘密共享方案的可验证性是安全多方计算协议中重要的一个研究方向,该领域的研究可以作为安全计算的公平性、安全性、正确性研究基础。本文设计了一种n个Shamir门限秘密共享方案组合的通用可验证性,该方案与已有的Shamir门限秘密共享方... 详细信息

秘密共享方案的可验证性是安全多方计算协议中重要的一个研究方向,该领域的研究可以作为安全计算的公平性、安全性、正确性研究基础。本文设计了一种n个Shamir门限秘密共享方案组合的通用可验证性,该方案与已有的Shamir门限秘密共享方案不同,本文将每个参与者分享的秘密数扩展到个,即个Shamir门限的组合,而不是单单的对于一个秘密的分享,使其应用的方面更加广泛;同时,弥补了现有通用方法在输入阶段和计算阶段的验证性的不足,最后实现了每个阶段、每个步骤可验证性的连续性、传递性。

关键词：秘密分享方案可验证性安全多方计算 Shamir门限