WLAN的安全实现机制 被引量：3

1

作者 田海博 彭志威 王育民 《中兴通讯技术》 2003年第2期23-25,共3页

文章根据无线局域网面临的安全风险和安全需求,分析了无线局域网几种安全实现机制的缺陷及改进方案,指出了新的加密和数据完整性机制、新的认证协议框架以及无线网络不断融合对无线局域网安全方面的影响。

关键词 无线局域网 安全风险 安全需求 安全实现机制的发展

在线阅读 下载PDF 职称材料

基于公开区块链的隐私保护公平合同签署协议 被引量：29

2

作者 田海博 何杰杰 付利青 《密码学报》 CSCD 2017年第2期187-198,共12页

公平合同签署一直都是电子商务中一项重要的密码服务.现今的技术实践需要一个在线或离线的中心化可信第三方来解决合同签署中所出现的争端.但是中心化可信第三方具有较高的安全风险,较易出现单点故障,受到内部或者外部的攻击.作为比特... 公平合同签署一直都是电子商务中一项重要的密码服务.现今的技术实践需要一个在线或离线的中心化可信第三方来解决合同签署中所出现的争端.但是中心化可信第三方具有较高的安全风险,较易出现单点故障,受到内部或者外部的攻击.作为比特币和许多其他数字货币的一项基础技术,区块链为我们提供了一个无中心的可信第三方,可以避免中心化可信第三方的问题,实现全球可信这样一个理想的目标.然而,基于区块链设计安全协议需要考虑区块链的公开验证和隐私保护之间的矛盾.基于区块链的安全协议一般是通过交易来完成协议的安全目标.而交易是公开的,区块链中每一个节点都可以读取交易数据,验证交易数据是否正确.如果交易数据中涉及隐私的内容,矛盾就产生了.特别的,对于公平合同签署协议,合同的签署人、内容、数字签名等都可能涉及敏感信息,往往是不希望公开的.那么在区块链上设计保护隐私的公平合同签署协议就是困难的.本文基于传统的可验证加密签名和盲签名思想,构造了盲的可验证加密签名体制,可以在公平合同签署这个应用场景中解决隐私保护的问题.我们基于该体制构造了公平且秘密的合同签署协议,可以让合同签署人通过区块链完成公平的合同签署,并且保护与合同相关的隐私内容. 展开更多

关键词 区块链 公平合同签署 隐私保护 可验证加密签名

在线阅读 下载PDF 职称材料

一种用户隐私保护数字货币的可监管方案 被引量：4

3

作者 田海博 林会智 +1 位作者 罗裴然 苏吟雪 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2020年第5期40-47,共8页

目前一些数字货币较好地保护了用户的隐私,但缺少了可监管性,阻碍了这些数字货币的进一步推广。以门罗币为例,针对其底层技术CryptoNote提出基于群签名和知识证明的改进方案,可以实现对门罗币的监管,群管理员可以追溯疑似交易,确定交易... 目前一些数字货币较好地保护了用户的隐私,但缺少了可监管性,阻碍了这些数字货币的进一步推广。以门罗币为例,针对其底层技术CryptoNote提出基于群签名和知识证明的改进方案,可以实现对门罗币的监管,群管理员可以追溯疑似交易,确定交易发送方的真实身份,跟踪交易发送方已完成的交易,并在需要时撤消交易发送方的私钥,实现资金冻结。 展开更多

关键词 数字货币 群签名 可监管性 隐私保护

在线阅读 下载PDF 职称材料

综述:基于密码技术的人工智能隐私保护计算模型 被引量：1

4

作者 田海博 梁岫琪 《电子学报》 EI CAS CSCD 北大核心 2023年第8期2260-2276,共17页

人工智能隐私保护的应用场景多种多样.在不同的场景中,完成隐私保护计算的实体可信程度和数量不尽相同.这些实体的可信程度和数量对隐私保护计算方法能否实际应用具有重要影响.本文从实体的可信程度和数量出发,将基于密码技术的人工智... 人工智能隐私保护的应用场景多种多样.在不同的场景中,完成隐私保护计算的实体可信程度和数量不尽相同.这些实体的可信程度和数量对隐私保护计算方法能否实际应用具有重要影响.本文从实体的可信程度和数量出发,将基于密码技术的人工智能隐私保护计算方法归类为4种计算模型,分别是多中心模型、双中心模型、单中心模型和现实模型.除现实模型外,其它计算模型都存在可信实体.对每一种计算模型,本文给出当前基于密码学工具给出的人工智能隐私保护方法涉及的典型计算和采取的典型算法,并指出提升算法的效率和安全性是对每种计算模型都适用的研究方向. 展开更多

