信息流安全

作品数：27被引量：54H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄海军孙聪陈意云习宁秦保力更多>>
相关机构：中国科学技术大学西安电子科技大学华中科技大学中国科学院软件研究所更多>>
相关期刊：《技术与创新管理》《航空计算技术》《中国电子商务》《信息工程大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
TrustZone中断隔离机制的形式化验证被引量：1
《小型微型计算机系统》2023年第9期2105-2112,共8页付俊仪 张倩颖 王国辉 李希萌 施智平 关永 
国家自然科学基金项目(61802375,61602325,61876111,61877040)资助;北京市教委科技计划一般项目(KM201910028005)资助;中国科学院计算技术研究所计算机体系结构国家重点实验室开放课题项目(CARCH201920)资助;国防科技创新特区项目(18-163-11-ZT-005-038-05)资助;中央支持地方建设-“双一流”建设项目(20531120005)资助.
TrustZone技术通过对硬件进行安全扩展,为软件提供了相互隔离的可信执行环境和通用执行环境.中断隔离机制是TrustZone的关键隔离机制,确保安全中断和非安全中断分别在可信执行环境和通用执行环境中被处理,该机制不正确可能导致安全中断...
关键词：TRUSTZONE 可信执行环境 中断隔离 信息流安全 形式化验证 
分布式计算系统信息流安全被引量：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>
检索报告 对象比较 聚类工具 使用帮助 返回顶部