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

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 3 篇 程序信息流安全
  • 3 篇 形式语义
  • 1 篇 多态
  • 1 篇 子定型
  • 1 篇 无干扰性
  • 1 篇 类型系统
  • 1 篇 类型和效果系统
  • 1 篇 数据流分析
  • 1 篇 静态分析

机构

  • 3 篇 中国科技大学
  • 2 篇 中国科学院软件研...

作者

  • 3 篇 陈意云
  • 3 篇 黄海军

语言

  • 3 篇 中文
检索条件"主题词=程序信息流安全"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
用数据流分析方法检查程序信息流安全
收藏
分享
引用
小型微型计算机系统 2007年 第1期28卷 102-106页
作者： 黄海军 陈意云 中国科技大学计算机系 中国科学院软件研究所计算机科学实验室 北京100080
程序信息流安全是信息安全的一个重要研究方向.基于类型的分析虽然是检查程序信息流安全的一种有效方法,但过于保守.本文尝试将传统的数据流分析方法用于程序信息流安全的检查,即利用数据流分析来跟踪程序数据间的安全依赖关系,达到检... 详细信息
来源： 评论
分布式计算系统信息流安全
收藏
分享
引用
小型微型计算机系统 2007年 第3期28卷 425-430页
作者： 黄海军 陈意云 中国科技大学计算机系 安徽合肥230026
程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.鉴于分布式移动计算系统中进程之间的通讯会引起严重的信息泄密,本文研究了进程之间的通讯对系统信息流安全的影响,通过对高阶函数式编程语言进... 详细信息
来源： 评论
移动计算系统信息流安全
收藏
分享
引用
小型微型计算机系统 2006年 第8期27卷 1455-1460页
作者： 黄海军 陈意云 中国科技大学计算机系 中国科学院软件研究所计算机科学实验室 北京100080
程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件