安全协议

摘要： 随着微电网技术的快速发展,微电网的控制研究成为当前的研究热点。针对当前园区微电网控制系统在数据交互过程中存在数据来源可靠性和数据完整性保护等问题,提出一种消息可恢复式数字签名方案。该方案与一般的数字签名方案相比具有能够减少通信量、降低通信代价的优点,适用于带宽有限,计算能力弱的应用场景中,可以有效地应用到园区微电网的控制系统中,并保持微电网运行的高效性。园区微电网的控制是保障园区稳定供电的重要组成部分,针对园区微电网控制系统的网络安全问题,以消息可恢复式的数字签名方案为基础,进一步提出一种适用于园区微电网的安全控制协议。最后通过C#轻量级密码术包对安全控制协议的交互过程进行实验与仿真,实验结果表明该方案的签名过程耗时短,表明该安全控制协议在控制器端运行效率较高,可以有效提高园区微电网控制系统的安全性,可以为园区微电网的安全稳定运行提供有力保障。

摘要： 本刊讯为指导企业规范承包商安全管理,中国化学品安全协会组织编制的《化工企业承包商安全管理指南》(T/CCSAS 014—2022)团体标准已于2022年2月14日发布实施。该标准本着“合法合规、风险预控、过程管控、闭环管理”的原则,通过严把承包商选择、安全协议、入厂(场)管理、开工准备、施工安全、考核评价六道“关口”.

摘要： 为了提高信息在计算机网络中传输与共享的安全性与隐蔽性,引进区块链技术,设计计算机网络安全优化方法。将生成的合约作为区块代码与区块数据在网络中集成后的表现形式,将此种数据表现形式以直接部署的方式与计算机网络安全进行对接,生成网络安全智能合约。结合网络中的安全协议,对计算机网络传输文件或数据时的认证流程进行标准化设计,实现对计算机网络安全优化方法的设计。经对比实验证明,设计的网络安全优化方法不仅可以提高网络信息的加密效率,也能避免信息在传输中被攻击。

摘要： 安全协议用于实现开放互联网的通信安全,时间戳可以保证在传输消息时协议的可信性和准确性,利用时间敏感网络来改进实时协议具有一定的实用价值.本文提出了将时间敏感网络(TSN)引入网络,选择Sercos作为工业以太网协议,并通过TSN标准IEEE802.1asrev和IEEE802.1Qbv对工业以太网进行了扩展.通过对TSN网络的测试,将TSN集成到网络中,并对时延和抖动时间进行了比较.测试结果表明,在高速多设备工业以太网中,随着TSN的应用,时延逐渐接近甚至低于其他拓扑结构.拓扑扩展保证了时间关键帧的超低端到端延迟.通过提高整个网络的数据速率,缩短了时延,提高了工业以太网的实时性.

摘要： 物联网的迅速普及使得数据规模以几何式上升.集中在云中心处理数据的方式逐渐出现通信时延及隐私泄露等问题.边缘计算将部分云中心业务下沉到设备边缘,使得数据处理在终端网络完成,从而实现数据快速处理.同时,由于避免了远距离通信,用户数据在本地处理,使得用户隐私数据得以安全保护.然而网络架构的改变对边缘计算环境下的安全协议又提出了新的要求.对边缘计算环境下安全协议进行分类总结有助于相关从业人员快速掌握该领域的研究进展,更有助于边缘计算安全领域的初学者快速了解安全协议在该领域中的应用方法.综述了近年来边缘计算环境下认证协议、密钥协商协议、隐私保护协议以及数据共享协议的典型研究成果,对每个安全协议进行了具体的分类、分析及总结.给出了边缘计算环境下安全协议所存在的核心问题并针对这些问题给出了具体的研究方向及建议.实现了对边缘计算环境下安全协议研究进展进行总体把握的目的.

摘要： 主要介绍5G SA网络结构下,空口加密算法、剖析当前MEC组网端到端方案的安全认证研究。介绍当今国内外现状,并阐述安全威胁,攻击类型,提出相应的加固方法。

摘要： 为了提高无人机集群战术通信链路传输的连贯和安全,针对当今无人机自组链路网络的不足,提出了一种中继式无人机自组网安全协议。该协议将无人机集群划分为普通节点和中继节点,中继节点担任空间网络环境信息采集和分析的作用,并作为无人机集群协同化中心通过获得的信息为整个集群规划路径,此时新加入的无人机节点不会影响整个战术通信链路,保证了整个自组链路网络的安全可靠。

