一个基于OT协议的电子选举方案 被引量：3

1

作者 郭栋梁 秦静 李鹏程 《计算机应用》 CSCD 北大核心 2008年第5期1335-1337,共3页

将OT协议应用于电子选举中,提出一个新的电子选举方案。该方案能较好地解决电子选举对多选性的要求,同时满足安全电子选举方案的基本特性,且效率较高,可适用于较大规模的选举,进一步改进和完善了现有的电子选举方案。

关键词 ot协议 电子选举方案 多选性

下载PDF 职称材料

适用于智能环境的高效安全云辅助模式匹配协议 被引量：2

2

作者 魏晓超 徐琳 +1 位作者 郑志华 王皓 《计算机研究与发展》 EI CSCD 北大核心 2019年第11期2365-2374,共10页

以机器学习、人工智能、物联网等技术所构建的智能环境正在改变人们的生活、工作及思维方式.智能环境下数据存储和处理的方式也在不断改变,其中安全和效率是2个重要的因素.就安全而言,在数据共享的前提下保护隐私势在必行.就效率而言,... 以机器学习、人工智能、物联网等技术所构建的智能环境正在改变人们的生活、工作及思维方式.智能环境下数据存储和处理的方式也在不断改变,其中安全和效率是2个重要的因素.就安全而言,在数据共享的前提下保护隐私势在必行.就效率而言,智能环境中存在诸多资源受限的设备,针对这些设备如何设计高效的算法或协议直接决定其可行性.从以上2个需求出发,研究适用于智能环境中的安全高效模式匹配问题.传统的安全模式匹配协议中模式持有方需要执行大量的公钥操作,因此不适用于手机等资源受限设备作为模式持有方的场景.首次在双云服务器辅助的安全两方计算模型下给出安全模式匹配协议的功能函数,并基于茫然传输(oblivious transfer,OT)给出协议的具体构造.假设云服务器和参与方之间不合谋,协议在半诚实敌手模型下是安全的.协议需要4轮交互,模式方仅需要执行少量的异或操作,而复杂的OT协议主要集中在数据库方和云服务器之间.此外,使用OT扩展(OT extension)技术可以将所有OT协议的数量从O(nm)降至O(k),其中n和m是数据库方和模式方的输入长度,k是OT扩展协议中基础OT的数目,其远小于nm. 展开更多

关键词 智能环境 模式匹配 云辅助安全两方计算 ot协议 ot扩展

下载PDF 职称材料

对OT协议的分析与改进 被引量：2

3

作者 秦静 李宝 +1 位作者 崔少军 李丽 《北京邮电大学学报》 EI CAS CSCD 北大核心 2005年第z1期31-35,共5页

通过对Rabin的OT协议、非交互的OT21协议、OTn1协议及OTnk协议4类主要OT协议(oblivious transfer protoco1)的分析,指出了这些协议存在的不足,并分别对OTn1协议与OTnk协议作了一些改进,提高了这类协议的效率和安全性.

关键词 密码协议 ot协议 单向函数

下载PDF 职称材料

哈希证明系统及应用研究

4

作者 赵秀凤 《计算机科学》 CSCD 北大核心 2012年第B06期18-23,共6页

哈希证明系统在2002年欧密会上由Cramer和Shoup首次提出。哈希证明系统的概念自提出以来得到广泛研究,目前已有多个修改版本。"投影性"和"平滑性"是哈希证明系统的两个重要特性,正是由于这两个特性使得哈希证明系... 哈希证明系统在2002年欧密会上由Cramer和Shoup首次提出。哈希证明系统的概念自提出以来得到广泛研究,目前已有多个修改版本。"投影性"和"平滑性"是哈希证明系统的两个重要特性,正是由于这两个特性使得哈希证明系统除了用于设计CCA安全的公钥加密体制之外,还广泛应用于各种安全协议设计,比如:基于口令认证的密钥交换协议、不经意传输协议、可否认的认证协议、零知识证明协议和承诺协议等。介绍了哈希证明系统及其变形的各种定义,分析了定义之间的派生关系和安全级别关系,并讨论了哈希证明系统在密码学中的应用。 展开更多

关键词 哈希证明系统 子集成员问题 CCA安全 密钥交换 ot协议 可否认认证 零知识证明 承诺协议

下载PDF 职称材料

网上信息比对的隐私保护 被引量：1

5

作者 游永兴 《网络安全技术与应用》 2018年第1期85-85,92,共2页

网上信息的隐私保护是网络社会面临的重大威胁,安全计算融合了密码学和分布式计算技术,可以有效的解决参与方输入信息的不必要泄露,利用HASH函数和门电路协同计算可以解决三种情形下信息比对的隐私保护问题。

关键词 安全计算 隐私保护 HASH函数 ot协议

原文传递

网上拍卖的隐私保护技术研究

6

作者 游永兴 《信息网络安全》 2011年第10期73-74,共2页

文章利用门的安全计算和代理OT协议构造出基于第三方的门的安全计算,构造了可用于密封式拍卖方法的函数,并设计了一个可保护隐私信息的网上拍卖方案。

关键词 ot协议 安全计算 网上拍卖

下载PDF 职称材料

网上信息比对的隐私保护

7

作者 游永兴 《网络安全技术与应用》 2016年第12期138-138,140,共2页

网上信息的隐私保护是网络社会面临的威胁,安全计算融合了密码学和分布式计算技术,可以有效的解决参与方的输入信息的不必要泄露,利用HASH函数和门电路协同计算可以解决三种情形下信息比对的隐私保护。

关键词 安全计算 隐私保护 HASH函数 ot协议

