-
公开(公告)号：CN113079099A
公开(公告)日：2021-07-06
申请号：CN202110622324.9
申请日：2021-06-04
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L12/751 , H04L29/08
Abstract: 本发明提供一种采用共识协议栈同步网络状态的方法及系统。所述共识协议栈基于共识协议栈装置实现，所述共识协议栈装置具体包括节点发现模块、节点维护模块、协议调度模块、共识协议库、状态输入输出模块、协议配置模块。所述方法包括：调用所述协议配置模块和协议共识库来初始化所述共识协议栈，以加载所述共识协议栈中的所有共识协议；调用所述节点发现模块和所述节点维护模块更新节点连接关系；调用状态输入输出模块、协议调度模块、共识协议库同步所述网络状态。以上方法提供并调用不同共识协议，满足网络系统中不同网络状态同步差异化的需求，为高安全网络系统中路由协议设计提供了一条切实可行的途径。
-
公开(公告)号：CN112818569B
公开(公告)日：2021-07-02
申请号：CN202110416348.9
申请日：2021-04-19
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种属性驱动的安全协议符号化模型检测方法、系统和介质。所述方法包括：步骤S1、分别获取所述安全协议的状态机模型和进程演算模型；步骤S2、配置所述安全协议的时序性质，所述时序性质由时序逻辑的时间算子和逻辑运算符来描述；步骤S3、基于所述状态机模型对所述时序性质进行验证，以获取存在的反例；步骤S4、基于所述反例精化所述时序性质得到安全性质，调用ProVerif安全协议验证器，基于所述进程演算模型对所述安全性质进行验证。所述方法能够提高传统模型检测在安全协议时序性验证方面的正确性，有效避免虚假反例的情况，弥补了安全协议形式化验证工具无法对时序性建模与分析的问题。
-
Patent Agency Ranking
公开(公告)号：CN114756213A
公开(公告)日：2022-07-15
申请号：CN202210664227.0
申请日：2022-06-14
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种智能控制系统代码自动生成方法及装置，所述方法包括：解析AADL模型文件，从所述AADL模型文件中提取所述AADL模型文件包括的各个组件及属性约束；构建AADL模型文件到C++代码的转换规则；基于所述转换规则，解析所述AADL模型文件包括的各个组件的属性；基于预设的C++代码模板及所述AADL模型文件包括的各个组件的解析结果，生成与所述AADL模型文件对应的C++代码。根据本发明的方案，通过读取AADL实例文件，经过处理，最终生成了C++标准规范的代码，实现了将体系结构设计语言到面向对象语言之间的转换。
-
公开(公告)号：CN114422060B
公开(公告)日：2022-06-17
申请号：CN202210314388.7
申请日：2022-03-29
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04B17/391 , H04B7/185
Abstract: 本发明给出了一种无人机通信信道模型的构建方法和系统，包括：设置天线参数；获取初始时刻的无人机、地面接收机和天线的全局坐标；对时变加速度进行时间积分，得到运动速度；对运动速度进行时间积分，得到第一传输距离矢量；计算不同时刻的无人机和地面接收机中每根天线到每个双生散射簇之间通过每条射线的第二传输距离矢量、非直射路径的第一信道冲激响应；计算不同时刻的地面接收机和无人机直接传输的第三传输距离矢量以及直射路径的第二信道冲激响应；计算不同时刻的地面接收机每根天线传输到无人机每根天线的总信道冲激响应并生成无人机通信信道模型。本发明能够精确描述无人机运动时的三维连续任意轨迹和自旋转的信道特性。
-
公开(公告)号：CN113079099B
公开(公告)日：2021-09-10
申请号：CN202110622324.9
申请日：2021-06-04
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L12/751 , H04L29/08
Abstract: 本发明提供一种采用共识协议栈同步网络状态的方法及系统。所述共识协议栈基于共识协议栈装置实现，所述共识协议栈装置具体包括节点发现模块、节点维护模块、协议调度模块、共识协议库、状态输入输出模块、协议配置模块。所述方法包括：调用所述协议配置模块和协议共识库来初始化所述共识协议栈，以加载所述共识协议栈中的所有共识协议；调用所述节点发现模块和所述节点维护模块更新节点连接关系；调用状态输入输出模块、协议调度模块、共识协议库同步所述网络状态。以上方法提供并调用不同共识协议，满足网络系统中不同网络状态同步差异化的需求，为高安全网络系统中路由协议设计提供了一条切实可行的途径。
-
公开(公告)号：CN112822114A
公开(公告)日：2021-05-18
申请号：CN202110416152.X
申请日：2021-04-19
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L12/753 , G05B19/05
Abstract: 本发明提供一种基于行为树的路由控制方法、系统和介质。该方法采用控制逻辑和执行逻辑分离的路由架构，包括控制逻辑平面和执行逻辑平面。该方法包括：步骤S1、利用行为树构建单元，将存储在行动模板存储单元中的行动模板转换为机器可执行的行为树，将所述行为树以多叉树的形式存储在行为树存储单元中；步骤S2、获取路由协议，利用行为树遍历单元，通过遍历行为树存储单元中的行为树来确定所述路由协议当前节点的运行状态；以及步骤S3、基于所述运行状态，利用协议行动调用单元来执行满足所述行为树的转移条件的动作。该方法将控制逻辑和执行逻辑分离，在定制协议状态时无须对路由协议进行重新设计与开发。
-
公开(公告)号：CN112818569A
公开(公告)日：2021-05-18
申请号：CN202110416348.9
申请日：2021-04-19
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种属性驱动的安全协议符号化模型检测方法、系统和介质。所述方法包括：步骤S1、分别获取所述安全协议的状态机模型和进程演算模型；步骤S2、配置所述安全协议的时序性质，所述时序性质由时序逻辑的时间算子和逻辑运算符来描述；步骤S3、基于所述状态机模型对所述时序性质进行验证，以获取存在的反例；步骤S4、基于所述反例精化所述时序性质得到安全性质，调用ProVerif安全协议验证器，基于所述进程演算模型对所述安全性质进行验证。所述方法能够提高传统模型检测在安全协议时序性验证方面的正确性，有效避免虚假反例的情况，弥补了安全协议形式化验证工具无法对时序性建模与分析的问题。
-
-
-
-
-
-
Search Results
27
records
(took 0.041 seconds)
