-
公开(公告)号：CN115827494B
公开(公告)日：2023-05-05
申请号：CN202310024402.4
申请日：2023-01-09
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种设计层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：获取所述操作系统的设计层文档；使用Isabelle元语言对数据结构和状态进行形式化描述；基于经过形式化描述的数据结构和状态，使用状态单子对设计层的算法的函数功能进行形式化描述，以得到设计层功能函数模型；获取操作系统的需求层功能函数模型，对设计层功能函数模型与需求层功能函数模型进行精化验证。本发明实现了操作系统设计层形式化描述的通用性，提高了操作系统设计层形式化验证的效率。
-
公开(公告)号：CN114172587B
公开(公告)日：2023-03-14
申请号：CN202010950829.3
申请日：2020-09-11
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种基于冗余校验和纠错重传的量子直接通信方法、系统及存储介质，发送方用数字通信信号调制多波长单光子序列，并将携带信息的多波长单光子序列并纤传输；接收方通过信息处理光路、波分复用器和单光子探测器对多波长单光子序列进行探测，根据探测结果判断线路安全并解析明文信息；接收方利用经典信道将未获取明文信息的时序位置回传给发送方，发送方将对应明文信息重新编码发送；通过多次重复上述过程，最终实现以单光子为信息载体的全部信息传输。本发明通过冗余校验和纠错重传机制，能够有效克服以单光子为信息载体的量子直接通信因为传输损耗而造成的数据丢失，同时兼具量子通信普遍具备的安全等级，为构建实用化量子通信网络提供重要参考。
-
公开(公告)号：CN115408844A
公开(公告)日：2022-11-29
申请号：CN202211022232.8
申请日：2022-08-25
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F30/20 , G06F111/04 , G06F111/06 , G06F119/02
Abstract: 本发明提出一种可计算的高可靠架构设计方法和系统。所述架构包含若干提供系统功能的组件，互为冗余的组件属于同一功能域。在所述方法中，两两计算各个功能域的交集，获取多组交集不为空的功能域对，将每一组所述交集不为空的功能域，并在所述新的功能域中分别添加虚拟节点，同时向连接关系集合中添加虚拟连接；将互不相交的功能域中的每一个聚集为一个超节点，构建以超节点表征的架构表示，以获取包含所有最小生成树的集合，并进行连通性判断；最后计算每一种架构组件配置的可靠性，从多种架构组件配置中选取一种架构组件配置，以提供相关服务。
-
公开(公告)号：CN115065551B
公开(公告)日：2022-10-28
申请号：CN202210888014.6
申请日：2022-07-27
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种伴生式网络构建与共同演化方法，属于网络安全技术领域。所述方法用于为业务网络构建对应的伴生网络，其中所述伴生网络的构建基于控制器来实现，所述控制器包括网络状态同步模块、资源调度模块和安全控制模块。所述伴生网络和所述业务网络通过共同演化来抵御网络中的各类攻击。
-
公开(公告)号：CN115065551A
公开(公告)日：2022-09-16
申请号：CN202210888014.6
申请日：2022-07-27
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种伴生式网络构建与共同演化方法，属于网络安全技术领域。所述方法用于为业务网络构建对应的伴生网络，其中所述伴生网络的构建基于控制器来实现，所述控制器包括网络状态同步模块、资源调度模块和安全控制模块。所述伴生网络和所述业务网络通过共同演化来抵御网络中的各类攻击。
-
Patent Agency Ranking
公开(公告)号：CN114826779A
公开(公告)日：2022-07-29
申请号：CN202210708434.1
申请日：2022-06-22
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L9/40 , H04L9/32 , H04L9/08 , H04L67/1097
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个客户端的全局子任务的参数梯度来调节经更新的全局模型参数。
-
公开(公告)号：CN114172640A
公开(公告)日：2022-03-11
申请号：CN202010950907.X
申请日：2020-09-11
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L9/08
Abstract: 本发明公开了一种基于量子分发的排序置换安全通信方法、系统及存储介质，利用量子密钥分发系统为远端用户建立量子真随机数同步共享机制；通信双方通过量子真随机数实时协商排序置换法则，即通信双方事先商定一个通信数据排序置换法则库、通信双方以量子真随机数为序号调用排序置换法则、按照排序置换法则对通信数据的先后顺序进行调整置换；以此实现高速明文信息的隐蔽安全通信方法。本发明实现低速量子真随机数和高速通信数据的速率适配，可作为现有信源加密、信道加密技术的重要补充，为光纤通信、无线电通信、无线光通信等应用提供全新的隐蔽安全通信思路。
-
公开(公告)号：CN113839787B
公开(公告)日：2022-03-04
申请号：CN202111427308.0
申请日：2021-11-29
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种双向认证的局域网安全接入协议方法和系统。所述方法包括：发现阶段：局域网安全接入协议两端相互发送邻居间发送发现报文，相互发现对端上线情况，同时比较所述域网安全接入协议两端的MAC地址，所述两端包括两个通信实体即设备A和设备B，所述MAC地址较大的一端设备B主动进入协商阶段；协商阶段：由MAC地址较大的一端设备B主动进入协商阶段，并经历协商等待状态、协商结束等待状态后最终进入协商成功状态；MAC地址较小的一端设备A收到起始应答成功报文后，进入协商结束等待状态，并最终达到协商成功状态；保活阶段：由MAC地址较小的一端设备A定时主动发起客户端保活报文，服务端回复服务端保活消息进行保活。
-
公开(公告)号：CN113268786B
公开(公告)日：2022-02-25
申请号：CN202110810476.1
申请日：2021-07-19
Applicant: 军事科学院系统工程研究院网络信息研究所
Inventor： 杨林
-
-
-
-
-
-
-
-
-
Search Results
116
records
(took 0.072 seconds)