摘要： 针对无人机通信中密钥配置的安全性和轻量化需求,面向不同计算性能的无人机系统分别提出了基于椭圆曲线密码算法的认证和密钥协商协议DroneSec,以及基于对称密码算法的认证和密钥协商协议DroneSec-lite。所提协议实现了无人机和地面站之间的双向身份认证和通信密钥配置功能,其中DroneSec协议通过结合使用ECDH(Elliptic-Curve Diffie-Hellman)和消息认证码,在保证前向安全性的情况下减小了计算开销,适用于较高性能的计算平台;DroneSec-lite协议仅使用了对称密码算法,因而计算开销极低,适用于低性能平台。使用安全协议形式化验证工具ProVerif验证了协议在加强的Dolve-Yao威胁模型下进行双向认证和密钥配置的安全性,并通过仿真环境实验对协议的性能进行了对比测试和分析。结果显示,协议的计算、通信开销和安全性优于已有协议。

摘要： 由于已有方法未能使用形式化模型,导致安全协议验证效率下降,安全协议验证错误率和开销增加。结合形式化模型,提出一种基于形式化模型的电力信息审计系统安全协议验证方法。通过形式化模型,对电力信息审计系统进行形式化研究,采用SPIN和AVISPA对电力信息审计系统安全协议进行改进。利用Promela和HLPSL进行建模,查找安全协议中存在的攻击,获取攻击者的相关信息,查看存在的漏洞,完成电力信息审计系统安全协议验证。仿真实验结果表明,所提方法能够有效提升安全协议验证效率,降低安全协议验证错误率和开销。

摘要： 作为活动专业人士,我们经常谈论安全协议和应急计划的最佳实践方案。但另一个同样重要话题,却经常被我们忽视,这就是活动的包容性。组织者必须确保所有的与会者在他们的聚会上感到安全、舒适和被认可。要做到这一点,需要对包容性采取强硬立场,并将其嵌入到整个规划过程中。当我们开始庆祝骄傲月时,下面你会发现十几种方法让你的活动更友好,包括聚会前和聚会中要做的事情。这些技巧可以在虚拟会议、混合会议和面对面会议中实现。

摘要： 文中针对当前RFID安全协议可能存在的恶意追踪问题,文章提出了一个追踪攻击的形式化分析模型.该模型首先定义了攻击者消息元素集合的概念,之后根据攻击者消息元素集合中消息使用的代数运算,推导出攻击者的攻击行为,并由此确定攻击者行为集合.通过攻击者元素集合和攻击者行为集合,规范了攻击者攻击行为和攻击对象.之后通过引入标签特征值的概念,确定了RFID安全协议存在追踪攻击的条件,明确了攻击者发起追踪攻击的目标.最后,使用该模型对一个RFID安全协议进行了分析,计算出了该协议的标签特征值,由此发现了新的追踪攻击,证明了模型的可靠性.

摘要： 针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,验证发现其不满足线性时序逻辑(LTL)公式描述的安全性,得到了原协议的安全漏洞.针对该漏洞,提出了一种协议改进方案,并针对改进后的协议,给出新的Promela语义模型的建模方法.改进的入侵者模型建模方法比起原方法:模型检测过程中的存储状态数减少,使模型复杂度降低约40％;迁移状态数减少,使验证效率提升约44％.

摘要： 文章阐述了无线局域网几类安全协议的技术标准、发展历程,介绍了无线局域网的安全标准WEP、802.11i和802.11w的安全保障机制,重点分析了WEP、802A1i和802.11w标准应用中存在的安全问题以及可能的典型攻击方式,最后提出了加强无线局域网安全的措施.

摘要： 本文讲述了动态群组数据安全共享，分析出了多权威属性加密数据访问控制算法的攻击，总结了多权威云存储安全数据共享算法SDSS-MAC。

摘要： 本文讲述了近距离通信技术范畴，射频识别(RFID)安全，近场通信(NFC)安全，针对RFID系统的攻击，主要发生在两个方面:物理攻击，空中接口攻击，分析了RFID空中接口安全架构，基于TePA架构(ISO/IEC 9798-3)，引入可信第三方提供高安全强度的NFC空口安全服务。

