咨询与建议

限定检索结果

文献类型

  • 18 篇 专利
  • 2 篇 期刊文献
  • 2 篇 学位论文
  • 1 篇 会议

馆藏范围

  • 23 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 4 篇 软件工程

主题

  • 5 篇 内核数据结构
  • 4 篇 内核验证
  • 4 篇 形式化验证
  • 3 篇 霍尔逻辑
  • 1 篇 内核接口
  • 1 篇 rtos
  • 1 篇 bsp
  • 1 篇 分离逻辑
  • 1 篇 嵌入式linux
  • 1 篇 设备驱动程序

机构

  • 4 篇 苏州浪潮智能科技...
  • 3 篇 安徽大学
  • 2 篇 中移软件技术有限...
  • 2 篇 华为技术有限公司
  • 2 篇 哈尔滨工业大学
  • 2 篇 电子科技大学
  • 2 篇 中国移动通信集团...
  • 2 篇 哈尔滨工程大学
  • 1 篇 华为上海研究所20...
  • 1 篇 北京控制工程研究...
  • 1 篇 南京大学
  • 1 篇 微软技术许可有限...
  • 1 篇 迈克菲公司
  • 1 篇 眸芯科技有限公司
  • 1 篇 迈克菲有限责任公...
  • 1 篇 北京航空航天大学
  • 1 篇 英特尔公司
  • 1 篇 中国科学技术大学
  • 1 篇 东北大学

作者

  • 3 篇 余韵
  • 2 篇 叶麟
  • 2 篇 郭方方
  • 2 篇 方滨兴
  • 2 篇 梁明远
  • 2 篇 毛俊鸿
  • 2 篇 陈岑
  • 2 篇 崔士伟
  • 2 篇 徐国振
  • 2 篇 吕宏武
  • 2 篇 王慧强
  • 2 篇 r·杰缅季耶夫
  • 2 篇 i·幕蒂克
  • 2 篇 安祥文
  • 2 篇 丁翔
  • 2 篇 张宇
  • 2 篇 王传国
  • 2 篇 林俊宇
  • 2 篇 胡义兵
  • 2 篇 韩春超

语言

  • 23 篇 中文
