搜索结果: 106-120 共查到“知识库 数据安全与计算机安全”相关记录2473条 . 查询时间(5.17 秒)
关于秘密共享方案在应用Pi演算中的实现
Pi演算 秘密共享 形式化分析 协议验证
2013/11/1
针对秘密共享方案的自动化验证问题，提出一种基于等值理论的秘密共享方案自动化验证方法。首先通过等值理论在应用Pi演算中对可验证的多秘密共享方案的密码学语义进行了形式化定义。在此基础上，进一步提出了一种用于将所提出等值理论转化为自动化协议验证器ProVerif中重写机制的编码方法，在ProVerif中实现了关于可验证的多秘密共享方案的自动化验证。通过证明给出了关于可验证的多秘密共享方案形式化分析结果的...
针对RSA算法中Z*φ(n)的代数结构问题，提出了一种在强素数条件下应用二次剩余理论进行研究的方法。给出了Z*φ(n)中元素阶的计算公式和元素的最大阶表达式，计算了Z*φ(n)中二次剩余的个数和二次非剩余的个数，同时估计出Z*φ(n)中元素的最大阶上限为φ(φ(n))/4并得到了Z*φ(n)中元素的最大阶达到φ(φ(n))/4的一个充要条件。另外还给出了全部二次剩余构成的子群A1成为循环子群的充分...
识别恶意软件中的加密函数
加密函数识别 循环的输入和输出参数 循环数据流图 循环输入输出集合 动态二进制插桩
2013/11/1
针对恶意软件通过加密函数规避安全检测和流量分析这一问题，提出了一种识别恶意软件中加密函数的方法。通过识别恶意软件动态执行路径中的循环、循环的输入和输出参数，构建恶意软件的动态循环数据流图，通过循环数据流图提取循环的输入和输出参数集合，设计已知加密函数的参考实现对循环输入集合中的元素进行运算，判断输出是否能够匹配输出集合中的元素从而识别恶意软件中的加密函数。实验证明此分析方法能够分析严重混淆的恶意软...
针对日益严峻的文档安全形势，为了更好地保护受控文档，将基于身份的加密机制与透明加密(OTFE)技术相结合，提出基于身份的受控文档透明加解密方案。采用文件系统过滤驱动技术监控程序对受控文档的操作，并使用基于身份的加密机制执行加解密操作。特别地，提出将原始密文耦合后分块存储的新算法，使得敌手不可能获取完整密文进而恢复出原始明文。从系统层面和算法层面对方案进行了详细描述，安全分析表明该方案能有效地保护受...
针对信息隐藏算法容量和不可见性与鲁棒性矛盾的特点，提出了一种新的基于Chui-Lian(CL)多小波变换和组合位平面(CBP)理论的数字图像载体预处理算法，并将该算法用于以数字图像为载体的信息隐藏，以实现秘密通信和图像共享。其中，CL多小波变换能够将载体图像划分为4个能量等级不同的最低分辨率子图像，组合位平面理论可将子图像解析为不同的位平面层次，在隐藏秘密信息时，可根据最低分辨率子图和组合位平面的...
针对现有基于云模型的信任度量方法缺乏对信任的多粒度及时效性考虑，提出一种基于加权多属性云的信任度量方法。首先，以多属性信任云对信任度量粒度进行细化，并在实体信任计算中引入时间衰减函数；其次，对信任云的多属性综合与多路径合并得到实体的最终信任云；最后，采用云的相似度比较算法与信任基准云进行比较，得到实体的信任等级。通过网格计算环境下的仿真实验表明，当节点交互100次时，采用加权多属性云的度量方法的交...
针对网络安全态势评估的融合特性和现有层次化态势评估方法存在对未知攻击感知不足的问题，提出融合链路安全态势值来计算网络安全态势值的方法。借助网络性能分析的相关理论，提出了基于链路性能分析的网络安全态势评估模型。在态势值计算过程中，首先计算不同时段各链路的安全态势值，并把结果以矩阵形式表现出来；然后，将各链路安全态势值进行加权融合，得到不同时段的网络安全态势值，并以向量形式表示。实验结果证明，所提方法...
机器学习方法在少数民族
机器学习方法 少数民族 云计算、大数据
2013/10/10
随着互联网、移动通信技术的快速发展，信息安全与个性化信息服务成为人们关注的焦点云计算、大数据、社会计算、数据挖掘等一批新术语像雨后春笋般地相继涌现.
基于CSP的能耗高效云计算资源调度模型与算法
云计算 资源分配 能耗效率 约束满足问题
2013/9/15
利用约束满足问题对异构云数据中心的能耗优化资源调度问题建模，通过求解建立的约束模型可以获得能耗最优的资源分配方式，并在此基础上提出了能耗优化的资源分配算法dynamicpower (DY)。与已有的算法MinPM、FFD、BFD相比，算法DY考虑了资源的异构性，能够降低云数据中心物理服务器的能耗。最后，利用Choco实现了提出的算法DY，并将DY与MinPM、FFD、BFD进行实验比较，实验结果表...
为了揭示入侵检测系统所生成的报警数据之间的关联关系和重构入侵攻击场景,提出了一种基于攻击图与报警数据相似性分析的混合报警关联模型。该模型结合攻击图和报警数据分析的优点,首先根据入侵攻击的先验知识定义初始攻击图，描述报警数据间的因果关联关系,再利用报警数据的相似性分析修正初始攻击图的部分缺陷,进而实现报警关联。实验结果表明,混合关联模型能够较好地恢复攻击场景，并能够完全修复攻击图中单个攻击步骤的缺失...
针对新节点加入的传感器网络中进行合法的身份认证带来的节点内存占有量大、计算量大、秘密值的信息安全度低等问题,提出一种适用于内存有限的传感网络,安全度高的节点身份认证机制。该方案采用增添节点自身密码,并采用单向哈希函数对密码和身份(ID)进行散列化,利用密码参与椭圆曲线的签名算法的生成,可信节点间采用同余方程的认证方案,且各认证阶段均采用互认证模式。该方案不仅能防范窃听、重放、注入等攻击,而且能抵御...
为了解决连续查询攻击算法给位置信息服务(LBS)带来的安全隐患,基于已有的k-匿名化Cloaking算法提出了一种新的连续查询攻击算法——CQACA。该算法首先利用熵和查询匿名度量定义了查询识别率的目标函数,并结合元胞蚁群给出了目标函数的求解算法。最后,利用移动对象数据生成器进行实验,深入研究了影响CQACA的关键因素,同时对比分析了该算法与Cloaking算法的性能差异:CQACA与实际数据的误...
当前的射频识别(RFID)系统只是简单地将防碰撞算法和安全机制粗糙地融合在一起。在分析经典自适应动态防碰撞算法的基础上,提出了一种内嵌安全机制的防碰撞策略。该策略将先序遍历机制、布尔运算双向认证协议内嵌入其中,解决了传统RFID系统标签识别效率较低、成本过高的问题,同时具有较高的安全性优势。与后退二叉树、动态自适应、二叉树搜索等算法进行比较,结果表明该策略能大大降低系统搜索的次数,提高标签的吞吐率...
针对医学图像感兴趣区域隐私泄露问题,提出了一种新的基于可逆可见水印的隐私保护算法。算法将二值水印图像嵌入在医学图像感兴趣区域实施隐私保护,利用人类视觉系统(HSV)的掩蔽特性和自适应的像素映射机制,对水印可见性和透明性进行动态调整;采用收缩投影技术,有效解决了嵌入过程中可能出现的溢出问题;最后,随机数密钥的引入增强了可见水印的鲁棒性。实验结果表明,算法嵌入的水印具有较好的可见性和透明性,产生的水印...
对环Zpl导出的多元Kerdock-code序列的部分周期性质进行了研究,这里p为任意奇素数,l为任意正整数.利用特征为pl的Galois环上不完全指数和的非平凡上界,对上述p元Kerdock-code序列的非周期自相关性及互相关性进行了估计,同时对序列的部分周期分布和部分周期独立r-样式分布也进行了刻画.结果表明,此类序列具有极低的非周期自相关性及互相关性,同时其部分周期分布和部分周期独立r-样...