检索结果-内蒙古大学图书馆

计算机学报 2009年第7期32卷 1337-1345页

作者：李荣花武传坤张玉清中国科学院研究生院北京100049 国家计算机网络入侵防范中心北京100049 中国科学院软件研究所信息安全国家重点实验室北京100080

研究了安全计算中关于集合的问题:A拥有一个秘密的集合SA,B拥有一个秘密的集合SB(SA和SB来自一个全集),双方希望知道SA是否包含SB,但是不希望泄漏关于集合SA和SB的其它有用信息.针对此问题,提出了3个具有不同效率和安全性的安全计算协议... 详细信息

研究了安全计算中关于集合的问题:A拥有一个秘密的集合SA,B拥有一个秘密的集合SB(SA和SB来自一个全集),双方希望知道SA是否包含SB,但是不希望泄漏关于集合SA和SB的其它有用信息.针对此问题,提出了3个具有不同效率和安全性的安全计算协议.设集合SB的大小为NB.第1个协议基于叠加密(或者支持门限解密的加法同态加密方案),需要NB轮通信.另外两个协议基于普通的加法同态加密方案,仅需一轮通信.与同类成果比,前两个协议使用了新的集合表示法,第3个协议在输出结果阶段不需要门限解密,通信效率较好.

关键词：安全计算集合包含叠加密同态加密

来源：评论

学校读者我要写书评

暂无评论

基于多方安全计算的属性泛化mix-zone

引用

通信学报 2019年第4期40卷 83-94页

作者：王斌张磊张国印哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 佳木斯大学信息电子技术学院黑龙江佳木斯154007

针对路网环境下mix-zone无法有效地实现属性进行隐藏或泛化和抵御伪装攻击的问题,基于属性泛化和同态加密,提出了一种秘态属性泛化的隐私保护方法。该方法通过同态加密,实现了秘密出价选择计算代理、秘密计算相似属性,并以相似属性完成... 详细信息

针对路网环境下mix-zone无法有效地实现属性进行隐藏或泛化和抵御伪装攻击的问题,基于属性泛化和同态加密,提出了一种秘态属性泛化的隐私保护方法。该方法通过同态加密,实现了秘密出价选择计算代理、秘密计算相似属性,并以相似属性完成属性泛化的整体处理。通过属性泛化,解决了mix-zone可被攻击者利用属性追踪的问题,同时秘密计算的属性处理不会泄露任何信息给参与者,也防止伪装攻击者获得mix-zone中各用户的隐私信息。最后,通过安全性分析和实验验证分别在理论和实践这2个方面对所提算法的优势加以分析和比较。

关键词：路网环境隐私保护属性泛化同态加密安全计算

来源：评论

学校读者我要写书评

暂无评论

UC安全计算的一种信任模型

引用

四川大学学报（工程科学版） 2012年第3期44卷 106-111页

作者：张妤胡杰解放军信息工程大学电子技术学院河南郑州450004 装甲兵工程学院北京100072

UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种... 详细信息

UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种公钥基础设施风格的双陷门分离的信任模型DBT模型,作为实验在DBT模型中实现了UC安全的承诺协议。实验结果表明DBT模型集成了现有信任模型的优点,并且支持协议的完全可模拟性。

关键词：密码协议通用可组合安全计算承诺协议信任模型

来源：评论

学校读者我要写书评

暂无评论

非加密方法安全计算集合包含关系

引用

计算机研究与发展 2017年第7期54卷 1549-1556页

作者：陈振华李顺东王道顺黄琼董立红西安科技大学计算机科学与技术学院西安710054 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093 陕西师范大学计算机科学学院西安710062 清华大学计算机科学与技术系北京100084 华南农业大学数学与信息学院广州510642

针对已存在的安全计算集合包含关系的协议大多基于多次公钥加密算法,计算复杂性较高,并且不能公开计算,应用受限的问题.提出了2种非加密安全计算集合包含关系的协议.协议1首先将集合包含问题转化为向量内积问题;然后利用数学难解问题解... 详细信息

针对已存在的安全计算集合包含关系的协议大多基于多次公钥加密算法,计算复杂性较高,并且不能公开计算,应用受限的问题.提出了2种非加密安全计算集合包含关系的协议.协议1首先将集合包含问题转化为向量内积问题;然后利用数学难解问题解决了此问题;最后针对不可信第三方存在的应用场景,利用双线性对和数学难解问题给出了可公开判断集合包含关系的实用性协议2.协议1和协议2都没有使用任何公钥加密方法,避免了前人方案中繁琐的公私钥产生和加解密过程以及多次匹配查找,因此更加高效而简洁.此外,协议2开拓了保密判断集合关系的新应用场景.

关键词：集合包含安全计算双线性对数学难题公开判断

来源：评论

学校读者我要写书评

暂无评论

防范秘密攻击的安全计算的博弈论实现

引用

南京航空航天大学学报 2012年第1期44卷 70-74页

