杨姗
- 作品数：18 被引量：17H指数：2
- 供职机构：电子科技大学更多>>
- 发文基金：国家科技支撑计划中央高校基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Linux容器技术的多Android系统之间切换方法
- 本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括：在Linux内核中创建至少两个容器，并启动容器中的系统；当调用容器的切换命令时，改变容器中的系统的使用状态；基于系统的使用状态，Frame Buf...
- 杨霞桑楠孙超群石鹏刘志伟雷林孙海泳刘维飞武琼袁艺杨姗廖士钞王树银杨拯
- 文献传递
- 基于MILS架构多级安全操作系统的若干关键技术研究
- 在近几十年,计算机的发展经历着不断地更新,伴随着互联网的发展,经历了几次更新换代过程后,计算机更是在人们的生活中变得无处不在。但是,在享受由计算机和互联网的飞速发展所带来的便利的同时,我们又不得不承受与之而来的危害。比如...
- 杨姗
- 关键词：虚拟化实时调度强制访问控制
- 文献传递
- 针对RTOS的轻量级强制访问控制技术的研究与实现被引量：12
- 2018年
- 强制访问控制技术可以控制系统中所有主体对客体的访问操作,是系统安全增强的有效措施之一。在实时操作系统中,增加强制访问控制机制可以有效地提高系统的安全性,使其通过较高安全等级的认证。针对实时操作系统资源少、开销小、实时性要求严格等特点,首先提出了一种针对RTOS的轻量级强制访问控制模型;然后提供了可配置的访问监控器,并提出了基于DTE的任务权限集安全模型,设计了轻量级安全策略;最后基于RTEMS系统实现了一个原型系统,并实现了安全策略配置工具。通过功能测试和性能测试验证了该轻量级强制访问控制模型的有效性和可行性。
- 杨霞杨姗郭文生孙海泳赵晓燕张杨
- 关键词：实时操作系统RTEMS
- 一种基于动态符号执行的软件缺陷检测方法
- 本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤：对待检测的软件的源程序中的变量添加符号化标识，然后对源程序进行编译处理得到底层虚拟机LLVM中间码；根据指令类型，对LLVM中间码进行分类插桩处理，插入...
- 郭文生杨霞汪勇张少鑫刘维飞武琼袁艺杨姗刘小平包灵廖士钞杨拯
- 一种多Android系统的容器自动创建及其启动方法
- 本发明基于Linux内核容器技术和显示设备复用技术，具体涉及一种系统级容器技术的多Android系统的容器自动创建及其启动方法。本发明在Linux内核中自动创建容器，启动容器中的系统，确保每个容器独立运行一个Androi...
- 杨霞郭文生武琼刘维飞汪勇张少鑫袁艺杨姗包灵刘小平廖士钞钟鑫吕清林高正宏丘双华杨拯简鲲鹏
- 文献传递
- 一种基于Xen的VCPU多核实时调度算法
- 本发明提供了一种基于Xen的VCPU多核实时调度算法，为运行于Xen平台之上的所有操作系统分配一个静态优先级，属于同一个操作系统的VCPU拥有相同的静态优先级，保证系统中静态优先级较高的VCPU优先响应；同时为每个VCP...
- 杨霞郭文生杨姗包灵刘小平蔡运壮方言赵文娟罗雄廖士超杨拯刘景瑜
- 文献传递
- 一种应用程序完整性验证方法
- 本发明提供一种应用程序完整性验证方法。内核层捕获打开文件系统调用后，触发内核层中的验证代理模块；验证代理模块获取当前应用程序的文件描述符，通过该文件描述符查看应用程序，判断应用程序是否有完整性扩展属性值，验证代理模块获取...
- 杨霞桑楠雷林石鹏刘志伟孙超群孙海泳任飞吴开均刘维飞武琼袁艺杨姗李昊星唐伟文
- 文献传递
- 一种基于Xen的VCPU多核实时调度算法
- 本发明提供了一种基于Xen的VCPU多核实时调度算法，为运行于Xen平台之上的所有操作系统分配一个静态优先级，属于同一个操作系统的VCPU拥有相同的静态优先级，保证系统中静态优先级较高的VCPU优先响应；同时为每个VCP...
- 杨霞郭文生杨姗包灵刘小平蔡运壮方言赵文娟罗雄廖士超杨拯刘景瑜
- 一种应用程序完整性验证方法
- 本发明提供一种应用程序完整性验证方法。内核层捕获打开文件系统调用后，触发内核层中的验证代理模块；验证代理模块获取当前应用程序的文件描述符，通过该文件描述符查看应用程序，判断应用程序是否有完整性扩展属性值，验证代理模块获取...
- 杨霞桑楠雷林石鹏刘志伟孙超群孙海泳任飞吴开均刘维飞武琼袁艺杨姗李昊星唐伟文
- 一种热插拔设备的可信验证方法
- 本发明提供一种热插拔设备的可信验证方法。嵌入式系统开机上电后，对本地已加密的设备数据库进行解密后，获取已插入的热插拔设备的识别码与设备数据库进行匹配验证，如通过验证则加密设备数据库后执行系统登录操作并允许自动挂载已插入的...
- 杨霞桑楠杨姗石鹏雷林刘志伟孙超群孙海泳武琼袁艺刘维飞任飞吴开均
- 文献传递
