咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 4 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 网络空间安全
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 4 篇 有界模型检查
  • 2 篇 软件脆弱性
  • 2 篇 静态分析
  • 1 篇 计算机安全
  • 1 篇 反汇编
  • 1 篇 遗传算法
  • 1 篇 fuzzing测试
  • 1 篇 操作系统
  • 1 篇 语义标注过程模型
  • 1 篇 可满足性求解器
  • 1 篇 可执行性
  • 1 篇 线性时态逻辑
  • 1 篇 映射函数
  • 1 篇 线性时序逻辑

机构

  • 2 篇 中国科学技术大学
  • 1 篇 福建师范大学
  • 1 篇 软硬件协同设计技...
  • 1 篇 国家可信嵌入式软...

作者

  • 2 篇 唐卓椿
  • 1 篇 孔德光
  • 1 篇 龚平
  • 1 篇 吴刚
  • 1 篇 帅建梅
  • 1 篇 张仕
  • 1 篇 董星河
  • 1 篇 郭建
  • 1 篇 蒋建明

语言

  • 4 篇 中文
检索条件"主题词=有界模型检查"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于在线模型检验技术的微内核验证
收藏
分享
引用
微纳电子与智能制造 2020年 第1期2卷 102-109页
作者： 董星河 郭建 国家可信嵌入式软件工程技术研究中心华东师范大学 上海200062 软硬件协同设计技术与应用教育部工程研究中心华东师范大学 上海200062
物联网的兴起,对操作系统的可靠性提出了更高的要求。为确保微内核操作系统的安全性,提出了一种基于事件总线的微内核在线模型验证框架,主要思想是通过映射函数将源代码转换成抽象模型,并从微内核规范中抽取性质。根据源代码的控制流程... 详细信息
来源： 评论
有界模型检查可执行文件的安全属性
收藏
分享
引用
小型微型计算机系统 2008年 第9期29卷 1674-1678页
作者： 唐卓椿 吴刚 帅建梅 孔德光 中国科学技术大学信息科学技术学院自动化系 安徽合肥230027
引入模型检查方法对可执行文件进行脆弱性分析.对可执行文件形式化建模,采用有界模型检查技术验证可执行文件的安全属性,并在X86体系结构上开发了一个用于可执行文件的模型检查器.实验以内存泄漏和栈溢出漏洞为例,将其属性描述为线性时... 详细信息
来源： 评论
语义标识的过程模型的可执行性分析
收藏
分享
引用
小型微型计算机系统 2012年 第12期33卷 2618-2624页
作者： 龚平 蒋建明 张仕 福建师范大学数学与计算机科学学院 福州350007
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型... 详细信息
来源： 评论
软件脆弱性模型检查与测试技术研究
软件脆弱性模型检查与测试技术研究
收藏
分享
引用
作者： 唐卓椿 中国科学技术大学
学位级别：硕士
网络信息时代,Internet已深入到人们工作、生活的方方面面,其安全问题引起了社会和学术界的广泛关注。信息安全的核心问题之一就是存在于计算机系统中的软件脆弱性,恶意的攻击者可以利用安全脆弱性来提升权限,访问未授权系统资源,甚至... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件