摘要： 微信支付作为新生态移动支付,发展时间短但成长迅速,其中潜在的安全问题不可忽视.由微信支付的流程入手,并从信息安全、法律、业务方面对微信支付的安全性进行了分析,然后在此基础上构建出微信支付模型,包括微信支付协议模型和身份验证模型,最后得出结论.参考了当前已知的几种移动支付模型和协议,构建的符合微信支付流程的微信支付协议模型和微信支付的银行卡绑定协议则采用了零知识证明和博弈论分析,以及使用了椭圆曲线加密算法、MD5算法和RSA公钥加密算法.不足的是由于微信支付协议并没有公开,对其安全性分析与协议建模都是基于现行的微信支付流程和现有的支付模型.

摘要： 现有的委托授权模型主要侧重于受托方是否具有执行委托任务(权利)的能力,没有考虑到受托方平台的可信性;基于此,提出了多媒体环境下基于远程证明(Remote Attestation,RA)的委托授权安全协议,实现了对多媒体数字内容的可信委托授权.协议既保证了委托方对受托方身份与平台完整性的信任、多媒体资源服务器对受托方身份与平台完整性的信任,也实现了多媒体内容的安全访问.阐述了委托验证过程、实体间消息的交互过程以及委托授权可用性验证过程.列举与分析了协议可能遭遇的攻击,同现有的协议相比,应用于数字版权保护(Digital Rights Management,DRM)的委托授权远程证明协议的委托授权过程安全性更高,功能更完善.

摘要： 从多方合作挖掘分布存储在不同计算站点上多个数据库表而不泄露各方原始数据信息的目的出发,对于每个站点拥有多个数据表的分布式计算环境,基于三方安全协议,运用生成随机数扰乱方法,采取各站点并行挖掘频繁项集,将站点间各表数据公共连接属性作等值连接,以安全协议计算全局站间跨表频繁项集支持数的策略,提出了一站多表的3站点跨多表频繁项集挖掘隐私保护算法.实验结果表明,该算法在高效地联合挖掘出跨多表频繁项集的同时保护了各站点的敏感信息.

摘要： 本文简要分析了在涉密网中使用U盘操作系统可能引起的安全隐患和产生原因。针对这些问题,提出了一些建议来禁止U盘操作系统的使用或降低其使用带来的危害,主要包括采用双人BIOS密码策略、信息加密存储、加强主机监控与审计管理、利用云计算进行集中管控等.

摘要： AIoT将物联网设备带入以感知、理解和自学习为特征的智能设备时代。文章分析AIoT设备的安全隐患，提出AIoT安全框架，通过双向认证、SSL/TSL、对称加密等措施实现。

摘要： 本发明公开了一种基于Diffie‑Hellman协议的iSCSI协议安全增强方法，其中，包括：始发端将自己的公钥证书、请求以及数字签名发送给认证服务器；认证服务器通过对始发端进行身份认证以及对请求进行授权；认证服务器将始发端公钥对证书私有部分加密后的密文与证书由公开部分一同发送给请求的始发端；始发端计算消息认证码，并与证书由公开部分一同发送指定的目标端；目标端收到认证码和证书由公开部分后对始发端请求进行授权认证；目标端根据授权认证结果响应始发端请求；定期逐个刷新所使用的共享密钥。

摘要： 本发明实施例涉及通信技术领域，尤其涉及一种英特网协议安全IPSec协议加密方法和网络设备，用于有效解决现有技术中多核异构网络设备发送的IP报文序列号无法保序的问题。网络设备通过控制面处理器核获取第一IP报文；网络设备在通过控制面处理器核确定第一IP报文为需进行加密的第一IP报文的情况下，且网络设备在根据第一IP报文的信息确定第一IP报文需进行硬加密的情况下：网络设备通过硬件加密模块为第一IP报文分配序列号，并进行硬加密，得到加密后第一IP报文；网络设备通过网卡发送加密后第一IP报文；进而有效解决现有技术中多核异构网络设备发送的IP报文序列号不保序的问题。

摘要： 本发明公开了一种基于点积协议的协议安全性量化方法及系统，包括：分别获取各个参与方执行协议前后的变量取值范围；分别计算各个参与方执行协议前后变量取值范围的最大值与最小值的差值；将各个参与方执行协议前的差值相乘，得到执行协议前的安全性参数；将各个参与方执行协议后的差值相乘，得到执行协议后的安全性参数；参照执行协议前后的安全性参数，获取协议安全性取值。本发明通过对参与方执行协议前后的变量取值范围进行操作处理，将处理结果作为对协议安全性的表征值的方法，实现了将协议的安全性量化的目的。可以对不同协议的安全性进行量化，便于根据实际应用情况，选择安全性符合实际要求的协议，提高了安全多方计算的使用效率。

