您的位置： 专家智库 > >

中国人民解放军总装备部预研基金(9140A15040210HK6101)

作品数：1 被引量：1H指数：1
相关作者：孙聪陈钟唐礼勇更多>>
相关机构：北京大学更多>>
发文基金：中国人民解放军总装备部预研基金国家自然科学基金国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇信息流安全
  • 1篇消去
  • 1篇可达性
  • 1篇可达性分析
  • 1篇机密

机构

  • 1篇北京大学

作者

  • 1篇唐礼勇
  • 1篇陈钟
  • 1篇孙聪

传媒

  • 1篇软件学报

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于下推系统可达性分析的程序机密消去机制被引量：1
2012年
针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法具有更高的精确性,且比已有的自动验证方法更为高效.
孙聪唐礼勇陈钟
关键词：信息流安全
全选 清除 导出
共1页<1>
聚类工具0