-
公开(公告)号：CN106354630B
公开(公告)日：2018-11-13
申请号：CN201610709221.5
申请日：2016-08-23
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤：对待检测的软件的源程序中的变量添加符号化标识，然后对源程序进行编译处理得到底层虚拟机LLVM中间码；根据指令类型，对LLVM中间码进行分类插桩处理，插入符号执行和缺陷检测指令；将插桩处理后的LLVM中间码编译生成可执行文件；基于生成的可执行文件，进行动态符号执行与缺陷检测：基于动态符号执行对源程序的各个分支进行软件缺陷检测。本发明的实施，能全面地检测程序中各个分支中潜在的缺陷，且缺陷检测效率高。
-
公开(公告)号：CN107395507A
公开(公告)日：2017-11-24
申请号：CN201710772588.6
申请日：2017-08-31
Applicant: 电子科技大学
IPC: H04L12/733 , H04L12/727 , H04L12/721 , H04L12/933 , H04L12/26
Abstract: 本发明公开了一种用于片上网络NoC的测试感知映射方法,包括以下步骤：S1.确定映射首节点：根据片上网络NoC中各节点的空闲邻节点数、可测链路数以及与控制节点的距离，确定映射首节点；S2.进行任务映射：将片上网络NoC的应用程序看作一组通信任务，将通信任务按照通信量进行排序，形成任务队列，从首节点开始，按照确定性映射策略对应用程序的各组通信任务进行映射。本发明提供了一种用于片上网络NoC的测试感知映射方法，防止了区域碎片化，降低了拥塞概率，避免了测试使用映射占用的链接，减少了系统延迟，并平衡了通信距离和区域邻接度。
-
公开(公告)号：CN104778410B
公开(公告)日：2017-07-11
申请号：CN201510179575.9
申请日：2015-04-16
Applicant: 电子科技大学
IPC: G06F21/56
Abstract: 本发明提供一种应用程序完整性验证方法。内核层捕获打开文件系统调用后，触发内核层中的验证代理模块；验证代理模块获取当前应用程序的文件描述符，通过该文件描述符查看应用程序，判断应用程序是否有完整性扩展属性值，验证代理模块获取应用程序为完整性验证所添加的扩展属性值，计算当前打开应用程序的完整性校验值，再与获取的扩展属性值进行比较。本发明与文件系统完整性验证方法相比减少了验证开销；通过使用文件系统自带的扩展属性存完整性扩展属性值，不需要辅助硬件的存储支持。
-
公开(公告)号：CN105183551B
公开(公告)日：2019-12-10
申请号：CN201510569965.7
申请日：2015-09-10
Applicant: 电子科技大学
Abstract: 本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括：在Linux内核中创建至少两个容器，并启动容器中的系统；当调用容器的切换命令时，改变容器中的系统的使用状态；基于系统的使用状态，Frame Buffer驱动将图像输出到对应的地址。该方法通过实现显示设备的复用，支持多个Android同时运行，达到多个Android间的快速切换，提高用户体验。
-
公开(公告)号：CN104778410A
公开(公告)日：2015-07-15
申请号：CN201510179575.9
申请日：2015-04-16
Applicant: 电子科技大学
IPC: G06F21/56
Abstract: 本发明提供一种应用程序完整性验证方法。内核层捕获打开文件系统调用后，触发内核层中的验证代理模块；验证代理模块获取当前应用程序的文件描述符，通过该文件描述符查看应用程序，判断应用程序是否有完整性扩展属性值，验证代理模块获取应用程序为完整性验证所添加的扩展属性值，计算当前打开应用程序的完整性校验值，再与获取的扩展属性值进行比较。本发明与文件系统完整性验证方法相比减少了验证开销；通过使用文件系统自带的扩展属性存完整性扩展属性值，不需要辅助硬件的存储支持。
-
Patent Agency Ranking
-
公开(公告)号：CN104636655A
公开(公告)日：2015-05-20
申请号：CN201510063560.6
申请日：2015-02-06
Applicant: 电子科技大学
IPC: G06F21/44
CPC classification number: G06F21/44 , G06F21/602
Abstract: 本发明提供一种热插拔设备的可信验证方法。嵌入式系统开机上电后，对本地已加密的设备数据库进行解密后，获取已插入的热插拔设备的识别码与设备数据库进行匹配验证，如通过验证则加密设备数据库后执行系统登录操作并允许自动挂载已插入的热插拔设备，否则，拒绝执行系统登录操作；登录成功后，当硬件更换可信验证模块实时监测到当前时刻有热插播设备插入，则对本地已加密的设备数据库进行解密后，获取当前插入的热插拔设备的识别码与设备数据库进行匹配验证，如通过验证则加密设备数据库后允许自动挂载当前插入的热插拔设备，否则，拒绝挂载当前插入的热插拔设备。本发明能有效的对嵌入式系统实施保护，防止硬件设备被非法更换。
-
公开(公告)号：CN107688709B
公开(公告)日：2019-12-03
申请号：CN201710772536.9
申请日：2017-08-31
Applicant: 电子科技大学
IPC: G06F17/50
Abstract: 本发明公开了一种片上网络NoC的寿命优化映射方法，包括以下步骤：S1.首节点选择：在目标应用程序的映射开始之前，基于片上网络NoC中各节点的空闲邻节点数和对应的区域预算寿命，确定映射首节点；S2.映射策略优化，将目标应用程序看作一组通信任务，从首节点开始，对目标应用程序所包含的通信任务进行映射，并在映射过程中，避开片上网络NoC中老化严重的链路。本发明提供了一种片上网络NoC的寿命优化映射方法，平衡了片上网络NoC的磨损，延长了片上网络NoC的服务时间。
-
公开(公告)号：CN104503788A
公开(公告)日：2015-04-08
申请号：CN201410784129.6
申请日：2014-12-16
Applicant: 电子科技大学
IPC: G06F9/445
Abstract: 本发明公开了一种缩短安卓操作系统启动时间的设置方法，属于操作系统快速启动技术领域。本发明包括启动安卓设备，执行引导程序，由引导程序装载Linux内核；再执行安卓用户空间资源加载、本地服务开启和用户分区扫描后，执行Zygote进程，在加载完安卓虚拟机所需的类与资源后，中断该进程并为其设置还原点文件，以及创建还原点文件检查进程，设置该进程在引导程序装载Linux内核后启动，用于判断是否存在所述还原点文件，若存在，则根据还原点文件对初始化安卓虚拟机进程进行还原；若不存在，则执行初始化安卓虚拟机进程。本发明用于安卓设备，能在保证用户体验的前提下显著缩短系统启动时间。
-
公开(公告)号：CN107395507B
公开(公告)日：2019-09-03
申请号：CN201710772588.6
申请日：2017-08-31
Applicant: 电子科技大学
IPC: H04L12/733 , H04L12/727 , H04L12/721 , H04L12/933 , H04L12/26
Abstract: 本发明公开了一种用于片上网络NoC的测试感知映射方法,包括以下步骤：S1.确定映射首节点：根据片上网络NoC中各节点的空闲邻节点数、可测链路数以及与控制节点的距离，确定映射首节点；S2.进行任务映射：将片上网络NoC的应用程序看作一组通信任务，将通信任务按照通信量进行排序，形成任务队列，从首节点开始，按照确定性映射策略对应用程序的各组通信任务进行映射。本发明提供了一种用于片上网络NoC的测试感知映射方法，防止了区域碎片化，降低了拥塞概率，避免了测试使用映射占用的链接，减少了系统延迟，并平衡了通信距离和区域邻接度。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.023 seconds)
