夏虞斌

作品数:11被引量:16H指数:2
导出分析报告
供职机构:上海交通大学更多>>
发文主题:内存虚拟机硬件特性机密物理内存更多>>
发文领域:自动化与计算机技术电子电信经济管理更多>>
发文期刊:《中国科技成果》《计算机应用与软件》《集成技术》《软件学报》更多>>
所获基金:国家自然科学基金上海市“科技创新行动计划”国家杰出青年科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
SegTEE:面向小型端侧设备的可信执行环境系统
《计算机学报》2025年第1期188-209,共22页杜冬冬 杨璧丞 余炀 夏虞斌 丁佐华 赵永望 张磊 臧斌宇 陈海波 
国家自然科学基金重点项目(62132014);国家杰出青年科学基金项目(61925206);国家重点研发计划(2022YFB4501500,2022YFB4501502)资助。
面向万物互联、智联计算的边端场景,如何在小型端侧设备上保护用户隐私,隔离关键代码和数据,成为一个亟待突破的重要问题。现有系统通常依赖于可信执行环境,通过基于处理器的硬件扩展,保护安全敏感应用的机密性和完整性。然而,现有端侧...
关键词:操作系统 可信执行环境 RISC-V 
BrickOS:面向异构硬件资源的积木式内核
《中国科学:信息科学》2024年第3期491-513,共23页古金宇 李浩 夏虞斌 管海兵 丁佐华 赵永望 陈海波 
国家自然科学基金重点项目(批准号:62132014);国家杰出青年科学基金项目(批准号:61925206);国家自然科学基金青年科学基金项目(批准号:62202292)资助。
人机物融合的新兴领域需要新型操作系统内核以支持泛在计算,对下管控海量异构硬件,对上服务动态多变应用场景.本文提出一种积木式内核架构BrickOS,可以根据使用场景灵活选择要加入内核的系统组件,同时可以选择将系统组件运行在用户态以...
关键词:操作系统内核 组件编排 进程间通信 内存隔离 
基于PKS硬件特性的eBPF内存隔离机制被引量:1
《软件学报》2023年第12期5921-5939,共19页李浩 古金宇 夏虞斌 臧斌宇 陈海波 
国家杰出青年科学基金(61925206);华为创新计划。
Linux内核中的eBPF(extended Berkeley packet filter)机制可以将用户提供的不受信任的程序安全地加载到内核中.在eBPF机制中,检查器负责检查并保证用户提供的程序不会导致内核崩溃或者恶意地访问内核地址空间.近年来,eBPF机制得到了快...
关键词:eBPF PKS 内存隔离 操作系统内核 
面向SGX2代新型可信执行环境的内存优化系统被引量:4
《软件学报》2022年第6期2012-2029,共18页李明煜 夏虞斌 陈海波 
国家杰出青年科学基金(61925206);上海市“科技创新行动计划”(21511101502)。
可信执行环境(trusted execution environment, TEE)是一种应用于隐私计算保护场景的体系结构方案,能为涉及隐私相关的数据和代码提供机密性和完整性的保护,近年来成为机器学习隐私保护、加密数据库、区块链安全等场景的研究热点.主要...
关键词:机密计算 可信执行环境 系统安全 性能优化 
构建云际计算体系推动云间协作共赢——"软件定义的云际计算基础理论和方法"项目取得阶段性成果被引量:1
《中国科技成果》2020年第1期F0002-F0002,1,共2页史佩昌 王意洁 夏虞斌 陈晓建 
国家重点研发计划云际计算项目由国防科技大学牵头,清华大学、北京航空航天大学、上海交通大学、北京大学以及以阿里云为代表的一线云提供商等联合参研。云际计算项目紧密围绕协作模型和协作机制两个科学问题,开展了软件定义模型机理、...
关键词:云计算 协作环境 软件定义 阿里云 协作模型 国防科技大学 上海交通大学 阶段性成果 
软件定义的云际计算基础理论和方法研究进展被引量:4
《中国基础科学》2019年第6期54-60,共7页史佩昌 尹浩 沃天宇 夏虞斌 曹东刚 王怀民 
国家重点研发计划项目(2016YFB1000100)。
云计算生态中云服务提供者的独立性是天然存在的,但由此带来的单一云服务商边际效益下降、云服务用户平台锁定等痛点问题已严重制约云产业的健康发展。为解决云计算发展新时期的瓶颈性问题,云际计算作为一种前瞻性研究对象,应运而生。...
关键词:云计算 云际计算 云际互联 云际存储 跨云计算 虚拟专云 大数据 
基于TrustZone技术的安全移动远程控制系统被引量:2
《计算机工程》2016年第4期147-154,共8页韩金宸 夏虞斌 陈海波 臧斌宇 
国家自然科学基金资助项目(61303011)
移动设备的发展使得用户能够手持设备远程连接桌面环境办公,但移动平台的安全隐患给移动远程控制带来巨大的风险。为此,利用ARM处理器的安全扩展Trust Zone技术,设计一个具有高安全性的远程控制系统Trust RFB。通过对传输信道加密,并把...
关键词:远程控制 TrustZone技术 远程帧缓冲协议 虚拟网络计算 ANDROID系统 ARM架构 
基于行为的智能手机权限授予机制
《计算机应用与软件》2015年第8期261-265,287,共6页谭丞 夏虞斌 臧斌宇 
国家自然科学基金项目(61303011)
随着智能手机的发展,软件的恶意行为在移动平台也呈现爆发性增长。面对正常行为和恶意行为混杂的情况,现有的权限机制缺乏相适应的粒度以及足够的信息区分相同程序中的不同行为。以"程序行为"为粒度对应用程序进行授权,并辅助以行为的...
关键词:手机安全 权限管理 ANDROID 
基于新型VMI技术的内核Rootkit检测方案被引量:2
《计算机应用与软件》2015年第7期266-271,共6页陈进 夏虞斌 臧斌宇 
国家自然科学基金项目(61303011)
随着互联网的发展,当今社会对于信息安全的关注度越来越高。内核级Rootkit能够隐藏自身及恶意软件,对系统安全产生了严重威胁。现有基于虚拟化技术的内核Rootkit检测方案主要针对系统静态Hook进行检测和保护,对基于动态Hook的攻击行为...
关键词:内核Rootkits 内核Hook 虚拟机自省 系统安全 
智能手机的安全防御
《科学》2014年第5期30-34,4,共5页夏虞斌 
随着智能手机的流行。移动平台的恶意软件开始大肆泛滥。这些恶意软件究竟是如何突破层层防护的?用户怎样能提高设备的安全性?手机安全与隐私保护已经成为一个备受关注的问题。
关键词:移动设备 智能手机 安全机制 恶意软件 
检索报告 对象比较 聚类工具 使用帮助 返回顶部