黄海军

作品数：3被引量：13H指数：3
导出分析报告
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文主题：形式语义信息流安全无干扰检查程序数据流分析方法更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式计算系统信息流安全被引量：4
《小型微型计算机系统》2007年第3期425-430,共6页黄海军 陈意云 
国家自然科学基金项目(60473068)资助.
程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.鉴于分布式移动计算系统中进程之间的通讯会引起严重的信息泄密,本文研究了进程之间的通讯对系统信息流安全的影响,通过对高阶函数式编程语言进...
关键词：程序信息流安全 形式语义 类型和效果系统 多态 
用数据流分析方法检查程序信息流安全被引量：7
《小型微型计算机系统》2007年第1期102-106,共5页黄海军 陈意云 
国家自然科学基金项目(60473068)资助.
程序信息流安全是信息安全的一个重要研究方向.基于类型的分析虽然是检查程序信息流安全的一种有效方法,但过于保守.本文尝试将传统的数据流分析方法用于程序信息流安全的检查,即利用数据流分析来跟踪程序数据间的安全依赖关系,达到检...
关键词：程序信息流安全 形式语义 静态分析 数据流分析 
移动计算系统信息流安全被引量：5
《小型微型计算机系统》2006年第8期1455-1460,共6页黄海军 陈意云 
国家自然科学基金项目(60473068)资助
程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息...
关键词：程序信息流安全 无干扰性 形式语义 类型系统 子定型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部