原文传递

基于盲GDH签名的无记忆模糊关键词搜索

8

作者 韩斐 秦静 《计算机科学与应用》 2013年第2期127-133,共7页

在云计算中,用户在计算过程中的数据安全问题已经成为制约云计算发展的一个瓶颈。本文针对云计算中的加密搜索问题,提出一个有效的加密搜索方案。在搜索过程中,为保证用户的数据安全,用户需要隐藏搜索的关键词以及搜索返回的结果。Wakah... 在云计算中,用户在计算过程中的数据安全问题已经成为制约云计算发展的一个瓶颈。本文针对云计算中的加密搜索问题,提出一个有效的加密搜索方案。在搜索过程中,为保证用户的数据安全,用户需要隐藏搜索的关键词以及搜索返回的结果。Wakaha Ogata和Kaoru Kurosawa在2004年提出了一个基于盲RSA签名的无记忆关键词搜索(OKS)方案,提供了安全的加密搜索,然而该方案中每个数据文件只能关联一个关键词。本文改进了原方案,我们的方案基于盲GDH签名,同时使无记忆关键词搜索方案可以在一个数据文件中同时关联多个关键词供用户搜索。此外,用户在搜索的过程中,可能因为关键词不能完全匹配而导致搜索失败,针对这一问题我们将该方案扩展为无记忆模糊关键词搜索(OFKS)方案,使得用户能够对模糊关键词进行正确且安全的搜索操作.相比较原来的方案,我们的方案提供了更有效的搜索方式及对模糊关键词搜索的支持。 展开更多

关键词 盲GDH签名 ot协议 无记忆关键词搜索 模糊关键词 无记忆模糊关键词搜索

下载PDF 职称材料

一个高效安全三方带通配符模式匹配协议 被引量：1

9

作者 魏晓超 郑志华 王皓 《计算机研究与发展》 EI CSCD 北大核心 2018年第10期2125-2133,共9页

安全多方计算(secure multiparty computation,SMPC)是实现分布式计算安全的重要技术,其主要考虑在多个相互独立的实体之间协同完成某项任务的计算,同时要实现输入信息的隐私保护.模式匹配在信息检索、生物工程、人脸识别等领域有着广... 安全多方计算(secure multiparty computation,SMPC)是实现分布式计算安全的重要技术,其主要考虑在多个相互独立的实体之间协同完成某项任务的计算,同时要实现输入信息的隐私保护.模式匹配在信息检索、生物工程、人脸识别等领域有着广泛应用,在实现匹配功能的同时保证查询模式及结果的隐私是当下研究的重点.带通配符模式匹配是模式匹配的一种类型,其允许查询模式中可以存在某些通配符信息,因此能够实现某一类信息的批量查询.传统的安全带通配符模式匹配协议中主要涉及数据库方和查询方2个实体,鉴于当下数据共享技术的发展,这种模型难以刻画更多的应用场景.以实际应用出发,首次在三方场景下研究安全带通配符模式匹配协议的构造.首先考虑一个具体的安全三方带通配符模式匹配功能函数,并给出其形式化描述和功能性分析;然后,基于秘密分享(secret sharing)和外包茫然传输协议(outsourced oblivious transfer,OOT)在半诚实敌手模型下给出协议构造,并通过茫然传输扩展(oblivious transfer extension)技术提高协议效率,协议仅需要3轮交互,且计算和通信复杂度为O(k)和O(nm),其中n和m是2个数据提供方的输入长度,k是实现OT扩展协议的基数,其值远小于nm. 展开更多

关键词 安全多方计算 带通配符模式匹配 外包ot协议 秘密分享 ot扩展

下载PDF 职称材料

保护私有信息的一般线性方程组计算协议 被引量：2

10

作者 王莉 王卿文 《应用数学与计算数学学报》 2014年第3期300-307,共8页

作为科学计算的一个重要问题,保护私有信息的线性方程组的求解在金融、机械及通信等领域有着广泛的应用.在不经意传输的意义下,利用有限域上计算Moore-Penrose伪逆矩阵的概率算法,设计新的安全协议,解决了隐私保护的一般线性方程组在有... 作为科学计算的一个重要问题,保护私有信息的线性方程组的求解在金融、机械及通信等领域有着广泛的应用.在不经意传输的意义下,利用有限域上计算Moore-Penrose伪逆矩阵的概率算法,设计新的安全协议,解决了隐私保护的一般线性方程组在有限域上的安全两方计算问题,并利用模拟范例证明该协议在半诚实模型下是安全的. 展开更多

关键词 安全多方计算 不经意传输ot1N协议 一般线性方程组 Moore-Penrose伪逆矩阵

下载PDF 职称材料

非线性方程和方程组求解的安全两方计算协议 被引量：1

11

作者 贾恒越 刘焕平 《计算机科学与探索》 CSCD 2009年第1期98-104,共7页

以实系数一元二次方程为研究对象,给出针对非线性方程的安全计算协议。在半诚实模型下,协议能够完成求解的计算任务,并且协议的正确性和保密性也得到了论述。在求解一元二次方程安全两方协议的基础上,对两种类型的二次方程组进行了研究... 以实系数一元二次方程为研究对象,给出针对非线性方程的安全计算协议。在半诚实模型下,协议能够完成求解的计算任务,并且协议的正确性和保密性也得到了论述。在求解一元二次方程安全两方协议的基础上,对两种类型的二次方程组进行了研究,进一步给出相应情形下的安全两方计算协议。 展开更多

关键词 安全两方计算协议 一元二次方程 不经意传输ot1p协议

下载PDF 职称材料