-
公开(公告)号：CN113267909B
公开(公告)日：2021-10-08
申请号：CN202110810468.7
申请日：2021-07-19
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G02F1/01
Abstract: 本发明保护一种基于波前畸变补偿的防窥显示方法，在显示器前方覆盖可调谐相位板阵列，屏幕光能够透过相位板阵列并产生波前畸变，无论是屏幕资料专供使用者还是窥伺者都不能读取屏幕显示的正常信息；屏幕资料专供使用者配戴波前畸变补偿眼镜、补偿由相位板产生的屏幕光波前畸变并看清屏幕；可调谐相位板阵列的相位分布和波前畸变补偿眼镜的相位分布始终保持互补，双方由无线通信交互的共享密钥实现同步一致；窥伺者无法知悉密钥内容，即便具备波前畸变补偿能力也无法实时读取屏幕信息。本发明有效结合了无线通信、密钥分发、自适应光学等技术，有效地防止非合作人员窥伺屏幕显示的安全关切信息，为移动办公环境下视觉黑客的防范提供一种全新解决方案。
-
公开(公告)号：CN113268786A
公开(公告)日：2021-08-17
申请号：CN202110810476.1
申请日：2021-07-19
Applicant: 军事科学院系统工程研究院网络信息研究所
Inventor： 杨林
Abstract: 本发明要求保护一种基于视觉暂留时域斩波的防窥显示方法，改变显示器刷新模式，随机选取帧间隔将待显示图像替换为干扰白屏，在视觉暂留影响下，无论屏幕资料专供使用者还是窥伺者都只能看到干扰白屏和显示图像混叠的干扰图像；屏幕资料专供使用者配戴斩波眼镜，斩波眼镜与屏幕显示器保持时间同步、高透过率时间窗口与屏幕图像时序位置重合，斩波眼镜能够将干扰白屏有效滤除，使用者能够清晰地看到屏幕图像。本发明有效利用视觉暂留现象实现了屏幕图像的白光隐藏，有效阻止屏幕资料专供使用者正后方的窥伺行为，并通过无线信道同步信号交互进一步实现动态可调的屏幕保护，为移动办公环境下视觉黑客的防范提供了一种简便易行可靠的技术手段。
-
公开(公告)号：CN113268785A
公开(公告)日：2021-08-17
申请号：CN202110810448.X
申请日：2021-07-19
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供了一种基于目标识别自动定焦的防窥显示方法，在显示器前方覆盖光学相控阵，通过阵列化全光相位调控将屏幕图像焦距锁定于屏幕资料专供使用者瞳孔附近并缩小景深，通过前置摄像头识别屏幕资料专供使用者身份并通过图像处理实时跟踪瞄准屏幕资料专供使用者瞳孔位置和大小等信息，通过前置摄像头和光学相控阵的配合实现除屏幕资料专供使用者外任何人均无法看清屏幕显示器的防窥显示效果。本发明有效结合了光学相控阵、图像处理、模式识别等技术，不仅能基于人脸识别实现屏幕资料专供使用者的身份识别，还能通过焦距和景深控制阻止窥伺者通过屏幕读取有效信息，为移动办公环境下电子设备安全防护提供了物理层的有效手段。
-
公开(公告)号：CN110376821A
公开(公告)日：2019-10-25
申请号：CN201910623845.9
申请日：2019-07-11
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种基于光学克尔效应的芯片集成全光相位调制方法、系统及存储介质，其中方法包括在芯片集成光路某一段传输波导内注入高功率X波段驱动光；驱动光引起非线性光学克尔效应，改变传输波导有效折射率；有效折射率变化影响该波导内传输的Y波段信号光，使其相位发生改变，实现光场调控。本发明可以减小由于特殊结构引入的传输损耗、机械易损特性和由外置电压带来的安全隐患；不会对信号光产生明显影响；通过一次曝光刻蚀过程直接加工制备。驱动光引入的额外损耗可忽略不计、信号光处于单光子良机，采用上述结构的量子干涉仪各臂传输损耗近似相同，干涉对比度有望接近理想值。
-
公开(公告)号：CN115687166B
公开(公告)日：2023-04-07
申请号：CN202310009947.8
申请日：2023-01-05
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F11/36
Abstract: 本发明公开了一种形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：在Isabelle环境中执行如下操作：构建以状态机表示的操作系统的基本执行模型；根据基本执行模型，使用元语言对所述操作系统的功能点需求进行描述，得到操作系统的需求形式化规范，并进行正确性进行验证；使用状态单子描述操作系统的数据结构及算法流程，得到操作系统的设计形式化规范，并对设计符合性进行验证；采用Simpl语言描述操作系统的源代码，以得到操作系统的源代码形式化规范；利用Simpl霍尔逻辑进行正确性及符合性进行验证。本发明具有较高的通用性，便于自动化实现，可应用于各类安全关键领域的操作系统验证。
-
Patent Agency Ranking
公开(公告)号：CN115827494A
公开(公告)日：2023-03-21
申请号：CN202310024402.4
申请日：2023-01-09
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种设计层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：获取所述操作系统的设计层文档；使用Isabelle元语言对数据结构和状态进行形式化描述；基于经过形式化描述的数据结构和状态，使用状态单子对设计层的算法的函数功能进行形式化描述，以得到设计层功能函数模型；获取操作系统的需求层功能函数模型，对设计层功能函数模型与需求层功能函数模型进行精化验证。本发明实现了操作系统设计层形式化描述的通用性，提高了操作系统设计层形式化验证的效率。
-
公开(公告)号：CN115687165A
公开(公告)日：2023-02-03
申请号：CN202310009946.3
申请日：2023-01-05
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F11/36
Abstract: 本发明公开了一种需求层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：基于所述操作系统的需求文档提取操作系统的功能点，通过构建状态机模型对所述功能点的需求进行形式化描述，得到所述操作系统需求的形式化模型；获取用户自定义的功能安全需求的自然语言描述，通过构造不变式对所述功能安全需求进行形式化描述，得到功能安全模型；对所述操作系统形式化模型在执行过程中是否满足所述不变式进行验证，以验证所述操作系统是否符合所述功能安全模型。本发明提高了验证的效率，并较全面地对操作系统进行了功能安全性的验证。
-
公开(公告)号：CN115639769A
公开(公告)日：2023-01-24
申请号：CN202211205426.1
申请日：2022-09-30
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B19/042
Abstract: 本公开提出一种安全智能控制方法及系统，属于系统控制技术领域。其中，所述方法包括：步骤S1、根据预设任务目标的位置信息和无人设备的位置信息获取所述无人设备的行驶路径；步骤S2、根据所述无人设备的当前行驶状态确定所述无人设备的行驶控制方式；步骤S3、所述无人设备采用所述行驶控制方式在所述行驶路径上行驶，并采集行驶过程中的实时环境信息和实时参数信息；步骤S4、基于所述实时环境信息和所述实时参数信息更新所述行驶控制方式，所述无人设备切换至经更新的行驶控制方式。上述方法在系统出现故障的情况下能够快速进行故障诊断定位以及安全控制切换，从而避免系统崩溃造成更严重的后果。
-
公开(公告)号：CN114995809B
公开(公告)日：2022-09-30
申请号：CN202210855845.3
申请日：2022-07-21
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种可证明的高安全软件构造方法及系统，所述方法包括：获取待构造的软件需求，基于自定义的需求语言表述所述软件需求，得到表述后的软件需求；基于所述表述后的软件需求，采用AADL语言建立与所述待构造的软件对应的初始模型；基于所述表述后的软件需求中各条需求的类型字段对应的属性值，实例化所述初始模型，得到实例化后的模型；对所述实例化后的模型进行形式化验证，基于验证结果，对所述实例化后的模型进行修正或保持，得到验证后的模型；由AADL语言描述所述验证后的模型，得到AADL模型；生成与所述AADL模型对应的C语言代码。根据本发明的方案，提高了高安全要求的嵌入式软件系统的质量和研发效率。
-
公开(公告)号：CN114780568B
公开(公告)日：2022-09-20
申请号：CN202210708483.5
申请日：2022-06-22
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F16/23 , G06F16/2458 , G06F16/27 , G06F21/60 , G06F21/64
Abstract: 本发明提出一种分布式多方数据一致性更新方法和系统，属于数据处理技术领域。在所述方法中对于多个数据方，其各自的本地数据库相互独立且隔离，所述方法利用智能合约实现存储于若干不同的本地数据库中的相同数据的一致性更新。本发明通过智能合约维护分布式数据之间的关联关系，在数据变化时自动检查并同步更新；部门根据权限存储本地维护数据，数据修改记录上链存储，数据更新时二者相互验证保证数据安全不被篡改；数据在数据库中加密存储、同步过程中加密传输，密钥由智能合约维护，仅具备权限的用户可获取相应密钥，防止非法窃取数据。
-
-
-
-
-
-
-
-
-
Search Results
116
records
(took 0.053 seconds)
