-
公开(公告)号：CN113839872B
公开(公告)日：2022-02-15
申请号：CN202111427306.1
申请日：2021-11-29
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种面向虚链路的安全标签分发协议方法和系统。所述方法包括：步骤S1、出方向的安全接入路由器对所述安全标签分发协议进行安全加固，在报文结尾补充杂凑值计算字段，并将所述杂凑值封装在报文尾部；步骤S2、入方向的安全接入路由器对所述安全标签分发协议进行解析，通过定位获取杂凑值部分，以进行完整性验证；步骤S3、完成通信对等体之间信息交互的安全加固；所述通信对等体包括所述出方向的安全接入路由器和所述入方向的安全接入路由器。
-
公开(公告)号：CN113839872A
公开(公告)日：2021-12-24
申请号：CN202111427306.1
申请日：2021-11-29
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L12/723 , H04L9/32
Abstract: 本发明提出一种面向虚链路的安全标签分发协议方法和系统。所述方法包括：步骤S1、出方向的安全接入路由器对所述安全标签分发协议进行安全加固，在报文结尾补充杂凑值计算字段，并将所述杂凑值封装在报文尾部；步骤S2、入方向的安全接入路由器对所述安全标签分发协议进行解析，通过定位获取杂凑值部分，以进行完整性验证；步骤S3、完成通信对等体之间信息交互的安全加固；所述通信对等体包括所述出方向的安全接入路由器和所述入方向的安全接入路由器。
-
公开(公告)号：CN113839776A
公开(公告)日：2021-12-24
申请号：CN202111428148.1
申请日：2021-11-29
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种用于网管和路由器间的安全互连协议方法和系统。所述方法包括：步骤S1、接入认证；步骤S2、通道建立及参数协商；步骤S3、周期密钥更新；步骤S4、协议终止；步骤S5、维护超时；从而实现网管和路由器设备自动发现、安全接入认证、数据封装和抗重放、密文传输等功能，有效防止非法设备接入，避免设备受到从接入控制到报文转发多层面的非法攻击，并提供设备身份安全标识等功能，提供网络管理设备和被管理设备之间的安全交互手段。
-
公开(公告)号：CN113255701B
公开(公告)日：2021-10-22
申请号：CN202110700741.0
申请日：2021-06-24
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种基于绝对‑相对学习架构的小样本学习方法和系统，包括：调用表征提取模块，对训练集中的各个图像样本进行表征提取，以获得各个图像样本的特征向量；调用绝对学习模块，对各个图像样本的特征向量进行训练，以确定各个图像样本基于类别的第一预测结果和基于语义的第二预测结果；将每两个图像样本的特征向量组合成一组样本特征对，将每一组样本特征对中的两个特征向量拼接为一组合成向量；调用相对学习模块，对样本特征对进行训练，以确定每一组样本特征对中的两个特征向量基于类别的第一相似度和基于语义的第二相似度；根据第一预测结果、第二预测结果、第一相似度、第二相似度来计算模型的损失函数，以完成对模型的训练。
-
公开(公告)号：CN115827494B
公开(公告)日：2023-05-05
申请号：CN202310024402.4
申请日：2023-01-09
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种设计层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：获取所述操作系统的设计层文档；使用Isabelle元语言对数据结构和状态进行形式化描述；基于经过形式化描述的数据结构和状态，使用状态单子对设计层的算法的函数功能进行形式化描述，以得到设计层功能函数模型；获取操作系统的需求层功能函数模型，对设计层功能函数模型与需求层功能函数模型进行精化验证。本发明实现了操作系统设计层形式化描述的通用性，提高了操作系统设计层形式化验证的效率。
-
Patent Agency Ranking
公开(公告)号：CN115065551B
公开(公告)日：2022-10-28
申请号：CN202210888014.6
申请日：2022-07-27
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种伴生式网络构建与共同演化方法，属于网络安全技术领域。所述方法用于为业务网络构建对应的伴生网络，其中所述伴生网络的构建基于控制器来实现，所述控制器包括网络状态同步模块、资源调度模块和安全控制模块。所述伴生网络和所述业务网络通过共同演化来抵御网络中的各类攻击。
-
公开(公告)号：CN115065551A
公开(公告)日：2022-09-16
申请号：CN202210888014.6
申请日：2022-07-27
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种伴生式网络构建与共同演化方法，属于网络安全技术领域。所述方法用于为业务网络构建对应的伴生网络，其中所述伴生网络的构建基于控制器来实现，所述控制器包括网络状态同步模块、资源调度模块和安全控制模块。所述伴生网络和所述业务网络通过共同演化来抵御网络中的各类攻击。
-
公开(公告)号：CN114338628B
公开(公告)日：2022-06-03
申请号：CN202210260755.X
申请日：2022-03-17
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种基于联邦架构的嵌套元学习方法和系统。所述方法包括：从N个客户端中选取m1个客户端，m1个客户端分别基于各自的本地数据和当前状态下的全局模型参数，来训练m1个客户端各自的本地模型参数，N和m1均为正整数且N≥m1；中心服务器根据接收到的m1个客户端的本地模型参数来更新全局模型参数；从N个客户端中选取m2个客户端，m2个客户端分别基于各自的本地数据和经更新后的全局模型参数，来确定m2个客户端各自的全局子任务并计算全局子任务经学习目标函数产生的参数梯度，m2为正整数且N≥m2；中心服务器根据接收到的m2个客户端的全局子任务的参数梯度来调节经更新的全局模型参数。
-
公开(公告)号：CN113839787B
公开(公告)日：2022-03-04
申请号：CN202111427308.0
申请日：2021-11-29
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种双向认证的局域网安全接入协议方法和系统。所述方法包括：发现阶段：局域网安全接入协议两端相互发送邻居间发送发现报文，相互发现对端上线情况，同时比较所述域网安全接入协议两端的MAC地址，所述两端包括两个通信实体即设备A和设备B，所述MAC地址较大的一端设备B主动进入协商阶段；协商阶段：由MAC地址较大的一端设备B主动进入协商阶段，并经历协商等待状态、协商结束等待状态后最终进入协商成功状态；MAC地址较小的一端设备A收到起始应答成功报文后，进入协商结束等待状态，并最终达到协商成功状态；保活阶段：由MAC地址较小的一端设备A定时主动发起客户端保活报文，服务端回复服务端保活消息进行保活。
-
公开(公告)号：CN113839777B
公开(公告)日：2022-02-15
申请号：CN202111428193.7
申请日：2021-11-29
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L9/08
Abstract: 本发明提出一种用于路由器设备的安全互连协议方法和系统。所述方法包括：步骤S1、接入认证及设备维护；步骤S2、通道建立及参数协商；步骤S3、周期密钥更新；步骤S4、通道带宽更新；步骤S5、协议终止；步骤S6、维护超时。上述方法能够实现路由器设备自动发现、安全接入认证、数据封装和抗重放、密文传输等功能，有效防止非法设备接入，避免设备受到从接入控制到报文转发多层面的非法攻击，并提供设备身份安全标识等功能，提供路由器之间控制和业务报文的安全交互手段。
-
-
-
-
-
-
-
-
-
Search Results
42
records
(took 0.033 seconds)
