-
公开(公告)号：CN109491712A
公开(公告)日：2019-03-19
申请号：CN201811293270.0
申请日：2018-11-01
Applicant: 北京京航计算通讯研究所
IPC: G06F9/4401 , G06F21/57
Abstract: 本发明属于嵌入式信息安全技术领域，具体涉及一种适用于VxWorks环境的可信引导方法。该方法系统性地针对VxWorks镜像文件和用户应用程序进行加密，解决了核心知识产权在硬盘中明文存储的问题，使破解人员无法直接进行静态反编译和动态调试，有效地增加了破解难度及系统安全性，进一步保护了核心知识产权。
-
公开(公告)号：CN109388973A
公开(公告)日：2019-02-26
申请号：CN201811293269.8
申请日：2018-11-01
Applicant: 北京京航计算通讯研究所
Inventor： 李卓 , 王颖 , 刘军 , 王黎 , 朱琳 , 韩旭东 , 寇科男 , 王栋 , 张国宇 , 杨楠 , 双世勇 , 孟伟 , 宋悦 , 何占博 , 高飞 , 闫丛 , 张晛 , 吴少雪 , 赵东升 , 李艳军
IPC: G06F21/64
Abstract: 本发明属于电子文件传递共享过程中的电子文件签署技术领域，具体涉及一种用于非网络环境下的电子文件签署方法，其中Hash运算模块对电子文件进行Hash运算，产生相应电子文件的摘要值，并保存为文件，保存摘要值的文件共享给其他用户；秘钥生成模块根据非对称加密算法生成包含和用户信息互相绑定的用户私钥和公钥，用户私钥和公钥共享给其他用户；所述签署模块将所述摘要值和签署意见以及其他可选信息组合后通过非对称加密算法使用用户私钥进行加密，生成签署文件，分享给其他用户。该方法能在非网络环境下使用移动存储介质进行数据传输，对于多方达成一致意见的文件，能够防止文件被篡改，对于各当事人的意见形成签署，防止事后抵赖。
-
公开(公告)号：CN107995186A
公开(公告)日：2018-05-04
申请号：CN201711224619.0
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于无线通信技术领域，具体涉及一种基于时间戳的通信加密方法，其应用于加解密计算资源有限，但对通信安全有较强需求的无线通信环境中。该方法在云端发送给无人值守设备端的指令中先加入当前时间戳，然后再用常规对称加密算法加密，无人值守设备端在接收到指令后先进行解密，然后将时间戳与最近一次接收到指令的时间戳进行比较，若新接收到的指令时间戳早于最近一条或与最近一条相同，则忽略此条指令。从而防止不法分子通过复制指令再次发送的方法劫持无人值守设备。
-
公开(公告)号：CN102789227A
公开(公告)日：2012-11-21
申请号：CN201210271600.2
申请日：2012-08-02
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及基于覆盖率统计的可编程逻辑器件仿真测试方法。目的是为了解决目前可编程逻辑器件仿真测试存在无法保证测试充分性的问题。该方法使用DUT和Testbench文件进行覆盖率评估，对被测试可编程逻辑器件开展测试需求分析，分解出测试项和测试子项，并确定仿真测试类型为功能仿真测试；当不满足语句覆盖率和分支覆盖率评估时，分析未覆盖的原因，进一步完善测试平台并分析相关影响域，若满足覆盖率评估，则测试完成。该方法通过对仿真测试后的语句覆盖率和分支覆盖率进行分析，可有效确认出可编程逻辑器件测试的充分性。本方法有效提升了可编程逻辑器件仿真测试技术水平，对提升可编程逻辑器件质量具有重要的意义。
-
公开(公告)号：CN118154373A
公开(公告)日：2024-06-07
申请号：CN202410214441.5
申请日：2024-02-27
Applicant: 北京京航计算通讯研究所
Abstract: 本发明一种基于三维约束条件的组卷方法及系统、设备、介质，其涉及一种数据应用技术和在线教育技术领域，其包括将第一组卷要求除去第二设定要求生成第二组卷要求，依次利用第二设定要求和第二组卷要求内剩余的第一设定要求组卷；分配每个知识方向的倒数第二个题型和倒数第一个题型；分配每个题型的倒数第二个知识方向和倒数第一个知识方向；得到第一试卷。本发明先通过插桩的方式将用户提出的第一设定要求和试题库无法满足的第二设定要求先配置出第一试卷，可使整个组卷自动地满足知识方向要求、题型要求、难度值设定。上述配置方法通过计算机程序自动完成，实现自动计算、使用成本低、省时省力、错误率低的效果。
-
Patent Agency Ranking
公开(公告)号：CN109491712B
公开(公告)日：2021-09-10
申请号：CN201811293270.0
申请日：2018-11-01
Applicant: 北京京航计算通讯研究所
IPC: G06F9/4401 , G06F21/57
Abstract: 本发明属于嵌入式信息安全技术领域，具体涉及一种适用于VxWorks环境的可信引导方法。该方法系统性地针对VxWorks镜像文件和用户应用程序进行加密，解决了核心知识产权在硬盘中明文存储的问题，使破解人员无法直接进行静态反编译和动态调试，有效地增加了破解难度及系统安全性，进一步保护了核心知识产权。
-
公开(公告)号：CN108134777B
公开(公告)日：2021-06-08
申请号：CN201711224690.9
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于无线通信技术领域，具体涉及一种基于时间戳的通信加密系统，其应用于加解密计算资源有限，但对通信安全有较强需求的无线通信环境中。该系统在云端发送给无人值守设备端的指令中先加入当前时间戳，然后再用常规对称加密算法加密，无人值守设备端在接收到指令后先进行解密，然后将时间戳与最近一次接收到指令的时间戳进行比较，若新接收到的指令时间戳早于最近一条或与最近一条相同，则忽略此条指令。从而防止不法分子通过复制指令再次发送的方法劫持无人值守设备。
-
公开(公告)号：CN111124897A
公开(公告)日：2020-05-08
申请号：CN201911244969.2
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种可重用仿真接口模型的生成方法，属于可编程逻辑器件软件的测试与验证领域。所述方法包括以下步骤：步骤1：获取接口协议、时序及功能描述；步骤2：提取可扩展参数；步骤3：构建参数控制体；步骤4：实体描述；步骤5组合封装。与现有技术相比，本发明形成的仿真接口模型具有可重用特性，对可扩展参数进行设置后，可用于其他可编程逻辑器件软件的仿真平台，提高可编程逻辑器件软件仿真平台的搭建效率。
-
公开(公告)号：CN109409130A
公开(公告)日：2019-03-01
申请号：CN201811293271.5
申请日：2018-11-01
Applicant: 北京京航计算通讯研究所
Inventor： 李卓 , 王颖 , 刘军 , 王黎 , 朱琳 , 韩旭东 , 寇科男 , 王栋 , 张国宇 , 杨楠 , 双世勇 , 孟伟 , 宋悦 , 何占博 , 高飞 , 闫丛 , 张晛 , 吴少雪 , 赵东升 , 李艳军
Abstract: 本发明属于电子文件传递共享过程中的电子文件签署技术领域，具体涉及一种用于非网络环境下的电子文件签署系统，其中Hash运算模块对电子文件进行Hash运算，产生相应电子文件的摘要值，并保存为文件，保存摘要值的文件共享给其他用户；秘钥生成模块根据非对称加密算法生成包含和用户信息互相绑定的用户私钥和公钥，用户私钥和公钥共享给其他用户；所述签署模块将所述摘要值和签署意见以及其他可选信息组合后通过非对称加密算法使用用户私钥进行加密，生成签署文件，分享给其他用户。该系统能在非网络环境下使用移动存储介质进行数据传输，对于多方达成一致意见的文件，能够防止文件被篡改，对于各当事人的意见形成签署，防止事后抵赖。
-
公开(公告)号：CN106508031B
公开(公告)日：2014-04-02
申请号：CN201110012677.3
申请日：2011-09-09
Applicant: 北京京航计算通讯研究所
IPC: G06F17/50
Abstract: 本发明属于可编程逻辑器件测试技术领域，本发明的目的是为了解决FPGA安全性测试需求不足的问题，同时为了提高FPGA测试需求覆盖的充分性和优先级确定的准确性。本发明采用的技术方案为：1)从开发文档、技术文件、芯片手册文档中获取被测FPGA的信息；2)对FPGA工作系统进行定义；3)进行故障模式影响分析；4)进行危害性分析，根据用户需求，也可不进行危害性分析，直接转步骤5)；5)确定FPGA工作系统安全性测试需求项。本发明提供的分析方法提高了FPGA测试需求覆盖的充分性和完整性以及测试类型的充分性和完整性。
-
-
-
-
-
-
-
-
-
Search Results
31
records
(took 0.034 seconds)