关键词 人工智能 隐私保护 计算模型 算法 协议 密码技术

在线阅读 下载PDF 职称材料

区块链概念剖析及其在物联网中的部分应用 被引量：2

5

作者 田海博 《中兴通讯技术》 2018年第6期19-22,共4页

把去中心化、不可篡改和激励机制定义为区块链技术的典型特点,而把可追踪、匿名和可编程定义为区块链技术的功能特性,同时分析了每一个特点和特性的底层支撑技术,以更好地判断区块链项目的真伪及可实现性。在该定义的基础上,分析了物联... 把去中心化、不可篡改和激励机制定义为区块链技术的典型特点,而把可追踪、匿名和可编程定义为区块链技术的功能特性,同时分析了每一个特点和特性的底层支撑技术,以更好地判断区块链项目的真伪及可实现性。在该定义的基础上,分析了物联网(IoT)场景下几个典型的区块链项目,并对其中的一些主要问题和主要方法进行了详细阐述,认为IoT的数据体量和数据安全问题依旧是需要重点考虑的问题。 展开更多

关键词 区块链 支撑技术 IoT应用

在线阅读 下载PDF 职称材料

形式化攻击者能力描述的计算可靠性研究

6

作者 田海博 丁勇 王育民 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第5期800-803,823,共5页

研究在安全协议仅使用数据完整性算法时,形式化分析方法中形式化攻击者能力描述的计算可靠性.首先假设计算性攻击者的能力超过形式化攻击者的能力,然后构造攻击实验,进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全... 研究在安全协议仅使用数据完整性算法时,形式化分析方法中形式化攻击者能力描述的计算可靠性.首先假设计算性攻击者的能力超过形式化攻击者的能力,然后构造攻击实验,进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾,因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论.基于该结论,可以构建或者改进形式化分析系统,使其具有计算可靠性. 展开更多

关键词 安全协议 形式化攻击者 计算性攻击者

在线阅读 下载PDF 职称材料

一种改进的基于辫群的签名体制 被引量：8

7

作者 丁勇 田海博 王育民 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第1期50-52,61,共4页

提出改进共轭签名体制.基于简单共轭签名体制和共轭签名体制,利用辫群左子群和右子群元素的可交换性,结合随机化因子b,得到了新的共轭签名体制.分析表明该体制不但解决了k-CSP问题,并且与共轭签名体制相比节省了运算次数和通信带宽.

关键词 辫群 签名 k—CSP问题

在线阅读 下载PDF 职称材料

基于DLE协议的可认证群密钥协商协议——EAGKA 被引量：2

8

作者 丁勇 田海博 王育民 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2004年第6期915-918,共4页

分析了基于二叉树的可认证群密钥协商协议AGKA,指出了由于该协议中群体成员在协商过程中协商地位不平等而存在的安全缺陷,即一个地位高的成员可能通过使用不同的共享密钥欺骗同一个群中地位低的成员.因此提出了一个基于DLE协议认证的高... 分析了基于二叉树的可认证群密钥协商协议AGKA,指出了由于该协议中群体成员在协商过程中协商地位不平等而存在的安全缺陷,即一个地位高的成员可能通过使用不同的共享密钥欺骗同一个群中地位低的成员.因此提出了一个基于DLE协议认证的高安全性密钥协商协议———EAGKA协议,使成员间协商地位安全平等,可以很好克服AGKA协议中存在的问题.EAGKA协议适用于安全度较高的群密钥协商场合. 展开更多

关键词 群密钥协商 DLE协议 AGKA EAGKA协议

在线阅读 下载PDF 职称材料

基于无密钥泄露变色龙签名的数码防伪方案

9

作者 刘东苏 苗美霞 +2 位作者 马华 林锐斌 田海博 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2012年第5期24-29,共6页

针对现有数码防伪方案中商品查询率低、产品真伪难以鉴别、假品责任难以追究等安全缺陷和问题,提出了一个新的数码防伪方案.该方案能有效提高系统查询率,提高数据完整性保护强度,抵抗枚举查询攻击,容易辨别产品真伪且能明确假品责任人群... 针对现有数码防伪方案中商品查询率低、产品真伪难以鉴别、假品责任难以追究等安全缺陷和问题,提出了一个新的数码防伪方案.该方案能有效提高系统查询率,提高数据完整性保护强度,抵抗枚举查询攻击,容易辨别产品真伪且能明确假品责任人群,因此更适合用于电子商务平台下数字化产品的安全防伪。 展开更多

