一种对安全互联协议进行形式化验证的方法和系统

    公开(公告)号:CN114500347A

    公开(公告)日:2022-05-13

    申请号:CN202210402333.1

    申请日:2022-04-18

    Abstract: 本发明提出一种对安全互联协议进行形式化验证的方法和系统,属于协议验证领域,针对网络安全协议形式化验证中状态空间爆炸、协议验证自动化程度低、无法获取协议攻击情况的问题。所述方法包括:步骤S1、获取待验证的安全互联协议,对所述待验证的安全互联协议进行建模,以获取安全互联协议模型,所述建模包括:加密消息建模、并发系统建模、协议推演规则建模和协议跟踪描述;步骤S2、基于所述安全互联协议模型和预设的安全互联协议的安全属性,执行对所述待验证的安全互联协议的形式化验证,并获取验证结果。

    一种智能流量调度保护方法和系统

    公开(公告)号:CN114095284B

    公开(公告)日:2022-04-15

    申请号:CN202210076226.4

    申请日:2022-01-24

    Abstract: 本发明提出一种智能流量调度保护方法和系统。方法包括:基于良性测试数据和待检测流量调度模型的模型结构,构建具有模型结构且流量调度的错误率低于第一阈值的良性流量调度模型,以及构建具有模型结构且能够触发包含恶意攻击数据的触发样本的恶性流量调度模型;将包含恶意攻击数据的触发样本分别输入至良性流量调度模型和恶性流量调度模型,以确定良性流量调度模型的指标特征和恶性流量调度模型的指标特征;将良性测试数据输入至待检测流量调度模型,以获取待检测流量调度模型的待检测指标特征,基于待检测指标特征、良性流量调度模型的指标特征、恶性流量调度模型的指标特征,确定待检测流量调度模型的性质,以实现智能流量调度保护。

    基于冗余校验和纠错重传的量子直接通信方法

    公开(公告)号:CN114172587A

    公开(公告)日:2022-03-11

    申请号:CN202010950829.3

    申请日:2020-09-11

    Abstract: 本发明公开了一种基于冗余校验和纠错重传的量子直接通信方法、系统及存储介质,发送方用数字通信信号调制多波长单光子序列,并将携带信息的多波长单光子序列并纤传输;接收方通过信息处理光路、波分复用器和单光子探测器对多波长单光子序列进行探测,根据探测结果判断线路安全并解析明文信息;接收方利用经典信道将未获取明文信息的时序位置回传给发送方,发送方将对应明文信息重新编码发送;通过多次重复上述过程,最终实现以单光子为信息载体的全部信息传输。本发明通过冗余校验和纠错重传机制,能够有效克服以单光子为信息载体的量子直接通信因为传输损耗而造成的数据丢失,同时兼具量子通信普遍具备的安全等级,为构建实用化量子通信网络提供重要参考。

    一种基于OSPF的安全路由协议方法和系统

    公开(公告)号:CN114157419A

    公开(公告)日:2022-03-08

    申请号:CN202111438825.8

    申请日:2021-11-29

    Abstract: 本发明提出一种基于OSPF的安全路由协议方法和系统。所述方法包括:步骤S1、OSPF协议报文的发送方和接收方进行随机数协商,所述OSPF为开放最短路径优先协议;步骤S2、所述发送方采用杂凑值对待发送的所述OSPF协议报文进行封装加固,将经封装加固的OSPF协议报文发送至所述接收方,并为所述经封装加固的OSPF协议报文分配发送序号;步骤S3、所述接收方在接收到所述经封装加固的OSPF协议报文后,提取所述经封装加固的OSPF协议报文的所述发送序号,并将所述发送序号与接收端维持的接收序号进行比较。

    一种智能流量调度保护方法和系统

    公开(公告)号:CN114095284A

    公开(公告)日:2022-02-25

    申请号:CN202210076226.4

    申请日:2022-01-24

    Abstract: 本发明提出一种智能流量调度保护方法和系统。方法包括:基于良性测试数据和待检测流量调度模型的模型结构,构建具有模型结构且流量调度的错误率低于第一阈值的良性流量调度模型,以及构建具有模型结构且能够触发包含恶意攻击数据的触发样本的恶性流量调度模型;将包含恶意攻击数据的触发样本分别输入至良性流量调度模型和恶性流量调度模型,以确定良性流量调度模型的指标特征和恶性流量调度模型的指标特征;将良性测试数据输入至待检测流量调度模型,以获取待检测流量调度模型的待检测指标特征,基于待检测指标特征、良性流量调度模型的指标特征、恶性流量调度模型的指标特征,确定待检测流量调度模型的性质,以实现智能流量调度保护。

    基于应力发光材料的重点区域入侵监测方法

    公开(公告)号:CN113947856A

    公开(公告)日:2022-01-18

    申请号:CN202010689447.X

    申请日:2020-07-17

    Abstract: 本发明公开了一种基于应力发光材料的重点区域入侵监测方法,将应力发光材料涂覆于重点区域周界着力点,比如变电站外墙、通信基站外墙、金库钥匙孔、保险柜侧壁;应力发光材料会在应力作用下辐射出光信号;光度计(如光敏电阻)探测到光信号强度超过阈值即判断入侵事件发生并执行应对策略。与传统方案相比,本发明具有能耗低、隐蔽性强、覆盖范围广、识别能力强、抗干扰能力强等诸多优点,可以为重点区域提供成本低廉、简单易行、长时有效的周界安全保证。

    基于发光材料的设备安全性与环境适应性测量方法

    公开(公告)号:CN113945399A

    公开(公告)日:2022-01-18

    申请号:CN202010689481.7

    申请日:2020-07-17

    Abstract: 本发明公开了一种基于发光材料的设备安全性与环境适应性测量方法,将应力发光材料、电致发光材料、热致发光材料喷涂于待检测设备表面并进行与机械性能、电学性能、热学性能相关的安全性与环境适应性测试评估,发光材料会在各种外力、电磁场、热流的作用下辐射光信号;通过成像系统、波分复用器和光电探测器,可对各种原因产生的光辐射信号分别进行阵列成像、参量还原、立体重构,由此获得的设备应力分布、电场分布和热量分布可为设备六性指标设计评估提供无接触、可定量、可回溯的测量手段。

Patent Agency Ranking