信息流图相关论文
随着世界常规能源(石油、煤)的减少,人类开始大规模的尝试新能源作为替代品,其中风能已经取得一些成就,并开始得到推广。我国的风能事业......
隐通道问题使实施自主存取控制和强制存取控制的多安全级软件系统有了新的挑战,成为开发高等级可信软件系统过程中的难点和关键问......
本文在综述隐通道分析方法和研究现状的基础上,解决了自动化分析系统源代码中信息流的问题,并将信息流组织成信息流图,设计并实现......
集成电路和IP(Intellectual Property)核在快速发展的同时,带来的网络安全事件也是层出不穷,有些网络Hacker会利用IP核设计的缺陷......
机电一体化研究的主要目的在于如何更好地实现机电一体化集成.作者在光电数控火焰切割机系统的研制过程中,创造设计了一种信息流图......
信息流分析法是一种有效的隐通道搜索方法,用信息流图来描述系统中信息流的流动情况。直接基于系统源代码生成系统信息流图,由于信......
内部威胁是企业组织面临的非常严重的安全问题,作为企业最贵重的信息资产——文档,是内部滥用的主要目标。以往的粗粒度安全策略,如最......
关联模型由信息流图和故障一测试关联矩阵两部分构成,该模型广泛应用于系统级的测试性分析与设计。为了便于分析反馈环路、故障传播......
考虑处于深空中的航天器网络编队的位置和姿态控制。控制目标是使整个编队中的航天器在控制器的作用下达到期望的位置和姿态,同时......
软件可测试性在软件质量度量中占有的位置越来越突出,各种度量方法也在不断发展成型.本文对现有的软件可测试性分析方法进行了讨论......
提出了一种基于静态分析的隐通道自动检测方法.采用完整语法与语义分析手段完成原始信息流提取,保留了局部变量导致的间接信息流,定义......
利用隐蔽流树方法搜索隐蔽通道时,获得的操作序列中只有极少部分真正构成隐蔽通道,增加了后续手工分析的工作量。为此,提出一种改进的......
对ControlNet现场总线的网络访问机制进行了详细的探讨,建立了ControlNet以广播方式(Strobe)传送预定信息的信息流模型,通过分析网......
为解决信息系统中的非授权间接访问问题,提出一种基于信息流图的共谋访问风险控制模型。通过记录系统的历史访问行为构建信息流图,......
为解决跨域跨系统环境下的违规间接信息流问题,提出了一种联合访问控制模型。通过记录系统中的访问行为,构建跨系统的信息流图;在此基......
简要介绍了常规变电站二次系统设计表达需求。针对智能变电站网络化信息共享的特点,根据220kV西泾智能变电站实施方案,提出"SV/GOO......
在大数据时代,随着互联网应用技术的高速发展,信息被海量产生、传输、处理和存储,并成指数级增长的态势。为了满足海量数据的存储......
针对智能变电站网络化信息共享的特点,根据220kV西泾智能变电站实施方案,提出"SV/GOOSE信息流图+SV/GOOSE信息逻辑配置表+装置光缆......
为了完成智能交通车载体系框架系统的研究,采用了从需求入手,定义智能交通服务,建立逻辑框架和物理框架,并从包括标准化范围检查在......
隐通道的危害在信息交流日渐重要的今天越来越突出,隐通道通过利用安全系统中具有较高安全级别的主体或进程根据事先约定好的编码......
国家标准GB17859-1999将信息系统分为五个等级,不同等级信息系统的安全策略和安全机制强度从第一级开始依次增强,称为“等级保护制度......
<正>随着我国科学技术的不断发展,使得智能电网技术的发展到了新的层次,这给变电站的设计提出了新的挑战。智能变电站信息传输主要......
从智能变电站二次系统的硬件结构和软件配置入手,分析了二次系统的功能分布及结构特点,研究了IEC 61850信息模型组成及软件配置的......