检索条件"主题词=内核数据结构"
23 条 记 录,以下是1-10 订阅
排序:
复杂内核数据结构的形式化描述和验证
收藏 引用
小型微型计算机系统 2019年 第2期40卷 359-366页
作者: 马顶 付明 乔磊 冯新宇 中国科学技术大学计算机科学与技术学院 合肥230027 华为上海研究所2012实验室-OS内核实验室 上海201206 北京控制工程研究所 北京100190 南京大学计算机软件新技术国家重点实验室 南京210023
数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离... 详细信息
来源: 评论
复杂内核数据结构程序形式化验证
收藏 引用
计算机系统应用 2023年 第11期32卷 253-266页
作者: 李薛剑 余韵 安徽大学计算机科学与技术学院 合肥230601
操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节,但是,在实际的验证工作中,操作系统内核中全局性质的不变式定义,复杂数据结构程序的形式化描述和验证仍存在很多困难.本文针对操作系统内核中满足的全局... 详细信息
来源: 评论
复杂内核数据结构程序形式化验证
复杂内核数据结构程序形式化验证
收藏 引用
第三届 RISC-V 技术及生态研讨会
作者: 李薛剑 余韵 安徽大学计算机科学与技术学院 合肥230601
作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节,但是,在实际的验证工作中,操作系统内核中全局性质的不变式定义,复杂数据结构程序的形式化描述和验证仍存在很多困难。本文针对操作系统内核中满足的... 详细信息
来源: 评论
基于LINUX的嵌入式操作系统设备驱动程序的研究与实现
基于LINUX的嵌入式操作系统设备驱动程序的研究与实现
收藏 引用
作者: 李涌 东北大学
学位级别:硕士
嵌入式系统是以应用为中心,以计算机技术为基础,并且软硬件可裁剪,适用于应用系统对功能、可靠性、成本、体积、功耗有严格要求的专用计算机系统.它一般由嵌入式微处理器、外围硬件设备、嵌入式操作系统以及用户的应用程序等四个部分组... 详细信息
来源: 评论
操作系统内核程序的性质描述和形式化验证
操作系统内核程序的性质描述和形式化验证
收藏 引用
作者: 余韵 安徽大学
学位级别:硕士
作为信息系统的基础和核心,操作系统在构建高可信软件系统中扮演着至关重要的角色。保障操作系统的安全可靠性是构建高可信软件系统中的一个重要环节。然而,在实际的验证工作中,操作系统内核中全局性质的不变式描述、复杂数据结构程序... 详细信息
来源: 评论
基于策略路由的数据处理方法和装置、设备和存储介质
基于策略路由的数据处理方法和装置、设备和存储介质
收藏 引用
作者: 王传国 崔士伟 许鑫 韩春超 徐国振 吴保锡 215000 江苏省苏州市吴中区吴中经济开发区郭巷街道官浦路1号9幢
本发明提供了基于策略路由的数据处理方法和装置、设备和存储介质,涉及通信技术领域。方法包括:基于扩展的伯克利数据包过滤器的内核数据结构进行策略路由的配置;拦截需要发出的数据包;数据包包括:目的地址和若干个路由规则;在若... 详细信息
来源: 评论
基于策略路由的数据处理方法和装置、设备和存储介质
基于策略路由的数据处理方法和装置、设备和存储介质
收藏 引用
作者: 王传国 崔士伟 许鑫 韩春超 徐国振 吴保锡 215000 江苏省苏州市吴中区吴中经济开发区郭巷街道官浦路1号9幢
本发明提供了基于策略路由的数据处理方法和装置、设备和存储介质,涉及通信技术领域。方法包括:基于扩展的伯克利数据包过滤器的内核数据结构进行策略路由的配置;拦截需要发出的数据包;数据包包括:目的地址和若干个路由规则;在若... 详细信息
来源: 评论
一种基于VMI的内核数据监控方法及监控系统
一种基于VMI的内核数据监控方法及监控系统
收藏 引用
作者: 詹东阳 叶麟 余翔湛 张宇 刘立坤 于海宁 方滨兴 卢子勇 刘健威 523000 广东省东莞市松山湖高新技术产业开发区总部二路17号
本发明属于计算机的技术领域,具体涉及一种基于VMI的内核数据监控方法,包括如下步骤,步骤S0、从虚拟机外部获取和分配虚拟机内存的指定大小和连续空间;步骤S1、搜索整个所述虚拟机内存空间,获取所有目标内核结构的内存地址;步骤S... 详细信息
来源: 评论
一种内核崩溃恢复方法、装置、设备及存储介质
一种内核崩溃恢复方法、装置、设备及存储介质
收藏 引用
作者: 丁翔 215163 江苏省苏州市高新区昆仑山路58号1幢
本申请实施例公开了一种内核崩溃恢复方法、装置、设备及存储介质,其中,所述方法包括:当主内核崩溃时,所述主内核控制处理器保存正在执行的正常线程的上下文;当所述正常线程的上下文保存完成后,所述主内核在第一内存区域中初始化... 详细信息
来源: 评论
一种基于内存分析的恶意软件检测方法及检测系统
一种基于内存分析的恶意软件检测方法及检测系统
收藏 引用
作者: 叶麟 詹东阳 余翔湛 张宇 刘立坤 于海宁 方滨兴 蒋振韬 郭新凯 523000 广东省东莞市松山湖高新技术产业开发区总部二路17号
本发明属于计算机安全的技术领域,具体涉及一种基于内存分析的恶意软件检测方法,包括获取虚拟机的内存镜像,解析内存镜像中的内核数据结构,通过内核数据结构分析出恶意软件,获取恶意软件的可执行代码,以二进制文件的形式导出恶意... 详细信息
来源: 评论