您的位置: 专家智库 > >

杨霞

作品数:74 被引量:103H指数:6
供职机构:电子科技大学更多>>
发文基金:国家高技术研究发展计划国家科技重大专项国家科技支撑计划更多>>
相关领域:自动化与计算机技术文化科学政治法律医药卫生更多>>

文献类型

  • 43篇专利
  • 24篇期刊文章
  • 6篇学位论文
  • 1篇会议论文

领域

  • 35篇自动化与计算...
  • 2篇政治法律
  • 2篇文化科学
  • 1篇经济管理
  • 1篇航空宇航科学...
  • 1篇医药卫生

主题

  • 23篇操作系
  • 23篇操作系统
  • 15篇嵌入式
  • 12篇调度
  • 8篇嵌入式系统
  • 8篇架构
  • 7篇用户
  • 7篇实时操作系统
  • 7篇实时调度
  • 6篇形式化
  • 6篇形式化验证
  • 6篇安全操作
  • 6篇安全操作系统
  • 5篇调度算法
  • 5篇硬件
  • 5篇ANDROI...
  • 4篇队列
  • 4篇多核
  • 4篇应用程序
  • 4篇图像

机构

  • 74篇电子科技大学
  • 1篇攀枝花大学
  • 1篇北京控制工程...
  • 1篇中国航天科工...
  • 1篇重庆医科大学...
  • 1篇中国人民武装...
  • 1篇美国加州大学
  • 1篇国家互联网应...
  • 1篇成都链安科技...

作者

  • 74篇杨霞
  • 30篇郭文生
  • 21篇桑楠
  • 17篇熊宇
  • 17篇杨姗
  • 15篇罗雄
  • 13篇石鹏
  • 13篇孙海泳
  • 13篇孙超群
  • 11篇雷林
  • 11篇袁艺
  • 11篇武琼
  • 10篇刘志伟
  • 10篇杨拯
  • 8篇刘小平
  • 8篇包灵
  • 7篇熊光泽
  • 6篇张献忠
  • 6篇曾睿
  • 6篇魏兰

传媒

  • 8篇电子科技大学...
  • 3篇计算机科学
  • 2篇计算机工程
  • 2篇小型微型计算...
  • 1篇现代医药卫生
  • 1篇微电子学与计...
  • 1篇计算机应用
  • 1篇航空学报
  • 1篇计算机辅助设...
  • 1篇四川大学学报...
  • 1篇单片机与嵌入...
  • 1篇计算机教育
  • 1篇信息安全与技...
  • 1篇中国西部嵌入...

年份

  • 1篇2024
  • 2篇2023
  • 4篇2021
  • 5篇2020
  • 13篇2019
  • 3篇2018
  • 9篇2017
  • 6篇2016
  • 6篇2015
  • 6篇2014
  • 1篇2013
  • 1篇2012
  • 2篇2011
  • 2篇2010
  • 4篇2009
  • 1篇2008
  • 3篇2007
  • 1篇2006
  • 2篇2005
  • 1篇2004
