-
公开(公告)号：CN104503788A
公开(公告)日：2015-04-08
申请号：CN201410784129.6
申请日：2014-12-16
Applicant: 电子科技大学
IPC: G06F9/445
Abstract: 本发明公开了一种缩短安卓操作系统启动时间的设置方法，属于操作系统快速启动技术领域。本发明包括启动安卓设备，执行引导程序，由引导程序装载Linux内核；再执行安卓用户空间资源加载、本地服务开启和用户分区扫描后，执行Zygote进程，在加载完安卓虚拟机所需的类与资源后，中断该进程并为其设置还原点文件，以及创建还原点文件检查进程，设置该进程在引导程序装载Linux内核后启动，用于判断是否存在所述还原点文件，若存在，则根据还原点文件对初始化安卓虚拟机进程进行还原；若不存在，则执行初始化安卓虚拟机进程。本发明用于安卓设备，能在保证用户体验的前提下显著缩短系统启动时间。
-
公开(公告)号：CN105183551A
公开(公告)日：2015-12-23
申请号：CN201510569965.7
申请日：2015-09-10
Applicant: 电子科技大学
Abstract: 本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括：在Linux内核中创建至少两个容器，并启动容器中的系统；当调用容器的切换命令时，改变容器中的系统的使用状态；基于系统的使用状态，Frame Buffer驱动将图像输出到对应的地址。该方法通过实现显示设备的复用，支持多个Android同时运行，达到多个Android间的快速切换，提高用户体验。
-
公开(公告)号：CN106354630B
公开(公告)日：2018-11-13
申请号：CN201610709221.5
申请日：2016-08-23
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤：对待检测的软件的源程序中的变量添加符号化标识，然后对源程序进行编译处理得到底层虚拟机LLVM中间码；根据指令类型，对LLVM中间码进行分类插桩处理，插入符号执行和缺陷检测指令；将插桩处理后的LLVM中间码编译生成可执行文件；基于生成的可执行文件，进行动态符号执行与缺陷检测：基于动态符号执行对源程序的各个分支进行软件缺陷检测。本发明的实施，能全面地检测程序中各个分支中潜在的缺陷，且缺陷检测效率高。
-
公开(公告)号：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间的快速切换，提高用户体验。
-
Patent Agency Ranking
公开(公告)号：CN104778410A
公开(公告)日：2015-07-15
申请号：CN201510179575.9
申请日：2015-04-16
Applicant: 电子科技大学
IPC: G06F21/56
Abstract: 本发明提供一种应用程序完整性验证方法。内核层捕获打开文件系统调用后，触发内核层中的验证代理模块；验证代理模块获取当前应用程序的文件描述符，通过该文件描述符查看应用程序，判断应用程序是否有完整性扩展属性值，验证代理模块获取应用程序为完整性验证所添加的扩展属性值，计算当前打开应用程序的完整性校验值，再与获取的扩展属性值进行比较。本发明与文件系统完整性验证方法相比减少了验证开销；通过使用文件系统自带的扩展属性存完整性扩展属性值，不需要辅助硬件的存储支持。
-
-
公开(公告)号：CN104636655A
公开(公告)日：2015-05-20
申请号：CN201510063560.6
申请日：2015-02-06
Applicant: 电子科技大学
IPC: G06F21/44
CPC classification number: G06F21/44 , G06F21/602
Abstract: 本发明提供一种热插拔设备的可信验证方法。嵌入式系统开机上电后，对本地已加密的设备数据库进行解密后，获取已插入的热插拔设备的识别码与设备数据库进行匹配验证，如通过验证则加密设备数据库后执行系统登录操作并允许自动挂载已插入的热插拔设备，否则，拒绝执行系统登录操作；登录成功后，当硬件更换可信验证模块实时监测到当前时刻有热插播设备插入，则对本地已加密的设备数据库进行解密后，获取当前插入的热插拔设备的识别码与设备数据库进行匹配验证，如通过验证则加密设备数据库后允许自动挂载当前插入的热插拔设备，否则，拒绝挂载当前插入的热插拔设备。本发明能有效的对嵌入式系统实施保护，防止硬件设备被非法更换。
-
公开(公告)号：CN106095530B
公开(公告)日：2019-10-22
申请号：CN201610405249.X
申请日：2016-06-08
Applicant: 电子科技大学
Inventor： 杨霞 , 郭文生 , 武琼 , 刘维飞 , 汪勇 , 张少鑫 , 袁艺 , 杨姗 , 包灵 , 刘小平 , 廖士钞 , 钟鑫 , 吕清林 , 高正宏 , 丘双华 , 杨拯 , 简鲲鹏
IPC: G06F9/455
Abstract: 本发明基于Linux内核容器技术和显示设备复用技术，具体涉及一种系统级容器技术的多Android系统的容器自动创建及其启动方法。本发明在Linux内核中自动创建容器，启动容器中的系统，确保每个容器独立运行一个Android系统。实现容器管理主进程和容器管理从进程的通信，在此基础上，实现容器管理主进程向容器管理从进程发送创建和启动消息，容器管理从进程接收并处理消息来完成的。本发明提供的多Android系统的创建及其启动方法，实现了自行地在Linux内核中创建，和启动容器；再次启动设备，容器管理模块根据系统中所创建的容器，启动容器。
-
公开(公告)号：CN106354630A
公开(公告)日：2017-01-25
申请号：CN201610709221.5
申请日：2016-08-23
Applicant: 电子科技大学
IPC: G06F11/36
CPC classification number: G06F11/3688
Abstract: 本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤：对待检测的软件的源程序中的变量添加符号化标识，然后对源程序进行编译处理得到底层虚拟机LLVM中间码；根据指令类型，对LLVM中间码进行分类插桩处理，插入符号执行和缺陷检测指令；将插桩处理后的LLVM中间码编译生成可执行文件；基于生成的可执行文件，进行动态符号执行与缺陷检测：基于动态符号执行对源程序的各个分支进行软件缺陷检测。本发明的实施，能全面地检测程序中各个分支中潜在的缺陷，且缺陷检测效率高。
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.018 seconds)
