“马琳茹”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果29个，建议您升级VIP下载更多相关专利

[发明专利]针对无人蜂群的实用拜占庭容错共识算法优化方法及系统-CN202310942838.1在审
发明人： 马琳茹;周鑫;张龙 -专利权人：中国人民解放军军事科学院系统工程研究院
申请日： 2023-07-31 - 公布日： 2023-09-05 - 主分类号： H04W12/37 文献下载
摘要：本发明提出针对无人蜂群的实用拜占庭容错共识算法优化方法及系统，属于针对无人蜂群的共识优化技术领域。本发明根据无人机业务域或功能特性对无人蜂群进行分组，而后引入奖惩机制和投票机制，其中，奖惩机制用于调动各节点参与共识的积极性，识别剔除恶意或错误节点，投票机制用于选择高信任值的节点作为主节点，并且防止主节点因信任值过高长期作为而导致的中心化风险。本发明还根据无人蜂群的分组情况，对无人蜂群的共识过程进行简化，通过先组内共识后再组外共识，减少无人蜂群共识节点的通信次数，大幅提高共识效率。
针对无人蜂群实用拜占庭容错共识算法优化方法系统

[发明专利]基于区块链和IPFS的无人蜂群数据存储方法及系统-CN202310942780.0在审
发明人： 马琳茹;周鑫;张龙 -专利权人：中国人民解放军军事科学院系统工程研究院
申请日： 2023-07-31 - 公布日： 2023-08-29 - 主分类号： G06F16/27 文献下载
摘要：本发明提出基于区块链和IPFS的无人蜂群数据存储方法及系统，属于无人蜂群数据存储技术领域。在本发明所述的方法中，无人蜂群中的每一个无人机节点作为区块链系统的网络节点，共同维护一个分布式账本，通过公私钥加解密和数据哈希链式存储等区块链技术手段，保证无人机上链数据的真实性和完整性。使用基于星际文件系统IPFS的数据存储模式，将无人机节点采集的视频、图像等物联网数据分割成若干小文件，哈希加密后随机存储在星际文件系统IPFS节点上，取代原来中心化存储方案，实现永久性存储并降低存储成本，将哈希信息上链便于授权节点进行数据检索，大幅提高了无人蜂群节点数据共享效率。
基于区块 ipfs 无人蜂群数据存储方法系统

[发明专利]一种基于OSPF的安全路由协议方法和系统-CN202111438825.8有效
发明人：杨林;马琳茹;王雯;张紫萱 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2021-11-29 - 公布日： 2023-08-08 - 主分类号： H04L9/08 文献下载
摘要：本发明提出一种基于OSPF的安全路由协议方法和系统。所述方法包括：步骤S1、OSPF协议报文的发送方和接收方进行随机数协商，所述OSPF为开放最短路径优先协议；步骤S2、所述发送方采用杂凑值对待发送的所述OSPF协议报文进行封装加固，将经封装加固的OSPF协议报文发送至所述接收方，并为所述经封装加固的OSPF协议报文分配发送序号；步骤S3、所述接收方在接收到所述经封装加固的OSPF协议报文后，提取所述经封装加固的OSPF协议报文的所述发送序号，并将所述发送序号与接收端维持的接收序号进行比较。
一种基于 ospf 安全路由协议方法系统

[发明专利]一种设计层形式化验证方法及系统-CN202310024402.4有效
发明人：杨林;张龙;杨峰;马琳茹;匡洪宇 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2023-01-09 - 公布日： 2023-05-05 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种设计层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：获取所述操作系统的设计层文档；使用Isabelle元语言对数据结构和状态进行形式化描述；基于经过形式化描述的数据结构和状态，使用状态单子对设计层的算法的函数功能进行形式化描述，以得到设计层功能函数模型；获取操作系统的需求层功能函数模型，对设计层功能函数模型与需求层功能函数模型进行精化验证。本发明实现了操作系统设计层形式化描述的通用性，提高了操作系统设计层形式化验证的效率。
一种设计形式化验证方法系统

[发明专利]一种需求层形式化验证方法及系统-CN202310009946.3有效
发明人：杨林;张龙;匡洪宇;马琳茹;杨峰 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2023-01-05 - 公布日： 2023-05-05 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种需求层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：基于所述操作系统的需求文档提取操作系统的功能点，通过构建状态机模型对所述功能点的需求进行形式化描述，得到所述操作系统需求的形式化模型；获取用户自定义的功能安全需求的自然语言描述，通过构造不变式对所述功能安全需求进行形式化描述，得到功能安全模型；对所述操作系统形式化模型在执行过程中是否满足所述不变式进行验证，以验证所述操作系统是否符合所述功能安全模型。本发明提高了验证的效率，并较全面地对操作系统进行了功能安全性的验证。
一种需求形式化验证方法系统