摘要： 一个鲁棒头标压缩方案(“ROHC”)压缩IP安全(“IPSec”)保护的IP分组。更特别的是，ROHC在IPSec加密之前被应用于一个IP分组头标中的一些部分。之后ROHC可以可选地被再次应用于IP分组中未被加密的部分。

摘要： 本发明公开了一种融合Pedersen承诺与Schnorr协议的安全多方计算协议算法，涉及密码学技术领域，在现有的Schnorr签名的基础上，融合Pedersen承诺进行改进，使得提交的签名消息不一样且不公开的前提下，也能实现有效的隐私保护，并搭建密封拍卖的场景，引用隐私技术，即在链上使用零知识证明的zk‑SNARKs算法来进行匿名交易，在链下先使用身份鉴别协议来确定各交易仲裁参与方的身份，然后用新提出的Pedersen承诺结合Schnorr签名的方案进行安全多方计算。该融合Pedersen承诺与Schnorr协议的安全多方计算协议算法，通过利用Pedersen加法同态的特性，在不解密各方消息承诺的条件下，直接对密文形式的新消息承诺进行组合运算，使得参与三方都加入到实际交易运算之中。同时，也减少链上合约对签名验算的时间。

摘要： 本发明公开了一种基于Diffie‑Hellman协议的iSCSI协议安全增强方法，其中，包括：始发端将自己的公钥证书、请求以及数字签名发送给认证服务器；认证服务器通过对始发端进行身份认证以及对请求进行授权；认证服务器将始发端公钥对证书私有部分加密后的密文与证书由公开部分一同发送给请求的始发端；始发端计算消息认证码，并与证书由公开部分一同发送指定的目标端；目标端收到认证码和证书由公开部分后对始发端请求进行授权认证；目标端根据授权认证结果响应始发端请求；定期逐个刷新所使用的共享密钥。

摘要： 本发明实施例涉及通信技术领域，尤其涉及一种英特网协议安全IPSec协议加密方法和网络设备，用于有效解决现有技术中多核异构网络设备发送的IP报文序列号无法保序的问题。网络设备通过控制面处理器核获取第一IP报文；网络设备在通过控制面处理器核确定第一IP报文为需进行加密的第一IP报文的情况下，且网络设备在根据第一IP报文的信息确定第一IP报文需进行硬加密的情况下：网络设备通过硬件加密模块为第一IP报文分配序列号，并进行硬加密，得到加密后第一IP报文；网络设备通过网卡发送加密后第一IP报文；进而有效解决现有技术中多核异构网络设备发送的IP报文序列号不保序的问题。

摘要： 本发明公开了一种基于点积协议的协议安全性量化方法及系统，包括：分别获取各个参与方执行协议前后的变量取值范围；分别计算各个参与方执行协议前后变量取值范围的最大值与最小值的差值；将各个参与方执行协议前的差值相乘，得到执行协议前的安全性参数；将各个参与方执行协议后的差值相乘，得到执行协议后的安全性参数；参照执行协议前后的安全性参数，获取协议安全性取值。本发明通过对参与方执行协议前后的变量取值范围进行操作处理，将处理结果作为对协议安全性的表征值的方法，实现了将协议的安全性量化的目的。可以对不同协议的安全性进行量化，便于根据实际应用情况，选择安全性符合实际要求的协议，提高了安全多方计算的使用效率。

摘要： 本发明提供了一种能够防止在通信设备之间出现设置不一致的IPsec设置服务器设备。IPsec处理部分使从接口部分接收到的数据通信包受到IPsec处理。从IPsec处理部分查阅SPD，该SPD记录用于应用IPsec的策略。从IPsec处理部分查阅SAD，该SAD记录使每种通信都受到IPsec处理所必需的SA。请求处理部分从IPsec处理设备中接收设置请求消息并返回分配消息。确定所请求的设置所必需的IPsec策略被存储在分配策略存储部分中。与所请求进行设置的各种SA通信有关的信息被存储在管理表中。

摘要： 一个鲁棒头标压缩方案(“ROHC”)压缩IP安全(“IPSec”)保护的IP分组。更特别的是，ROHC在IPSec加密之前被应用于一个IP分组头标中的一些部分。之后ROHC可以可选地被再次应用于IP分组中未被加密的部分。