-
公开(公告)号：CN114611165B
公开(公告)日：2025-03-18
申请号：CN202011443440.6
申请日：2020-12-08
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F21/84
Abstract: 本发明公开了一种双目视差补偿的防窥显示方法，在显示器前方放置由分束器、调制器、合束器组成的模糊化处理膜，将屏幕光分为两束、经过不同调制处理后重新合为一束并在空间产生一定的偏移量，屏幕资料专供使用者配戴视差补偿眼镜，补偿由于模糊处理产生的双目视差，使得左右眼看到一致的屏幕图像。本发明有效结合了无线通信、同步调制、光场调控和视觉成像等技术，能够有效阻止屏幕资料专供使用者正后方的窥伺者读取屏幕上现实的敏感信息，为移动办公环境下的电子设备防窥防黑提供解决方案。
-
公开(公告)号：CN113945399B
公开(公告)日：2024-05-24
申请号：CN202010689481.7
申请日：2020-07-17
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G01M99/00
Abstract: 本发明公开了一种基于发光材料的设备安全性与环境适应性测量方法，将应力发光材料、电致发光材料、热致发光材料喷涂于待检测设备表面并进行与机械性能、电学性能、热学性能相关的安全性与环境适应性测试评估，发光材料会在各种外力、电磁场、热流的作用下辐射光信号；通过成像系统、波分复用器和光电探测器，可对各种原因产生的光辐射信号分别进行阵列成像、参量还原、立体重构，由此获得的设备应力分布、电场分布和热量分布可为设备六性指标设计评估提供无接触、可定量、可回溯的测量手段。
-
公开(公告)号：CN113378246B
公开(公告)日：2024-05-14
申请号：CN202110810470.4
申请日：2021-07-19
Applicant: 军事科学院系统工程研究院网络信息研究所
Inventor： 杨林
IPC: G06F21/84
Abstract: 本发明将含高安全等级信息的图像随机拆解为两帧互补图像，其中一帧由可见光屏幕显示，另一帧由红外屏幕显示，此时屏幕资料专供使用者和非合作者通过肉眼只能观察到由可见光屏幕显示的一帧图像；屏幕资料专供使用者通过红外增强眼镜同时看清可见光屏幕和红外屏幕显示的图像，并自动通过视神经合成还原出高安全等级信息所在原始图像。本发明有效结合了图像处理技术和光电子学技术，充分借助了人眼内生的视觉合成能力，能够通过图形变换有效阻止屏幕资料专供使用者正后方的窥伺者读取屏幕上显示的敏感信息，最终为移动办公环境下的电子设备防窥防黑提供重要解决方案。
-
公开(公告)号：CN114172635B
公开(公告)日：2024-01-30
申请号：CN202010950824.0
申请日：2020-09-11
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种基于量子分发的双速业务混叠通信方法、系统及存储介质，发送方将向接收方同时传输安全关切低速数据和非安全关切高速数据；利用量子密钥分发系统为通信双方建立量子真随机数同步共享机制；发送方将非安全关切高速数据分块并根据量子真随机数分布插入安全关切低速数据；接收方根据量子真随机数分布拆分双速数据融合数据，分别提取安全关切低速数据和非安全关切高速数据。本发明为异构数据混合传输提供了全新的解决思路，实现了安全关切低速数据隐蔽性和安全性的同时兼顾，可作为现有信源加密、信道加密技术的重要补充，为光纤通信、无线电通信、无线光通信等应用提供全新的隐蔽安全通信思路。
-
公开(公告)号：CN114172640B
公开(公告)日：2023-09-19
申请号：CN202010950907.X
申请日：2020-09-11
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L9/08
Abstract: 本发明公开了一种基于量子分发的排序置换安全通信方法、系统及存储介质，利用量子密钥分发系统为远端用户建立量子真随机数同步共享机制；通信双方通过量子真随机数实时协商排序置换法则，即通信双方事先商定一个通信数据排序置换法则库、通信双方以量子真随机数为序号调用排序置换法则、按照排序置换法则对通信数据的先后顺序进行调整置换；以此实现高速明文信息的隐蔽安全通信方法。本发明实现低速量子真随机数和高速通信数据的速率适配，可作为现有信源加密、信道加密技术的重要补充，为光纤通信、无线电通信、无线光通信等应用提供全新的隐蔽安全通信思路。
-
Patent Agency Ranking
公开(公告)号：CN115687165B
公开(公告)日：2023-05-05
申请号：CN202310009946.3
申请日：2023-01-05
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F11/36
Abstract: 本发明公开了一种需求层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：基于所述操作系统的需求文档提取操作系统的功能点，通过构建状态机模型对所述功能点的需求进行形式化描述，得到所述操作系统需求的形式化模型；获取用户自定义的功能安全需求的自然语言描述，通过构造不变式对所述功能安全需求进行形式化描述，得到功能安全模型；对所述操作系统形式化模型在执行过程中是否满足所述不变式进行验证，以验证所述操作系统是否符合所述功能安全模型。本发明提高了验证的效率，并较全面地对操作系统进行了功能安全性的验证。
-
公开(公告)号：CN115687166A
公开(公告)日：2023-02-03
申请号：CN202310009947.8
申请日：2023-01-05
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F11/36
Abstract: 本发明公开了一种形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：在Isabelle环境中执行如下操作：构建以状态机表示的操作系统的基本执行模型；根据基本执行模型，使用元语言对所述操作系统的功能点需求进行描述，得到操作系统的需求形式化规范，并进行正确性进行验证；使用状态单子描述操作系统的数据结构及算法流程，得到操作系统的设计形式化规范，并对设计符合性进行验证；采用Simpl语言描述操作系统的源代码，以得到操作系统的源代码形式化规范；利用Simpl霍尔逻辑进行正确性及符合性进行验证。本发明具有较高的通用性，便于自动化实现，可应用于各类安全关键领域的操作系统验证。
-
公开(公告)号：CN114995809A
公开(公告)日：2022-09-02
申请号：CN202210855845.3
申请日：2022-07-21
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种可证明的高安全软件构造方法及系统，所述方法包括：获取待构造的软件需求，基于自定义的需求语言表述所述软件需求，得到表述后的软件需求；基于所述表述后的软件需求，采用AADL语言建立与所述待构造的软件对应的初始模型；基于所述表述后的软件需求中各条需求的类型字段对应的属性值，实例化所述初始模型，得到实例化后的模型；对所述实例化后的模型进行形式化验证，基于验证结果，对所述实例化后的模型进行修正或保持，得到验证后的模型；由AADL语言描述所述验证后的模型，得到AADL模型；生成与所述AADL模型对应的C语言代码。根据本发明的方案，提高了高安全要求的嵌入式软件系统的质量和研发效率。
-
公开(公告)号：CN114640716A
公开(公告)日：2022-06-17
申请号：CN202210506406.1
申请日：2022-05-11
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L67/568 , H04L41/083
Abstract: 本发明提出一种基于快速网络路径的云网络缓存加速系统和方法，属于数据处理技术领域。所述系统包括主机网卡、缓存加速入路径处理模块、内核网络协议栈、缓存应用以及缓存加速出路径处理模块；所述缓存加速入路径处理模块包括主机网卡驱动层的XDP钩子，所述缓存加速出路径处理模块包括Linux流量控制TC钩子，所述XDP钩子和所述TC钩子分别挂载若干eBPF程序，来实现内核内缓存信息的存储、调用和更新。所述系统基于Linux的快速网络路径XDP，在网卡驱动层实现一层缓存，使得用户的请求可以在第一时间被CPU处理并返回回复。
-
公开(公告)号：CN114640682A
公开(公告)日：2022-06-17
申请号：CN202210506380.0
申请日：2022-05-11
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04L67/1023 , H04L47/125 , H04L45/7453
Abstract: 本发明提出一种基于改进无状态哈希的负载均衡方法和系统，属于数据处理技术领域。所述方法基于交换机内的负载均衡器来实现，所述交换机包括入端口、出端口和一个所述负载均衡器。具体包括：对于经由路由器进入交换机的入端口的数据包，负载均衡器计算其连接标识Conn.ID的哈希值，通过对哈希值进行对哈希表长度M取余来确定数据包的序号值，基于序号值与各个服务器的映射表获取与序号值对应的服务器的IP地址，并经由交换机的出端口将数据包发送至与IP地址对应的服务器，以进行数据包的处理。本发明在有效保证连接服务质量的同时充分利用内存资源，并兼容现有的负载均衡体系。
-
-
-
-
-
-
-
-
-
Search Results
116
records
(took 0.055 seconds)