关键词 密码学 数字签名 数码防伪 电子商务

在线阅读 下载PDF 职称材料

TKIP协议简介及其安全分析

10

作者 朱晓妍 田海博 《电子科技》 2004年第1期22-24,28,共4页

详细介绍了TKIP协议的安全内幕,明确指出了TKIP协议针对WEP(有线对等保密协议)的弱点的各个加强点,从而明确了如下结论:TKIP确实达到了在现存资源上可能达到的最大安全性。

关键词 TKIP协议 安全分析 有线对等保密协议 TKIP构件 无线局域网

在线阅读 下载PDF 职称材料

利用门罗币实现隐蔽通信 被引量：5

11

作者 蓝怡琴 张方国 田海博 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2020年第5期19-27,共9页

流量分析技术的不断发展,使以往基于TCP/IP架构的隐蔽通信方式面临许多威胁。阈下信道是以数字签名、认证等密码体制作为载体的一种能够实现隐蔽通信的信道,在数字签名过程中,通信双方能够传输秘密信息,除通信双方以外的任何人不知道秘... 流量分析技术的不断发展,使以往基于TCP/IP架构的隐蔽通信方式面临许多威胁。阈下信道是以数字签名、认证等密码体制作为载体的一种能够实现隐蔽通信的信道,在数字签名过程中,通信双方能够传输秘密信息,除通信双方以外的任何人不知道秘密信息的存在。区块链作为新一代技术,采用分布式结构,其公开性、数据不可篡改和安全性使之有效成为构造阈下信道的载体。论述了采用区块链技术的门罗币这种新型数字货币,并在门罗币中构建了两种阈下信道:第一种是基于签名者和验证者之间共享密钥的阈下信道;第二种则是不共享密钥的阈下信道。通过这两种阈下信道可实现隐蔽通信。 展开更多

关键词 门罗币 区块链 隐蔽通信 阈下信道

在线阅读 下载PDF 职称材料

基于ECDLP的工作量证明方案设计 被引量：2

12

作者 刘志杰 张方国 田海博 《密码学报》 CSCD 2020年第4期511-521,共11页

椭圆曲线离散对数问题(EDCLP)的求解是现代密码学体系中一个重要的研究方向.目前,求解ECDLP最有效的算法是Pollard rho算法.区块链技术作为一门新兴技术,受到各行各业的广泛关注.本文引入ECDLP作为工作量证明的困难问题计算,使得工作量... 椭圆曲线离散对数问题(EDCLP)的求解是现代密码学体系中一个重要的研究方向.目前,求解ECDLP最有效的算法是Pollard rho算法.区块链技术作为一门新兴技术,受到各行各业的广泛关注.本文引入ECDLP作为工作量证明的困难问题计算,使得工作量证明在区块链的能源消耗变得有意义,同时借助区块链的激励机制,让更多的人参与到ECDLP求解计算中去,进而促进在密码学中对困难问题求解的研究.特别地,本文通过Pollard rho算法提出了一个新的思路,有效解决了一个区块中从初始点到满足挑战难度的可区分点的有效验证问题. 展开更多

关键词 ECDLP Pollard rho算法 区块链 工作量证明

在线阅读 下载PDF 职称材料

ECC2-131的并行Pollardrho算法实现分析 被引量：1

13

作者 关沛冬 罗玉琴 +1 位作者 张方国 田海博 《密码学报》 CSCD 2022年第2期322-340,共19页

Pollard rho算法与其分布式版本算法是目前求解有限域上椭圆曲线群的离散对数问题被公认的最优算法.自该算法提出以来,许多密码学家提出了多种分布式Pollard rho算法的改进算法.本文对基于不同迭代函数的三种的分布式Pollard rho算法的... Pollard rho算法与其分布式版本算法是目前求解有限域上椭圆曲线群的离散对数问题被公认的最优算法.自该算法提出以来,许多密码学家提出了多种分布式Pollard rho算法的改进算法.本文对基于不同迭代函数的三种的分布式Pollard rho算法的效率进行分析,并针对ECC2-131在通用CPU上对算法进行软件程序的实现.本文发现基于r-加游走的算法在理论分析和程序实现上都有着最优的效率,说明基于r-加游走的分布式Pollard rho算法在求解ECDLP上仍占有很大优势.本文给出在计算机工作站和天河二号超级计算机上测量得出的Pollard rho算法的效率,发现在当前求解离散对数问题的算法和计算机的计算能力上求解ECC2-131仍然是困难的,在时间和金钱上的开销不符合实际.本文还找出有限域F2131上运算性能最优的不可约多项式.通过域的同构诱导出椭圆曲线的同构,ECDLP能在同构后得到的椭圆曲线上进行求解.若算法的软件实现使用同构后得到的椭圆曲线,则有限域模运算有11:29%的效率提升,乘法运算有11:23%的效率提升.通过有限域运算效率的提升可以进一步提高求解ECDLP的效率. 展开更多