作者：罗喜召钱陪德朱艳琴刘建伟苏州大学计算机科学与技术学院苏州215006 北京航空航天大学电子信息工程学院北京100191

在博弈论中,惩罚博弈模拟了参与者试图欺骗但又不想被抓住,即安全计算中秘密攻击者的情形。针对密码学的计算博弈模型,本文对Halpern与Rafael提出的能否在计算具有成本的惩罚博弈与具有一定威慑度的防范秘密攻击的安全计算之间建立联系... 详细信息

在博弈论中,惩罚博弈模拟了参与者试图欺骗但又不想被抓住,即安全计算中秘密攻击者的情形。针对密码学的计算博弈模型,本文对Halpern与Rafael提出的能否在计算具有成本的惩罚博弈与具有一定威慑度的防范秘密攻击的安全计算之间建立联系的问题给出肯定的回答,提出威慑度为1/2的防范秘密攻击的安全是计算博弈中错误可忽略的调解人的通用实现。

关键词：纳什均衡安全计算通用实现计算博弈

来源：评论

学校读者我要写书评

暂无评论

安全计算及其应用的研究

安全计算及其应用的研究

引用

作者：曲亚东中国科学院研究生院（计算技术研究所）

学位级别：博士

安全计算问题是密码学协议研究的基础问题之一,也与很多重要的密码学应用相关。广泛地说,大多数密码学集合中的协议和问题都可以被看作是该问题的特殊形式(例如:加密解密、身份认证、承诺、签名、零知识证明等等),因此安全多方计算可以... 详细信息

安全计算问题是密码学协议研究的基础问题之一,也与很多重要的密码学应用相关。广泛地说,大多数密码学集合中的协议和问题都可以被看作是该问题的特殊形式(例如:加密解密、身份认证、承诺、签名、零知识证明等等),因此安全多方计算可以被当作大多数密码研究的一般通用范例。此外安全计算也是分布式系统的研究基础。本文的工作选题于安全计算的应用,着重于在网络环境中,应用安全计算的一般研究方法解决合同签订问题以及多个参与者的密码学协议,以及在现有PC平台上搭建可信赖的网络环境。不经意传输协议(Oblivious Transver protocol)是基本的安全计算问题,大多数不经意传输协议都是基于因式分解的不可行性,本文设计实现了一个基于椭圆曲线离散对数问题的不经意传输协议,不像因式分解问题以及一般的离散对数问题,椭圆曲线离散对数问题并不存在亚指数时间的求解算法,因此可以使用更小的密钥得到同样的安全强度,从而改进处理时间和通信开销。同时本文也给出了该算法安全性的证明以及通信效率的比较。其次,本文研究了网络环境中的合同签订问题,由于需要保证信息交换的同时性,以前提出的协议都会给第二个发送者部分计算特权,本文设计的协议利用不经意传输协议解决这个问题。在协议执行过程中,参与者将合同的签名位以及他对签名位的承诺不经意传输给对方,对方可以利用验证子协议证明该位的有效性,但是他却不能通过位交换次数的增加获取更多的完整签名的信息;在完成签名位的交换之后,参与者分别公开承诺,并得到对方对合同的完整签名;在公开承诺时,协议参与者已经获得全部的签名内容,要么是签名位,要么是对方对该位的承诺,因此参与者并不需要担心对方提前终止协议,同时本文也利用多方安全计算的结论证明了该协议满足终止公平性。针对多个参与者的情形,本文设计实现了一个主动式可验证的秘密共享协议,并结合定义简要地证明了协议正确性,然后本文利用该协议构造了一个新型分布式文件系统,能够部分地解决现有网络文件系统存在的问题。此外本文还利用安全计算的商品服务器模型构造了一个在线升级入侵检测系统规则数据库的协议,该协议可以解决用户和服务提供者之间不信任。电子商务的安全问题一直是制约其发展的根本原因,用户在执行网络交易时,黑客可以在多个环节,窃取用户的敏感信息。本文的最后分析了现有系统存在的问题,并根据TCG组织提出的安全标准,设计实现了一个安全的电子交易环境,该平台通过密码学技术实现大型机硬件地址保护的功能,可以在一定程度上防范黑客的木马程序对电子商务应用的攻击。

关键词：安全计算不经意传输零知识证明陷门函数位承诺椭圆曲线随机算法可信赖计算 TPM

来源：评论

学校读者我要写书评

暂无评论

一种恶意模型下高效的两方安全计算协议

引用

计算机工程与科学 2013年第3期35卷 58-65页

作者：杨勇中国电子科技集团公司第五十四研究所河北石家庄050081

为了提高恶意参与者模型下两方安全计算协议的效率,文中协议使用了简单的轮换映射,这样不仅可以检测恶意参与方输入的一致性,而且避免了检测一致性时由于图的全连接性带来的复杂度,从而与经典协议相比效率提高了近50%。此外,为了使协议... 详细信息

