期刊文献+
共找到209篇文章
< 1 2 11 >
每页显示 20 50 100
操作系统内核程序函数执行上下文的自动检验 被引量:5
1
作者 汪黎 杨学军 +1 位作者 王戟 罗宇 《软件学报》 EI CSCD 北大核心 2007年第4期1056-1067,共12页
函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势... 函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的时空运行开销、良好的可扩展性等等.该技术已应用在Linux内核2.4.20的网络设备驱动程序检查中.应用表明,PRPF能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux内核的23处编程错误,另有5处误报.该技术对提高内核代码编写的质量可起到重要作用. 展开更多
关键词 操作系统内核程序 内核编程接口 程序验证 程序正确性 Linux内核验证
下载PDF
嵌入式实时操作系统内核的设计与实现 被引量:4
2
作者 闫茂德 贺昱曜 +1 位作者 陈金平 许化龙 《长安大学学报(自然科学版)》 EI CAS CSCD 北大核心 2004年第3期95-99,共5页
针对广泛使用的微处理单元(MCU),从任务TCB设计、任务的创建和删除、任务调度的算法及实现、中断管理、优先级管理和操作系统及用户的接口等6个部分出发,提出了一个嵌入式实时多任务操作系统内核的实现方案,给出了嵌入式操作系统内核软... 针对广泛使用的微处理单元(MCU),从任务TCB设计、任务的创建和删除、任务调度的算法及实现、中断管理、优先级管理和操作系统及用户的接口等6个部分出发,提出了一个嵌入式实时多任务操作系统内核的实现方案,给出了嵌入式操作系统内核软件的功能、位置、原理和技术参数等,并给出在TOSHIBA81516位的微处理器上实现了该内核软件的应用实例,实际运行于某型号的移动掌上电脑产品中,运行情况良好。 展开更多
关键词 嵌入式操作系统 任务控制块 信号量 操作系统内核 优先级管理
下载PDF
嵌入式操作系统内核的实现 被引量:4
3
作者 凌明 郑凯东 +1 位作者 胡晨 时龙兴 《电子器件》 CAS 1999年第4期262-269,共8页
本文讨论了嵌入式多任务操作系统内核的实现方法。提出了嵌入式网络操作系统内核的实现方案,详细地阐述了系统进程的创建,删除和调度的算法及实现。在Motorola Dragon Ball68EZ328 微处理器上实现了该内核... 本文讨论了嵌入式多任务操作系统内核的实现方法。提出了嵌入式网络操作系统内核的实现方案,详细地阐述了系统进程的创建,删除和调度的算法及实现。在Motorola Dragon Ball68EZ328 微处理器上实现了该内核并已运行于国家ASIC系统工程技术研究中心的PDA 产品中。 展开更多
关键词 嵌入式 操作系统 系统内核
下载PDF
一种在不可信操作系统内核中高效保护应用程序的方法 被引量:5
4
作者 邓良 曾庆凯 《软件学报》 EI CSCD 北大核心 2016年第5期1309-1324,共16页
在现代操作系统中,内核运行在最高特权层,管理底层硬件并向上层应用程序提供系统服务,因而安全敏感的应用程序很容易受到来自底层不可信内核的攻击.提出了一种在不可信操作系统内核中保护应用程序的方法App Fort.针对现有方法的高开销问... 在现代操作系统中,内核运行在最高特权层,管理底层硬件并向上层应用程序提供系统服务,因而安全敏感的应用程序很容易受到来自底层不可信内核的攻击.提出了一种在不可信操作系统内核中保护应用程序的方法App Fort.针对现有方法的高开销问题,App Fort结合x86硬件机制(操作数地址长度)、内核代码完整性保护和内核控制流完整性保护,对不可信内核的硬件操作和软件行为进行截获和验证,从而高效地保证应用程序的内存、控制流和文件I/O安全.实验结果表明:App Fort的开销极小,与现有工作相比明显提高了性能. 展开更多
关键词 不可信操作系统内核 应用程序保护 操作数地址长度
下载PDF
一种操作系统内核完整性度量方法 被引量:1
5
作者 李瑜 赵勇 +3 位作者 林莉 姜伟 詹静 辛思远 《小型微型计算机系统》 CSCD 北大核心 2013年第5期997-1002,共6页
操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量... 操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量对象进行关联,利用LS2文法描述了不同阶段的动态变化特征,并给出了各阶段的可信度量逻辑,在时间上保证度量的持续性,在空间上通过映射关系实现细粒度的完整性度量.进一步给出了系统的可信度量定理,通过形式化分析证明方法能够对操作系统内核的完整性进行有效判定.方法建立在逻辑推理的基础上,与现有度量方法相兼容. 展开更多
关键词 可信计算 可信度量 操作系统内核 完整性保护
下载PDF
基于实时多处理器操作系统内核的视频终端研究 被引量:2
6
作者 郑更生 谢治平 贺贵明 《计算机工程》 CAS CSCD 北大核心 2004年第18期146-148,共3页
介绍一种基于实时多处理器操作系统内核的视频终端设计,其中主要介绍了终端的系统结构和基于实时多处理器操作系统内核下本系统的关键编程技术。
关键词 实时多处理器操作系统内核 生产者—消费者模型 TM1300 pSOS+m
下载PDF
浅析操作系统内核体系结构 被引量:3
7
作者 熊安萍 蒋溢 《重庆工商大学学报(自然科学版)》 2004年第4期376-379,共4页
操作系统内核是整个计算机系统的核心,负责管理整个计算机系统的资源及控制系统的运行,而操作系统内核的不同实现又会影响整个系统的高效运行,从体系结构的角度出发,对UNIX、Linux、Windows2000等3种操作系统内核结构进行了较为详细的分... 操作系统内核是整个计算机系统的核心,负责管理整个计算机系统的资源及控制系统的运行,而操作系统内核的不同实现又会影响整个系统的高效运行,从体系结构的角度出发,对UNIX、Linux、Windows2000等3种操作系统内核结构进行了较为详细的分析,并对它们的内核结构进行了比较。 展开更多
关键词 操作系统内核 体系结构 UNIX LINUX WINDOWS 2000
下载PDF
一种面向智能电器监控单元的通用操作系统内核设计 被引量:1
8
作者 牛博 宋政湘 +1 位作者 王建华 耿英三 《低压电器》 北大核心 2006年第3期18-21,35,共5页
针对智能电器监控单元对现场参量检测及进行控制的各种要求,提出了智能电器监控单元的通用软件模型。采用实时多任务调度为基础的模块化、层次化结构,设计了一种面向智能电器监控单元的通用实时操作系统内核。
关键词 智能电器监控单元 通用 实时操作系统内核
下载PDF
滚控发动机测控系统内核软件的设计与实现 被引量:1
9
作者 刘文怡 甄国涌 张文栋 《弹箭与制导学报》 CSCD 北大核心 2005年第2期69-71,共3页
文中以某型号战略导弹滚控发动机点火试验为背景,详细介绍了该测控系统的测控软件内核的实现过程。该内核由一个复杂的命令集合驱动,通过PXI总线获取数据和实施控制,可在线修改控制参数,最后通过以太网络将数据分发给多个客户端监控设... 文中以某型号战略导弹滚控发动机点火试验为背景,详细介绍了该测控系统的测控软件内核的实现过程。该内核由一个复杂的命令集合驱动,通过PXI总线获取数据和实施控制,可在线修改控制参数,最后通过以太网络将数据分发给多个客户端监控设备。该内核优化以后运行相当稳定,执行效率超过其预定设计指标,对PXI资源的占用也相当经济。从而实现了整个滚控发动机点火试验的全程、全自动、全方位控制和测试,为提高滚控试验的安全性、可靠性和客观性提供了有效的测试手段。 展开更多
关键词 发动机 设计与实现 系统内核 点火试验 PXI总线 全方位控制 战略导弹 实现过程 测控软件 测控系统 详细介绍 控制参数 在线修改 监控设备 数据分发 以太网络 设计指标 执行效率 测试手段 客户端 全自动 安全性 客观性 可靠性
下载PDF
基于操作系统内核的包过滤防火墙系统的设计与实现 被引量:1
10
作者 胡伟 李霞 钟乐海 《电子工程师》 2005年第11期57-60,共4页
主要研究如何通过基于W indows操作系统内核的包过滤防火墙系统来实现网络安全防护。基于操作系统内核的包过滤防火墙系统是基于网络层实现的包过滤防火墙系统,该系统要求能够对所有进出计算机的IP数据包进行灵活控制,实现包过滤的核心... 主要研究如何通过基于W indows操作系统内核的包过滤防火墙系统来实现网络安全防护。基于操作系统内核的包过滤防火墙系统是基于网络层实现的包过滤防火墙系统,该系统要求能够对所有进出计算机的IP数据包进行灵活控制,实现包过滤的核心问题是如何截获所有的IP数据包。首先介绍了包过滤防火墙的基本结构和原理,然后在剖析操作系统内核的基础上,研究并设计了基于W indows操作系统内核的包过滤防火墙系统。 展开更多
关键词 操作系统内核 包过滤防火墙 NDIS NIC TCP/IP
下载PDF
分区操作系统内核中隔离性质的研究
11
作者 闫鑫 王庆生 王生原 《太原理工大学学报》 CAS 北大核心 2014年第4期515-521,共7页
为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通... 为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。 展开更多
关键词 安全关键系统 操作系统内核 可信性 分区 隔离性质 Z Z++
下载PDF
谈linux系统内核升级 被引量:1
12
作者 陈碧珍 《福建电脑》 2005年第11期54-55,共2页
Linux系统以其开放源代码、多任务、系统强大、稳定等优点,成为目前全球使用率仅次于Windows系统的一种操作系统平台。本文分析linux系统内核相关技术特性,介绍系统内核相关升级的方法、步骤和注意事项,提高系统安全性。
关键词 LINUX系统 内核原理 升级 LINUX 系统内核 WINDOWS系统 操作系统平台 开放源代码 系统安全性 相关技术
下载PDF
操作系统内核模糊测试技术综述 被引量:5
13
作者 李贺 张超 +1 位作者 杨鑫 朱俊虎 《小型微型计算机系统》 CSCD 北大核心 2019年第9期1994-1999,共6页
模糊测试作为一种高效的漏洞挖掘方法,在操作系统内核安全领域得到了广泛应用.内核模糊测试的应用促进了操作系统内核和驱动程序安全防护水平的显著提升.目前,针对不同平台上操作系统使用模糊测试技术进行漏洞挖掘已经成为研究热点.文... 模糊测试作为一种高效的漏洞挖掘方法,在操作系统内核安全领域得到了广泛应用.内核模糊测试的应用促进了操作系统内核和驱动程序安全防护水平的显著提升.目前,针对不同平台上操作系统使用模糊测试技术进行漏洞挖掘已经成为研究热点.文章对现有的内核模糊测试方法进行研究,综述了内核模糊测试发展情况和技术思想,并尝试对内核模糊测试进行分类,总结了近年来内核模糊测试中使用的新技术.最后讨论了目前研究中的问题,并对内核模糊测试未来发展趋势进行了展望. 展开更多
关键词 操作系统内核 模糊测试 漏洞挖掘 驱动程序
下载PDF
Diskaller:基于覆盖率制导的操作系统内核漏洞并行挖掘模型 被引量:4
14
作者 涂序文 王晓锋 +1 位作者 甘水滔 陈爱国 《信息安全学报》 CSCD 2019年第2期69-82,共14页
内核是操作系统的核心,它构建了操作系统各类程序运行时需要的基础环境:如进程调度、存储管理、文件系统、设备驱动和网络通信等。操作系统内核漏洞的存在可能使得计算机系统遭受拒绝服务、信息泄露、超级用户权限提升等攻击,因此,针对... 内核是操作系统的核心,它构建了操作系统各类程序运行时需要的基础环境:如进程调度、存储管理、文件系统、设备驱动和网络通信等。操作系统内核漏洞的存在可能使得计算机系统遭受拒绝服务、信息泄露、超级用户权限提升等攻击,因此,针对内核的漏洞挖掘一直是网络安全领域的研究热点。本文在现有的研究基础上,提出一种基于覆盖率制导的内核漏洞并行模糊测试模型,该模型以代码覆盖率为导向,以计算节点和控制节点组成的星型结构作为并行模型,各计算节点通过代码覆盖率对系统内核持续测试,控制节点完成计算节点间代码覆盖率的收集与交互,突破了传统测试模型对计算资源要求限制和数据竞争的瓶颈,极大的提升了代码覆盖率及测试速度,加快了漏洞挖掘的效率。为了验证模型的实用性及有效性,利用Diskaller与Syzkaller和Triforce进行对比,一定条件下Diskaller覆盖率较Syzkaller提升12.8%,执行速率提升229%,较Triforce覆盖率提升335%,执行速率提升450%,并且发现了Linux内核中两个先前未被发现的漏洞。 展开更多
关键词 分布式 模糊测试 内核测试 漏洞挖掘 操作系统内核
下载PDF
一种SCO OpenServer 5系统内核惊慌现象的分析和处理
15
作者 黄宁 《华南金融电脑》 2006年第11期48-49,共2页
关键词 OPENSERVER 系统内核 UNIX操作系统 UNIX服务器 SCO Internet 数字化校园建设 网络应用
下载PDF
操作系统内核的动态可信度量模型 被引量:1
16
作者 辛思远 赵勇 +1 位作者 廖建华 王婷 《计算机应用》 CSCD 北大核心 2012年第4期953-956,967,共5页
动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约... 动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性。给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡改。 展开更多
关键词 可信计算 可信度量 动态度量 操作系统内核 远程证明
下载PDF
基于Windows NT系统内核的透明加密系统原理 被引量:1
17
作者 韩诗源 尹浩然 张艺颖 《无线互联科技》 2012年第8期168-168,共1页
本文介绍了基于Windows NT系统内核下的文件透明加密系统原理,通过系统内核开发实现对硬盘文件的透明加密,从而实现文件的内容安全,在保护文件中保存的内容不被泄露的同时也保证了文件能够被用户方便、高效的使用,免去了频繁的手工加解... 本文介绍了基于Windows NT系统内核下的文件透明加密系统原理,通过系统内核开发实现对硬盘文件的透明加密,从而实现文件的内容安全,在保护文件中保存的内容不被泄露的同时也保证了文件能够被用户方便、高效的使用,免去了频繁的手工加解密过程。 展开更多
关键词 文件保护 透明加密 WINDOWS NT系统内核
下载PDF
IMA中实时操作系统内核的安全性设计考虑 被引量:1
18
作者 沈国峰 郭筝 费衡甫 《民用飞机设计与研究》 2006年第3期38-41,共4页
《IMA 中实时操作系统内核的安全性设计考虑》论述了机载航电系统正在逐渐采用综合模块化航电(IMA)架构来取代传统的分立一联盟(federa-ted)架构,然而,对于 IMA 的实时操作系统(RTOS)比以往有更高的安全性要求。该文从空间隔离和时间隔... 《IMA 中实时操作系统内核的安全性设计考虑》论述了机载航电系统正在逐渐采用综合模块化航电(IMA)架构来取代传统的分立一联盟(federa-ted)架构,然而,对于 IMA 的实时操作系统(RTOS)比以往有更高的安全性要求。该文从空间隔离和时间隔离要求方面,对支持分区结构的 RTOS 内核架构的安全性策略进行了分析探讨,旨在防止出错情况在不同功能间的相互影响,从而防止故障传播。 展开更多
关键词 安全性设计 操作系统内核 IMA 计算机控制 实时 航空电子设备 输入输出设备 运输类飞机
下载PDF
基于51系列单片机的并行多任务系统内核设计 被引量:1
19
作者 任龙平 刘清平 《科技广场》 2016年第7期179-181,共3页
随着智能控制领域的发展,单任务或者任务轮循式前后台的系统往往满足不了具有实时性的多任务控制,所以多任务操作系统一直都作为嵌入式研究的重点。本文以keil平台为开发环境,采用AT89C52RC单片机为载体,选用C语言编程实现操作系统内核... 随着智能控制领域的发展,单任务或者任务轮循式前后台的系统往往满足不了具有实时性的多任务控制,所以多任务操作系统一直都作为嵌入式研究的重点。本文以keil平台为开发环境,采用AT89C52RC单片机为载体,选用C语言编程实现操作系统内核,其内核采用抢占式调度算法,具有多任务创建与任务延时服务的特性。 展开更多
关键词 操作系统 多任务 系统内核
下载PDF
基于Linux的沙箱评测系统内核的设计与实现 被引量:1
20
作者 王硕 郑晓东 +1 位作者 张强 肖磊 《现代信息科技》 2022年第12期67-70,共4页
为了避免执行安全性未知的用户代码对服务器造成不良影响,文章基于Linux操作系统内核提供的系统调用拦截机制,利用控制组、命名空间等技术实现了一种完全定制化的Linux沙箱评测系统内核,其可以阻断用户程序的恶意系统调用,控制程序的内... 为了避免执行安全性未知的用户代码对服务器造成不良影响,文章基于Linux操作系统内核提供的系统调用拦截机制,利用控制组、命名空间等技术实现了一种完全定制化的Linux沙箱评测系统内核,其可以阻断用户程序的恶意系统调用,控制程序的内存消耗、CPU消耗、网络连接;同时为了适应当下互联网服务高并发的需求,该评测系统内核使用了改进后的管道并发模型和高效的评测任务调度策略,能充分利用服务器的硬件资源、准确地完成代码评测任务。 展开更多
关键词 LINUX系统 沙箱评测系统内核 高并发
下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部