操作系统内核

作品数：139被引量：219H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：董攀丁滟黄辰林谭郁松罗军更多>>
相关机构：国防科学技术大学华为技术有限公司中国科学院国际商业机器公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
纯血鸿蒙正式发布,国产操作系统首次实现全面突破
《企业观察家》2024年第10期16-17,共2页陆柯言 
10月22日,华为正式发布HarmonyOS NEXT(也称“原生鸿蒙”、“纯血鸿蒙”),这是鸿蒙系统自2019年以来,规模最大的一次升级。华为终端BG董事长余承东表示,HarmonyOS NEXT完成了从操作系统内核、文件系统、编程语言、编译器、编程框架,再...
关键词：文件系统 操作系统内核 NEXT 编程语言 分布式架构 安卓 自由流转 自主可控 
基于类C语言内存模型的复杂数据结构验证方法
《计算机技术与发展》2024年第8期57-66,共10页李薛剑 王俊宜 
安徽省自然科学基金面上项目(2008085MF188)。
对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础...
关键词：形式化验证 复杂数据结构 程序逻辑 内存模型 操作系统内核 
基于种子智能生成的内核模糊测试模型
《信息安全学报》2024年第3期124-137,共14页王明义 甘水滔 王晓锋 刘渊 
鹏城实验室重大任务项目(No.PCL2022A03);国家自然科学基金项目(No.62172191,No.61972182)资助。
操作系统具有庞大的用户群体,因此使得内核漏洞具有极强的通用性。模糊测试作为一种高效的漏洞挖掘方法,也被应用于操作系统内核,并且已经取得不错的成果。但是,目前流行的面向内核的模糊测试模型Syzkaller在生成种子时具有一定的盲目性...
关键词：模糊测试 漏洞挖掘 操作系统内核 神经网络 
BrickOS:面向异构硬件资源的积木式内核
《中国科学：信息科学》2024年第3期491-513,共23页古金宇 李浩 夏虞斌 管海兵 丁佐华 赵永望 陈海波 
国家自然科学基金重点项目(批准号:62132014);国家杰出青年科学基金项目(批准号:61925206);国家自然科学基金青年科学基金项目(批准号:62202292)资助。
人机物融合的新兴领域需要新型操作系统内核以支持泛在计算,对下管控海量异构硬件,对上服务动态多变应用场景.本文提出一种积木式内核架构BrickOS,可以根据使用场景灵活选择要加入内核的系统组件,同时可以选择将系统组件运行在用户态以...
关键词：操作系统内核 组件编排 进程间通信 内存隔离 
山东大学戴鸿君团队在RISC-V基础软件方面取得新突破
《信息网络安全》2023年第12期113-113,共1页
近日,山东大学戴鸿君教授带领智能创新研究院、软件学院、集成电路学院、计算机科学与技术学院以及网络空间安全学院组成的基础软件团队,成功将首个RISC-V CPU服务器的UEFI启动方案合并入开源社区tianocore EDK2主线仓库,完成了首个符合...
关键词：网络空间安全 计算机科学与技术 操作系统内核 UEFI 核心代码 固件 RISC X86 
基于PKS硬件特性的eBPF内存隔离机制被引量：1
《软件学报》2023年第12期5921-5939,共19页李浩 古金宇 夏虞斌 臧斌宇 陈海波 
国家杰出青年科学基金(61925206);华为创新计划。
Linux内核中的eBPF(extended Berkeley packet filter)机制可以将用户提供的不受信任的程序安全地加载到内核中.在eBPF机制中,检查器负责检查并保证用户提供的程序不会导致内核崩溃或者恶意地访问内核地址空间.近年来,eBPF机制得到了快...
关键词：eBPF PKS 内存隔离 操作系统内核 
基于多版本Linux操作系统的石油类科研软件适配性解决方案
《网络安全技术与应用》2023年第9期6-8,共3页姚以泰 王子通 付立 安红 
石油类科研软件是科研人员进行油田勘探、开发、工程等科研生产工作的主要工具和利器,数量达几十种。目前,这些软件主要运行在红帽Linux(RHEL)操作系统上,由于系统的单一性,存在单点故障的风险,一旦操作系统不可用,则会导致科研生产工...
关键词：操作系统 操作系统内核 石油类科研软件 国产硬件 适配性研究 LINUX 
云原生技术和平台研究与实践被引量：6
《数字通信世界》2023年第8期43-45,共3页高巍 陈磊 张红兵 杨红军 
云基础设施由面向云迁移的“OnCloud”阶段演进到面向云构建应用的“InCloud”阶段,即云基础设施建设由资源型演进到效能型;同时云原生将带来更复杂的安全挑战,构建安全可控的云原生平台对行业云转型至关重要,即从底层操作系统到容器调...
关键词：云原生 操作系统内核 容器 编排 可观测性 
操作系统内核并发错误检测研究进展被引量：3
《软件学报》2021年第7期2016-2038,共23页石剑君 计卫星 石峰 
2018年工业互联网创新发展工程-工业微服务与工业APP部署应用工业互联网平台测试床。
并发错误是程序设计语言和软件工程领域的研究热点之一.近年来,针对应用程序并发错误检测的研究已取得了很大进展.但是由于操作系统内核的并发和同步机制复杂、代码规模庞大,与应用程序级并发错误检测相比,操作系统内核的并发错误检测...
关键词：操作系统 多线程并行 并发错误 缺陷检测 
隐藏再深也不怕 多管齐下揪出Rootkit病毒
《电脑爱好者》2021年第5期38-39,共2页闽人 
Rootkit病毒一般是指加载到操作系统内核中的恶意软件,其代码运行在特权模式之下,不易被察觉,具有很大的危害性。中招Rootkit病毒的电脑往往运行速度非常缓慢,而且会导致蓝屏,屏幕会提示“xxxx.sys”错误(图4)等。很多杀毒软件虽然能检...
关键词：恶意软件 杀毒软件 ROOTKIT 操作系统内核 注册表 蓝屏 运行速度 查杀 
全选清除导出
共14页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部