为了提高恶意参与者模型下两方安全计算协议的效率,文中协议使用了简单的轮换映射,这样不仅可以检测恶意参与方输入的一致性,而且避免了检测一致性时由于图的全连接性带来的复杂度,从而与经典协议相比效率提高了近50%。此外,为了使协议的安全性得到更好的保证,在理想/现实对模型下,本文采用回退的方法,在OT12协议完全可模拟和知识证明等性质的基础上,用现实模型模拟理想模型的方法,给出了协议完整、严格的形式化证明和失败率分析。

关键词：算法安全计算恶意模型协议形式化证明安全性计算电路

来源：评论

学校读者我要写书评

暂无评论

通用可组合安全计算的信任模型研究

引用

计算机应用 2012年第5期32卷 1371-1374页

作者：张妤阴建强胡杰信息工程大学电子技术学院郑州450004 郑州电子信息中等专业学校电子信息系郑州450100 装甲兵工程学院院办公室北京100072

通用可组合(UC)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对国内对于UC安全计算的信任模型研究甚少的现状,研究了UC安全性的本质要求及其对UC安全计算的限制,得出了使用这些信任模型的根本原因,进而分析了国外用来刻... 详细信息

通用可组合(UC)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对国内对于UC安全计算的信任模型研究甚少的现状,研究了UC安全性的本质要求及其对UC安全计算的限制,得出了使用这些信任模型的根本原因,进而分析了国外用来刻画这些基础假定的信任模型的设计原理,比较了它们的异同和优缺点,并展望了未来的研究方向。

关键词：密码协议通用可组合安全计算基础假定信任模型

来源：评论

学校读者我要写书评

暂无评论

Java USIM卡安全计算研究

Java USIM卡安全计算研究

引用

作者：王明华北京邮电大学

学位级别：博士

近年来，移动通信迅速发展并取得了巨大的成功，目前全球已有十亿的移动用户，移动终端的数目也已经超过了因特网连接的电脑数目。移动技术除了为人们提供随处可及、全天候的语音服务外，电子支付、移动证券等增值业务也开始广泛应用。 ... 详细信息

近年来，移动通信迅速发展并取得了巨大的成功，目前全球已有十亿的移动用户，移动终端的数目也已经超过了因特网连接的电脑数目。移动技术除了为人们提供随处可及、全天候的语音服务外，电子支付、移动证券等增值业务也开始广泛应用。 Java USIM卡为移动增值业务提供了安全的计算平台，在一张Java USIM卡上可以运行多个应用程序，并使应用程序能够在发卡以后动态下载。Java语言编写的增值业务能够安全的运行在不同厂家提供的平台。本文重点研究Java USIM平台的安全计算环境，完整给出Java Card虚拟机实现过程，设计分代式Java Card垃圾收集算法，提出基于NTRU公钥密码体系的USIM卡安全个人化协议，扩展Java Card远程方法调用，最后利用Java USIM开展移动网络数字版权管理研究。本文的主要成果如下： 1．采用跨层设计的思想，设计并实现了分代式Java Card垃圾收集算法通过分析Java Card的对象管理方法、事务处理能力和Flash存储介质物理特性，首次采用跨层设计的思想，将物理设备的驱动层和虚拟机结构统一考虑，提出了分代的自适应Java Card标记-清扫-复制垃圾收集算法，算法能够高效的实现Java Card对象的垃圾收集和资源回收，同时较好的提供了Flash磨损均衡。 2．实现基于NTRU公钥密码体系的USIM卡安全个人化协议分析WCDMA系统鉴权机制，找出整个系统的安全弱点。通过为USIM卡引入基于NTRU公钥密码算法的安全个人化协议，消除了WCDMA系统中用户关键密钥被暴露的机会，加强了USIM卡的安全性，为系统网络接入安全提供了保障。 3．提出基于IBE的Java USIM卡安全远程方法调用 Java USIM卡远程方法调用扩展了Java Card远程方法调用的适用范围，为分布在移动网络中的Java USIM卡提供了直接进行方法调用的能力。通过引入IBE加密体系，消除了用户间复杂的密钥分配过程，为远程方法调用提供了安全保障，开启了移动网络分布式计算的新模型。 4．提出基于Java USIM卡的移动数字版权管理体系

关键词： Java Card USIM 安全计算垃圾收集远程方法调用数字版权管理

来源：评论

学校读者我要写书评

暂无评论

脚手架与模板支架安全计算中若干问题的探讨

引用

四川建筑科学研究 2008年第5期34卷 189-191页

作者：陈斌金志高李继刚浙江水利水电专科学校浙江杭州310018 宁波建设集团有限公司浙江宁波315021 杭州品茗科技有限公司浙江杭州310012

针对脚手架与模板支架安全计算中常见的若干问题,包括原材料、建模及计算程序、专项方案编制等方面,在分析典型事故原因的基础上,提出一些处理的思路和建议,以期对提高施工安全管理水平、减少事故的发生率有所助益。

关键词：脚手架模板支架安全计算

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：