[发明专利]一种规模无关的快速路由收敛方法-CN202211314727.8有效
发明人：杨林;吴捷;马琳茹;李鉴;王强 -专利权人：中国人民解放军军事科学院系统工程研究院;中国电子科技集团公司第三十研究所
申请日： 2022-10-26 - 公布日： 2023-04-07 - 主分类号： H04L45/42 文献下载
摘要：本发明提出一种规模无关的快速路由收敛方法，属于网络控制技术领域。在所述方法中，位于中继域的边缘路由器Ri获取与其关联的用户域的若干IP前缀，经由标准路由协议向位于中继域的其他路由器发布获取到的若干IP前缀，并将边缘路由器Ri的唯一标识信息附加在发布报文中，其他路由器根据接收到的发布报文，在本地建立边缘路由器Ri关联的若干IP前缀与边缘路由器Ri的唯一标识之间的映射关系。本方法用于解决路由表规模增大到一定量级后路由收敛时间难以有效降低的技术问题。
一种规模无关快速路由收敛方法

[发明专利]一种形式化验证方法及系统-CN202310009947.8有效
发明人：杨林;张龙;杨峰;马琳茹 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2023-01-05 - 公布日： 2023-04-07 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：在Isabelle环境中执行如下操作：构建以状态机表示的操作系统的基本执行模型；根据基本执行模型，使用元语言对所述操作系统的功能点需求进行描述，得到操作系统的需求形式化规范，并进行正确性进行验证；使用状态单子描述操作系统的数据结构及算法流程，得到操作系统的设计形式化规范，并对设计符合性进行验证；采用Simpl语言描述操作系统的源代码，以得到操作系统的源代码形式化规范；利用Simpl霍尔逻辑进行正确性及符合性进行验证。本发明具有较高的通用性，便于自动化实现，可应用于各类安全关键领域的操作系统验证。
一种形式化验证方法系统

[发明专利]一种无人系统韧性控制方法及装置-CN202310010525.2在审
发明人：杨林;张龙;许智宁;杨峰;马琳茹 -专利权人：中国人民解放军军事科学院系统工程研究院
申请日： 2023-01-05 - 公布日： 2023-04-04 - 主分类号： G05D1/12 文献下载
摘要：本发明公开了一种无人系统韧性控制方法及装置，属于无人系统路径规划技术领域，用于解决现有无人系统路径规划算法抗干扰能力较差，无法保证无人系统在干扰环境内安全运行的问题。该方法包括：根据环境干扰力确定满足无人系统韧性控制的最小安全距离；判断将无人系统在当前路径节点的各内环节点作为下一个路径节点时，以判断无人系统是否存在碰撞风险；根据碰撞风险判断结果，计算在当前路径节点下各内环节点的搜索算法代价函数值以及无人系统从当前路径节点移动到下一个路径节点所受到的合力；将搜索算法代价函数值最低的内环节点作为下一个路径节点，基于合力生成运动控制指令，控制无人系统向下一个路径节点移动。
一种无人系统韧性控制方法装置

[发明专利]一种基于密码技术的网络地址和端口号隐藏方法-CN202211283422.5有效
发明人：杨林;吴海涛;马琳茹;李鉴;王强;谢卫 -专利权人：中国人民解放军军事科学院系统工程研究院;中国电子科技集团公司第三十研究所
申请日： 2022-10-20 - 公布日： 2023-02-17 - 主分类号： H04L9/40 文献下载
摘要：本发明提出一种基于密码技术的网络地址和端口号隐藏方法，属于网络控制技术领域。所述方法包括：位于中继域的第一边缘交换设备接收来自第一用户域的数据包，数据包的原始报文格式包括以太网头部、IP头部、TCP/UDP头部和流量数据净荷；所述第一边缘交换设备在所述IP头部中配置IP头部选项字段；基于所述经配置的IP头部选项字段确定所述IP地址信息的替换值和所述端口信息的替换值，以填充覆盖各自的原始值，将经填充覆盖处理的数据包转发至位于所述中继域的第二边缘交换设备。所述方法用于实现对外隐藏内部地址和端口，可有效提升内部网络安全性。
一种基于密码技术网络地址端口隐藏方法

[发明专利]一种网络设备内核可信度量与自动修复方法-CN202211276276.3有效
发明人：杨林;谢卫;马琳茹;李鉴;王强;代富江 -专利权人：中国人民解放军军事科学院系统工程研究院;中国电子科技集团公司第三十研究所
申请日： 2022-10-19 - 公布日： 2022-12-23 - 主分类号： G06F21/57 文献下载
摘要：本发明提出一种网络设备内核可信度量与自动修复方法，属于网络设备安全技术领域。所述方法对交换设备中的存储介质进行划分，分为两个具有相同加密算法和内核文件的分区；基于加密算法分别对第一分区和第二分区中的内核文件进行加密，利用公私钥对生成经加密的第一分区内核文件的签名和第二分区内核文件的签名；初始化交换设备并启动引导加载程序BootLoader，以完成对所述第一分区/所述第二分区中的内核文件的调用；挂载经调用的第一分区/第二分区中的内核文件，将经挂载的内核文件拷贝到未被调用的分区中。本方法通过内核文件加密和签名结合的方式解决安全保护相对较弱的技术。
一种网络设备内核可信度量自动修复方法

