无干扰

作品数：200被引量：213H指数：7
导出分析报告
相关领域：医药卫生更多>>
相关作者：金保昇钟文琪陈玉霞郭勇朱浩更多>>
相关机构：中国科学院陕西四季春清洁热源股份有限公司西门子股份公司华为技术有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种改进的无干扰模型分析和验证方法
《小型微型计算机系统》2024年第12期3022-3034,共13页吴志芳 刘小丽 张帆 
国家自然科学基金重点项目(U22A2099)资助。
安全模型是网络空间安全研究的基础和起点.以机密性为例,历史上研究人员率先提出了BLP(Bell-LaPudula)模型,BLP从思想上精确把握了机密性“不上读,不下写”的本质,但在设计上存在不足,这导致BLP自身存在隐通道等缺陷.为此,研究人员基于...
关键词：无干扰 信息流 机密性 安全模型 
移动计算系统信息流安全被引量：5
《小型微型计算机系统》2006年第8期1455-1460,共6页黄海军 陈意云 
国家自然科学基金项目(60473068)资助
程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息...
关键词：程序信息流安全 无干扰性 形式语义 类型系统 子定型 
信息安全模型研究被引量：4
《小型微型计算机系统》2003年第10期1878-1881,共4页张原 史浩山 
首先介绍了安全系统的形式化开发方法 ,分析和比较了各种安全模型的安全特征 .并针对分布式环境对安全模型的通用性和可结合性的要求 ,着重分析了无干扰模型和非推理模型 .
关键词：安全 安全模型 无干扰 非推理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部