咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 网络空间安全
  • 1 篇 理学
    • 1 篇 数学

主题

  • 2 篇 加权下推自动机
  • 1 篇 污点分析
  • 1 篇 加权上下文无关语...
  • 1 篇 击键记录
  • 1 篇 恶意行为
  • 1 篇 数据流分析
  • 1 篇 双幺赋值幺半群
  • 1 篇 赋值幺半群

机构

  • 1 篇 网络与软件安全保...
  • 1 篇 北京大学
  • 1 篇 中国矿业大学
  • 1 篇 陕西师范大学

作者

  • 1 篇 邹维
  • 1 篇 凤旺森
  • 1 篇 李佳静
  • 1 篇 付雯静
  • 1 篇 王铁磊
  • 1 篇 韦韬
  • 1 篇 韩召伟

语言

  • 2 篇 中文
检索条件"主题词=加权下推自动机"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
取值于赋值幺半群的加权下推自动机的代数性质
收藏
分享
引用
陕西师范大学学报（自然科学版） 2017年 第3期45卷 9-16页
作者： 付雯静 韩召伟 陕西师范大学数学与信息科学学院 陕西西安710119
引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cau... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种多项式时间的路径敏感的污点分析方法
收藏
分享
引用
计算机学报 2009年 第9期32卷 1845-1855页
作者： 李佳静 王铁磊 韦韬 凤旺森 邹维 中国矿业大学(北京)机电与信息工程学院 北京100083 网络与软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学计算机科学技术研究所 北京100871 北京大学计算中心 北京100871
提出了一种解决静态污点分析方法在进行路径敏感的分析时面临的路径爆炸的问题的方法.该方法将污点分析问题转化为加权下推自动机的广义下推后继问题,进一步利用污点数据在程序中的可达性,减少后续分析中需要精确执行的路径数.从而该方... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件