点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 可证明安全性
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
一个基于椭圆曲线的可证明安全签密方案
签密能够在一个合理的逻辑步骤内同时完成数字签名和加密两项功能。与实现信息保密性和认证性 的先签名后加密方案相比,签密具有较低的计算和通信代价。提出一个基于椭圆曲线的签密方案, 能够同时完 成数字签名和加密两项功能。基于可证明安全性理论, 在 GDH ( gap D iffie H ell m a n )问题难解的假设之下, 该方 案在随机预言机模型中被证明是安全的。该方案能够抵御自适应选择明文 /密文攻击。
所属分类:
网络安全
发布日期:2011-09-06
文件大小:156672
提供者:
l343691316
密码学中的可证明安全性-杨波-2014.11.11
密码学中的可证明安全性-杨波-2014.11.11
所属分类:
讲义
发布日期:2017-03-14
文件大小:1048576
提供者:
g_barble
第九章--可证明安全性理论.ppt
学习可证明安全的入门资料,非常值得读一遍,经典PPT
所属分类:
其它
发布日期:2019-06-25
文件大小:463872
提供者:
qq_35009967
一种安全的双实体单向可认证密钥协商方案
为增加密钥协商协议的安全性,提高会话密钥协商的效率,提出一种双实体单向可认证的密钥协商方案。在该方案中,协议发送方首先向接收方发送一个无证书数字签名,签名中包含发送方公钥、标识号、时间戳等能鉴别身份的信息;然后,接收方验证数字签名的有效性,并利用Diffie-Hellman密钥交换协议与发送方建立会话密钥。该方案不仅在随机预言模型下可证明是安全的,而且也同时满足会话密钥安全性、前向安全性、会话密钥的不可控性和抗密钥泄露伪造攻击等安全属性。
所属分类:
其它
发布日期:2020-05-15
文件大小:219136
提供者:
weixin_38551046
无需双线性图的强大可证明的安全IBE方案
基于身份的加密(IBE)允许一方使用任意身份字符串作为加密密钥将加密的消息发送给另一方。 由于IBE不需要事先生成和分发密钥,因此它极大地简化了公共密钥密码学中的密钥管理。 根据Menezes-Okamoto-Vanstone(MOV)约简理论,基于双线性图的IBE方案由于需要较大的安全参数而失去了椭圆曲线的高效率。 因此,重要的是建立一个没有双线性图的可证明安全的IBE方案。 为此,本文提出了一种改进的IBE方案,该方案不同于以前的方案,因为该新方案不使用对称加密算法。 此外,可以证明它在标准
所属分类:
其它
发布日期:2021-03-26
文件大小:192512
提供者:
weixin_38637998
可证明安全的非迭代哈希函数,可抵抗生日攻击
为了有效,经济地检查IP地址的完整性和真实性,本文提出了一种新的非迭代哈希函数,称为JUNA,该函数基于多元置换问题和异常子集乘积问题,至今尚未找到次指数时间解。 。 JUNA包含初始化算法和压缩算法,并将仅被视为一个块的nbit短消息转换为80≤m≤232和80≤m≤n≤4096的比特摘要。 分析和证明表明,新哈希是单向,弱碰撞,强碰撞的,其对诸如生日攻击和中间相遇攻击等现有攻击的安全性为to(2m)。 此外,给出了新哈希函数可以抵抗生日攻击的详细证据。 与基于离散对数问题的Chaum–Hei
所属分类:
其它
发布日期:2021-03-26
文件大小:464896
提供者:
weixin_38641764
分层无证书加密中的签名:有效的构造和可证明的安全性
分层无证书加密中的签名:有效的构造和可证明的安全性
所属分类:
其它
发布日期:2021-03-19
文件大小:485376
提供者:
weixin_38591011
具有数据动态性的有效可证明的多副本数据拥有方案
用户可以使用可证明的多副本数据拥有方案(PMDP)来确定其在云存储中的副本是否安全保存。 不幸的是,所有现有的PMDP都不安全有效。 为了解决此问题,我们提出了一种具有数据动态性(EPMDP)的有效可证明的多副本数据拥有方案。 我们设计了一种经过身份验证的2-3棵树,其中的树以有序叶子(A2-3AOL)排列,并使用A2-3AOL和一种RSA标签构建EPMDP。 安全性和性能分析结果表明,EPMDP具有较强的安全性和良好的性能。
所属分类:
其它
发布日期:2021-03-14
文件大小:240640
提供者:
weixin_38718434
基于隐私保护的分散密钥策略属性加密方案的安全性分析
在分散的基于属性的加密(ABE)系统中,任何一方都可以通过创建公钥并将私钥颁发给反映其属性的不同用户而无需任何协作来充当授权机构。 这样的ABE方案可以消除在多权限ABE方案的建立阶段中繁重的通信和协作计算的负担,因此被认为是更可取的。 最近在Han等人的《 IEEE Transactions并行分布式系统》中。 [3]提出了一种有趣的隐私保护分散式密钥策略ABE方案,该方案声称可以为用户提供更好的隐私,并且在标准模型中可证明是安全的。 但是,在仔细研究该方案之后,我们得出的结论是,他们的方案无
所属分类:
其它
发布日期:2021-03-10
文件大小:215040
提供者:
weixin_38609401
可证明安全的可变门限代理重签名方案
已有的大部分门限代理重签名方案的门限值是固定的,而可变门限代理重签名方案更符合实际应用的需求,即根据消息的重要性可灵活地选择不同的门限值进行门限重签名。在Ateniese G等人提出的代理重签名方案Sbi的基础上,利用中国剩余定理提出了一个具有短公开参数和签名长度的可变门限代理重签名方案,并给出了该方案的安全性证明。根据可变的门限值,每个代理者都能非交互地生成相应的重签名子密钥和验证公钥。与现有方案相比,新方案占用通信带宽低、计算效率高。
所属分类:
其它
发布日期:2021-03-09
文件大小:250880
提供者:
weixin_38716081
基于鲁棒ECC的可证明安全认证协议,具有保护工业物联网的隐私
无线传感器网络(WSN)在工业物联网(IIoT)中发挥着重要作用,并已广泛用于许多工业领域以收集监视区域的数据。 然而,由于无线信道的开放性和传感器节点的资源受限特性,如何确保敏感传感器数据只能由有效用户访问成为IIoT环境中的关键挑战。 已经提出了一些用于WSN的用户身份验证协议来解决此问题。 但是,先前的作品或多或少都有其自身的弱点,例如不提供用户匿名性和其他理想功能,或者容易受到某些攻击。 为了提供用于IIoT的安全通信,已经提出了具有针对IIoT的隐私保护的用户认证协议方案。 该方案的安
所属分类:
其它
发布日期:2021-03-09
文件大小:713728
提供者:
weixin_38626473
公共云中的代理可证明数据拥有
最近,由于云计算可以提供灵活, 适用于学术和商业环境的动态和弹性基础架构。 在公共云环境中,客户端将其数据移动到公共云服务器(PCS),并且无法控制其远程数据。 因此,信息安全性是公共云存储中的重要问题,例如数据机密性,完整性和可用性。 在某些情况下,客户端无法检查其远程数据的拥有权,例如,客户端因犯罪而入狱,在远洋船只上,由于战争而在战场上等等。 它必须将远程数据拥有检查任务委托给某些代理。 在本文中,我们研究了代理可证明数据拥有(PPDP)。 在公共云中,当客户端无法执行远程数据拥有检查时,
所属分类:
其它
发布日期:2021-03-03
文件大小:493568
提供者:
weixin_38607088
使用具有可证明的语义安全性的位对的公钥加密方案
使用具有可证明的语义安全性的位对的公钥加密方案
所属分类:
其它
发布日期:2021-03-03
文件大小:355328
提供者:
weixin_38665814
一种轻量级隐私保护的RFID群组证明协议
设计高效安全的群组证明协议有利于RFID(Radio Frequency Identification)系统的广泛应用.本文提出了一种轻量级隐私保护的RFID群组证明协议LPGP(Lightweight Privacy-Preserving Grouping Proof),LPGP协议只使用计算复杂度比较小的伪随机发生器和散列运算来提高协议的运行效率,并且LPGP协议具有认证性、隐私性和可证明安全性,满足了RFID系统群组证明协议的安全性要求.与现有的群组证明协议相比,LPGP协议的标签只需较小
所属分类:
其它
发布日期:2021-03-03
文件大小:525312
提供者:
weixin_38588520
安全的云存储命中分布式字符串均等性检查:更高效,概念上更简单且可证明的安全性
安全的云存储命中分布式字符串均等性检查:更高效,概念上更简单且可证明的安全性
所属分类:
其它
发布日期:2021-02-25
文件大小:356352
提供者:
weixin_38679277
关于无需配对的可证明安全的基于环的证书的安全性
关于无需配对的可证明安全的基于环的证书的安全性
所属分类:
其它
发布日期:2021-02-25
文件大小:168960
提供者:
weixin_38738189
敬告:SKALED是SKALE以太坊兼容的高性能C ++权益证明客户端,工具和库。 使用SKALE共识作为区块链共识核心。 将文件存储和检索实现为EVM扩展-源码
SKALED – SKALE C ++客户端 Skaled是SKALE权益证明区块链客户端,与ETH ecocystem兼容,包括EVM,Solidity,Metamask和Truffle。 它使用。 它目前由SKALE Labs积极开发和维护,旨在用于SKALE链(弹性侧链)。 无用 Skaled是无分支的,这意味着区块链是线性链(而不是像ETH 1.0那样的分支树)。 证明每个块都在有限时间内完成。 异步块生产 Skaled是异步的,这意味着下一个块的共识在上一个块完成后立即开始。 没有设
所属分类:
其它
发布日期:2021-02-09
文件大小:2097152
提供者:
weixin_42130862
可证明安全的RFID通信安全协议
通过对RFID系统特殊安全问题的系统研究,从可证明安全论证的角度出发,本文提出了一种可证明安全的RFID通信安全协议——rPAP。在随机预言模型下,使用形式化描述方式,系统地建立了RFID通信安全模型,并在该模型下,形式化地论证了rPAP协议的安全性。该协议适用于一般的RFID系统。
所属分类:
其它
发布日期:2021-01-21
文件大小:744448
提供者:
weixin_38689477
可证明安全的社交网络隐私保护方案
针对社交网络隐私保护方案的安全性证明问题,提出了一种可证明安全的社交网络隐私保护方案。首先,通过分析社交网络中节点隐私的安全需求(不可区分的节点结构和不可区分的发送消息),分别建立其安全模型;其次,基于该安全模型运用双线性映射构造社交网络节点隐私保护方案;最后,证明了该方案是可证明安全的,并且分析和对比了该方案的安全性,分析结果表明,该方案除了具有可证明安全性外,还能抵抗再识别攻击、推理攻击和信息聚集攻击。
所属分类:
其它
发布日期:2021-01-20
文件大小:828416
提供者:
weixin_38700320
基于同态加密体制的通用可传递签名方案
通过分析基于大整数分解、离散对数和双线性对等数学问题的特殊可传递签名方案,抽象出了可传递签名实现方法的共性。以此为基础,提出了一个基于同态加密体制的通用可传递签名方案,该方案利用同态加密体制能支持密文运算的特性实现了可传递签名及验证的一般模型,为基于同态密码体制构造安全可靠的可传递签名方案提供了一种通用框架。其次,通过适当定义安全目标和设计安全性实验,完成了该通用可传递签名方案的可证明安全性,指出若使用的同态加密方案是CPA安全而标准签名是CMA安全的,则所提出的方案就达到CMA安全。最后,给出
所属分类:
其它
发布日期:2021-01-15
文件大小:266240
提供者:
weixin_38717870
«
1
2
3
4
5
6
7
8
9
10
...
13
»