[发明专利]一种高安全网络的集中连接控制方法-CN202211271249.7有效
发明人：杨林;胡鹏;马琳茹;李鉴;康敏;王强 -专利权人：中国人民解放军军事科学院系统工程研究院;中国电子科技集团公司第三十研究所
申请日： 2022-10-18 - 公布日： 2022-12-09 - 主分类号： H04L9/40 文献下载
摘要：本发明提出一种高安全网络的集中连接控制方法，属于网络连接控制技术领域。所述高安全网络包括M个经网络划分的区域和用于管理K个区域的网络管理中心，M和K均为正整数且K≤M，每个区域均配置有区域管理中心，所述每个区域包括NISS节点和非NISS节点，所述NISS节点为能够提供号码查询服务的交换机节点，所述非NISS节点为无法提供所述号码查询服务的交换机节点。所述方法能够解决网络可扩展性受限、部署灵活性低下以及网络可管理性差的问题。
一种安全网络集中连接控制方法

[发明专利]一种局域网交换设备接入认证与可信组网的方法-CN202211271629.0有效
发明人：杨林;王星慧;马琳茹;李鉴;王强;谢卫 -专利权人：中国人民解放军军事科学院系统工程研究院;中国电子科技集团公司第三十研究所
申请日： 2022-10-18 - 公布日： 2022-12-09 - 主分类号： H04L9/40 文献下载
摘要：本发明提出一种局域网交换设备接入认证与可信组网的方法，属于网络连接控制技术领域。所述方法通过在所述局域网内的每个交换设备上集成安全可信卡来实现各个交换设备之间的接入认证，从而获取所述局域网内的可信组网。所述安全可信卡以插拔的方式与所述交换设备的主板连接，连接端口为位于所述主板上的Mini‑PCI‑E端口，所述安全可信卡的软件模块由驱动程序TDD和经封装的标准库TDDL组成，所述软件模块与所述交换设备的操作系统中的网络协议栈进行通信，同时提供内核接口与上层应用进行交互。
一种局域网交换设备接入认证可信组网方法

[发明专利]一种伴生式网络构建与共同演化方法-CN202210888014.6有效
发明人：杨林;王雯;马琳茹 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2022-07-27 - 公布日： 2022-10-28 - 主分类号： H04L9/40 文献下载
摘要：本发明提出一种伴生式网络构建与共同演化方法，属于网络安全技术领域。所述方法用于为业务网络构建对应的伴生网络，其中所述伴生网络的构建基于控制器来实现，所述控制器包括网络状态同步模块、资源调度模块和安全控制模块。所述伴生网络和所述业务网络通过共同演化来抵御网络中的各类攻击。
一种伴生网络构建共同演化方法

[发明专利]一种对抗驱动的异常检测进化方法-CN202210953486.5有效
发明人：杨林;王雯;马琳茹 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2022-08-10 - 公布日： 2022-10-21 - 主分类号： H04L9/40 文献下载
摘要：本发明提出一种对抗驱动的异常检测进化方法，属于网络攻击检测技术领域。所述方法通过自体特征和检测匹配器的动态演化以及对抗驱动演化，实现异常检测能力的不断提高，从而能够有效应对网络环境中的未知威胁发现。
一种对抗驱动异常检测进化方法

[发明专利]一种基于多变体的软件安全防御方法和系统-CN202210732182.6有效
发明人：杨林;王雯;马琳茹;陈实 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2022-06-27 - 公布日： 2022-08-30 - 主分类号： G06F8/20 文献下载
摘要：本发明提出一种基于多变体的软件安全防御方法和系统，属于软件防御技术领域。所述方法包括：获取与软件服务对应的软件代码，基于所述软件代码的形式构造所述软件服务的多个软件变体，所述软件代码的形式包括软件源代码和软件中间代码；将构造出的所述软件服务的多个软件变体部署到多变体运行环境中，以构成软件服务变体集群，部署的所述多个软件变体向软件服务请求方提供软件服务，所述多变体运行环境包括若干容器，每个所述容器中至少包含一个所述软件变体。本发明以多样化的方法，使得信息系统具备应对和适应不断变化的环境，提高攻击难度，有效解决缺陷同质性带来的软件防御难题。
一种基于多变软件安全防御方法系统

1
2
下一页»
尾页
共 29 条