74 条 记 录,以下是 1-10
排序方式:
Hades高可信架构中分区间信息流控制的研究被引量:2
2012年
为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。
杨霞古和亦汪强桑楠熊光泽
关键词:BLP安全模型信息流控制
垃圾收集器实时化的研究
2010年
用垃圾收集器进行动态内存管理对大规模软件系统的开发具有重要意义,为把垃圾收集器应用到嵌入式实时系统中,对垃圾收集器实时化进行了研究,提出了动态执行垃圾收集器任务以及用最短时限优先(EDF)算法调度垃圾收集器的算法,仿真实验和内存分析表明,与以往的实时垃圾收集器相比,所提出的算法可以进一步降低系统内存需求,提高系统的灵活性,并对分布式垃圾收集器进行了研究,性能分析表明基于关键引用验证的分布式垃圾收集器更适用于大规模分布式系统.
张宁张春宇杨霞熊光泽廖勇
关键词:实时系统调度
采用容器技术的多Android系统的研究与实现被引量:6
2016年
为增强Android操作系统的安全性和功能可定制性,在分析当前的虚拟化技术后,提出一种基于容器技术的方法使多个Android系统同时运行在一个设备上.首先,通过采用容器技术和虚拟化技术在Linux内核中生成多个相互隔离的运行空间,为了在每个空间中独立地运行一个Android子系统,实现了显示设备、Binder驱动、GPU的虚拟化.然后,研究并实现了Android子系统之间的切换技术.最后,通过实验原型和测试数据验证了所提方法的可行性.由于各容器之间相互隔离、互不影响,很好的保护了用户数据的隐私.此外,即使某一个Android子系统出现运行故障或者被恶意攻击,其它子系统照样可以正常运行,从而提高了整个系统的安全性.同时,各子系统的应用和功能可以根据不同的应用场景特别定制,可满足用户的个性化需求.
杨霞孙超群
关键词:ANDROID操作系统安全性虚拟化技术
基于Linux容器技术的多Android系统之间切换方法
本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括:在Linux内核中创建至少两个容器,并启动容器中的系统;当调用容器的切换命令时,改变容器中的系统的使用状态;基于系统的使用状态,Frame Buf...
杨霞桑楠孙超群石鹏刘志伟雷林孙海泳刘维飞武琼袁艺杨姗廖士钞王树银杨拯
文献传递
一种基于Android的操作系统快速启动方法
本发明公开一种基于Android的操作系统快速启动方法。包括备份过程和快速启动过程,所述备份过程包括步骤:进入Android操作系统的用户界面程序;用户将Android操作系统从普通运行模式切换到系统备份模式;生成快速启...
杨霞桑楠张恩阳郭甲冉朝阳展华益
基于TrustZone的指纹识别安全技术研究与实现被引量:15
2016年
随着指纹识别技术在智能终端设备中的大量应用,指纹技术本身的安全问题也日益突出。为增强智能终端指纹识别的安全性,借助于ARM TrustZone安全扩展机制,提出了一种基于TrustZone的指纹识别安全保障技术和方法,其为指纹识别程序提供了可信执行环境,以保证其执行过程的安全性并防止恶意程序的攻击。同时,对指纹数据和指纹特征模板进行加密,并将密钥存储在受TrustZone保护的安全区域中以防止被窃取。此外,还实现了指纹数据的安全传输通道,以进一步确保敏感数据传输过程的安全性。最后,设计并实现了一个原型系统来验证所提技术和方法的有效性,实验结果证明所提出的技术和方法是可行的。
杨霞刘志伟雷航
关键词:TRUSTZONE指纹识别指纹匹配嵌入式系统
多安全等级分区间通信的实现方法
本发明公开一种多安全等级分区间通信的实现方法,针对MILS架构下的多级安全操作系统的通信安全问题,本发明为每个分区分配一个安全等级,各分区间按照其安全等级进行通信;包括:建立两个分区间的通信环境;当一个分区准备向另一个分...
杨霞郭文生罗雄高扬卢秀台张冯博向蓓蓓廖士钞古涛铭瞿元李南铮钱智成黄一潘文睿熊宇
文献传递
一种基于区块链的抵押评价方法
本发明涉及机器学习、区块链和智能合约技术领域。其提供了一种基于区块链的抵押评价方法,建立了一种全新的、可信的评价系统。本发明包括一种利用抵押得到权重并进行评价的方法,然后系统使用链上评价信息,采用机器学习等手段,过滤掉机...
杨霞李南铮郭文生钱智成瞿元黄一潘文睿高扬张冯博卢秀台熊宇林珍珍万俊闫哲任超郑旭东
文献传递
安全性加强的Win CE嵌入式操作系统
随着计算机和网络的发展,越来越多的嵌入式设备接入互联网,计算资源的共享跨越了空间和时间的限制,信息安全问题显得越来越重要.操作系统作为嵌入式系统的核心,是构筑在其上的应用系统以及整个嵌入式系统安全性的根本保障.本文以Wi...
陈志平雷航杨霞李欢
关键词:信息安全嵌入式操作系统WINCE操作系统
文献传递
一种基于动态符号执行的软件缺陷检测方法
本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤:对待检测的软件的源程序中的变量添加符号化标识,然后对源程序进行编译处理得到底层虚拟机LLVM中间码;根据指令类型,对LLVM中间码进行分类插桩处理,插入...
郭文生杨霞汪勇张少鑫刘维飞武琼袁艺杨姗刘小平包灵廖士钞杨拯
共8页<12345678>
聚类工具0