关键词 Pollardrho算法 椭圆曲线 离散对数

在线阅读 下载PDF 职称材料

一种可证安全的权益有向无环图共识机制 被引量：3

14

作者 罗玉琴 关沛冬 田海博 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2023年第2期125-137,共13页

给出了一个可证明安全性的共识机制。该机制主要由委员会协议和交易确认算法构成。委员会协议用于从共识节点中选出主动性强且权益较大的节点组成动态迭代的委员会,以并行处理区块链中用户产生的常规净交易。交易确认算法基于委员会成... 给出了一个可证明安全性的共识机制。该机制主要由委员会协议和交易确认算法构成。委员会协议用于从共识节点中选出主动性强且权益较大的节点组成动态迭代的委员会,以并行处理区块链中用户产生的常规净交易。交易确认算法基于委员会成员所发出的链交易形成的有向无环图,通过有向无环图的直接和间接引用计算常规净交易被委员会成员确认的次数,当某个常规净交易被不少于委员会成员数量的2/3确认后,该常规净交易就被写入链中。在一些公认的假设下,证明了共识机制具有一致性和可结束性。进一步,初步搭建了基于该共识的区块链系统,测试了系统的性能,测试结果与理论估计相符。在部署16个委员会成员,交易批量为106时,测试系统的交易吞吐量约17000个交易每秒;对比目前较为高效的Honey Badger BFT共识协议,在相同配置下,该协议的交易吞吐量约2600个交易每秒,相差约6倍。 展开更多

关键词 有向无环图 权益 共识

在线阅读 下载PDF 职称材料

基于区块链的公平合同签署协议 被引量：1

15

作者 刘鲁 何杰杰 田海博 《信息安全学报》 CSCD 2018年第3期1-7,共7页

一个公平的合同签署协议需要使签名者在协议结束的时候能够同时获取有效的合同、或者无法获取任何有用的信息。大部分的合同签署协议需要一个可信赖的第三方来确保公平性。区块链技术给我们提供了全球账本和计时器。这个计时器在一个新... 一个公平的合同签署协议需要使签名者在协议结束的时候能够同时获取有效的合同、或者无法获取任何有用的信息。大部分的合同签署协议需要一个可信赖的第三方来确保公平性。区块链技术给我们提供了全球账本和计时器。这个计时器在一个新区块出现的时候更新,每一个区块都可以通过块头中的哈希值标识。如果我们假定这个哈希值是均匀分布的,就可以使用Rabin签名信标来实现一个公平合同签署协议。这些协议不需要改变底层区块链技术的任何操作,并且不需要提交任何矿工费就可以完成合同签署。 展开更多

关键词 区块链 公平性 Rabin签名

在线阅读 下载PDF 职称材料

满足便携文档格式的公平多方合同签署协议

16

作者 张永强 刘佳南 田海博 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2018年第1期117-122,共6页

当前,便携文档格式中的多个数字签名与公平多方合同签署协议所交换的多个数字签名存在签署内容不一致的问题.文中尝试解决这一实际问题,构造以便携文档格式文件为载体的公平多方合同签署协议.采用了分布式的哈希计算方法,使得多个参与... 当前,便携文档格式中的多个数字签名与公平多方合同签署协议所交换的多个数字签名存在签署内容不一致的问题.文中尝试解决这一实际问题,构造以便携文档格式文件为载体的公平多方合同签署协议.采用了分布式的哈希计算方法,使得多个参与方可以在隐藏各自秘密的情况下,完成对一个共同消息的哈希;并采用传统的可验证加密签名技术,保障公平性,减少交互次数.最终获得了每次合同签署只需要与可信第三方交互一次的公平多方合同签署协议,并给出了该协议实际的性能参数.根据文中的结果,可以在实际应用中以便携文档格式文件为载体,多个参与方公平地签署一份文档,并通过普通的便携文档格式阅读器完成验证. 展开更多

关键词 多方合同签署协议 便携文档格式 实际应用 公平性 数字签名

在线阅读 下载PDF 职称材料