信息流模型相关论文
由于访问控制模型无法保障信息端到端的完整性，本文提出了基于无干扰理论的完整性信息流模型。通过对完整性与机密性策略的比较，把无......
本文通过分析我国电子政务系统的发展现状，根据目前我国电子政务系统中出现的问题，提出了电子政务系统的解决方案，设计了电子政务系统......
在计算机信息系统中，为了保障信息的机密性和完整性，对信息的访问和操作，一般需要遵循一定的安全策略。BLP模型只解决了机密性问题，而B......
本文运用系统科学对黑盒问题进行了理论探索,得出了解决黑盒问题的关键在于对输入一输出信息之因果关系的认识和控制密码的建立。......
从故障诊断的角度分析印刷电路板的原理图，建立了电路板的诊断信息流模型。模型反映了试验之间及试验与故障之间的观察关系。基于该......
针对水污染突发事件应急任务的小组特点,运用“小团体”理论中的结构化系统分析和设计方法,将多层级组织与多部门主体参与的应急响......
本文旨在进行高等级安全操作系统研发的技术探索，尤其针对隐蔽信道分析和系统架构设计两大关键难题。在安全系统研发和隐蔽信道分析......
信息技术的飞速发展,计算机的广泛应用,使得人们的生活越来越便捷。计算机通过文件、文件夹的方式来存储、管理数据的方式也使得人......
3月初,BMC软件公司推出了PATROL Visualis故障管理器,在其图形化网络性能模型工具中新增了故障管理功能。通过这些新功能,PATROL ......
为了得到防空导弹自动驾驶仪的故障检测与诊断策略,减少自动驾驶仪的测试费用,建立了自动驾驶仪的测试性模型并进行分析,解决了建......
近年来，安全保障作为操作系统安全的一个重要方面越来越受到研究者的重视。对于高安全级别操作系统，体系结构层次的结构化是必须......
近年来，城市规划管理工作不断深入，城市规划管理的内容和方式发生了巨大的变化，城市规划的管理者对信息系统提出了更高的要求。 本......
从故障结论之间相异度的角度出发，简单快捷的计算出非多余测试，即找出隔离到各故障结论的最少测试向量，并基于此，结合测试的性质及多故......
本文对推理函数的计算方式进行了改进,并在经典通信模型基础上设计出了推理通道的信息流模型,用以评估推理通道的有效性以及相关参......
为缩短系统BIT的平均故障隔离时间,吸取直接熵法的基本思想,运用信息流模型和信息理论,提出系统有故障隔离的间接熵法.实验验证和......
该文论述了综合诊断数字模型，包括测试信息流模型和关系矩阵，提出了建立数字模型的算法，介绍了测试性设计的概念，最后对xxx651电台进行......
作者提出了一种面向对象安全模型。这一模型是一个信息流模型，其主要元素是对象。对象之间通过一个特殊对象－－消息－－进行信息交流。基于......
本文提出了用于微机系统故障~*诊断的新方法——动态模拟法。该方法简单而易于实现。我们将该方法和“特征码分析”法相结合,实现......
该文主要是讨论在新的商务模式及技术环境下,服务于航空客运销售业及旅客服务领域的信息技术的未来发展问题,提出了可以满足未来航......
随着大数据时代的到来，数据所隐含的巨大价值，引起众多行业的高度重视，并成为一种重要战略资源。同时随着计算机技术的快速变迁，数据资......
近几年的金融危机特别是亚洲金融危机使人们开始注意“羊群效应”(HerdBehavior)的存在性和危害性。“羊群效应”简单地来说是一种......
1 概述rn随着经济全球化的发展,组织结构上的地理分布性特点变得越来越显著.为了提高企业的竞争力,越来越多的企业利用Sybase复制......
通过对装备保障信息流与业务流程关系的分析,以现行装备保障体制为背景,提出了装备保障信息流模型的概念,分析了装备保障信息流模......
针对国内缺乏可计量性建模理论技术的情况,首先参考可测试性相关性模型的理论技术提出了基于相关性模型的装备可计量性设计流程,归......
传统广域网信息访问控制系统由于形成时序图的步骤十分复杂,所以广域网信息访问控制效率低,针对上述问题,基于信息流模型设计了一......
通过条件测试解决了在LRU间增加非并行BIT不满足信息流模型测试的一般定义的问题，同时解决了信息流反馈的问题，提高了故障隔离率．提出......
通过比较电子系统建模方法,提出基于多信号模型的可测性建模方法。以典型的电子系统雷达发射机为例,详细介绍可测性建模方法,通过......
分布式信息流模型可以细粒度地控制信息的访问和传播,但其灵活性也增加了系统安全需求表达和策略管理实施的复杂性,严重制约了模型......
近日，863计划先进制造技术领域重点项目“企业资源协同管理系统”研讨会在杭州召开。会上，该重点项目4个课题组分别汇报了各自的研究......
为了实现快速地故障隔离，提出了一种基于信息流模型和测试划分的故障隔离方法。首先计算出非多余测试，在信息流模型中，具有相同激励的......
针对经典的BLP模型无法控制间接信息流的缺点，借鉴信息流模型的思想，在系统状态中增加记忆分量，记录主体所读的客体，控制信息向安全的......
网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,......
为了在多故障情况下对自动驾驶仪故障做出正确诊断,提出了基于相关性矩阵的多故障诊断完备性分析方法,并给出了严格的数学证明;首......
提出了一种面向对象安全模型，这个模型是一种信息流模型，其主要元素是对象，对象之间通过一个特殊对象－－消息，进行信息交流，基地面和向对象......
测试选择是测试性设计的基本步骤之一。在诊断BIT系统设计过程中．针对不同的测试对象，特别是复杂的电子设备，如何选择最优化的测试策......
本文分析了企业实施CIS战略过程中产生的信息流的类型和特点,据此提出了CIS信息流模型。根据这个信息流模型,提出了改革企业信息部......
可计量性是一种固有的装备质量特性。本文在介绍可计量性概念的基础上，针对测绘导航装备可计量性提出了设计策略，构建了指标体系，基于......
自20世纪70年代起，Denning、Bell、Lapadula等人对信息安全进行了大量的理论研究，特别是在1985年美国国防部颁布可信计算机评估标准......
通过对装备保障信息流与业务流程关系的分析，以现行装备保障体制为背景，提出了装备保障信息流模型的概念，分析了装备保障信息流模型相......
虽然MLS(multilevel security)被广泛应用于各种安全系统,但是它不能实现信道控制等重要的安全策略.将可信级别的概念引入到MLS中,......
链路延迟是计算机网络设计的重要问题之一，过去，链路延迟分析基于Ｍ／Ｍ／１排队模型，忽略了控制包和应答包的影响，因而分析结果也不够精确，本文首......
通过引入客体的加密标识的概念,并利用客体的密级和完整性等级来定义新的客体安全类和信息流策略,得到一个新的基于加密解密过程的......
为了解决复杂产品装配过程监控复杂、装配数据与管理层脱节等问题,对面向复杂产品装配的监控技术进行了研究。对复杂产品装配业务......
基于信息流模型，综合已有故障隔离策略的基本思想和熵值理论，阐述了故障隔离过程的实质，认为故障隔离过程是不断降低系统熵的过程，并且......
为满足利用信号试验车进行在线测试的需求,建立铁路信号测试系统的信息流模型,提出符合COTS(Commercial Off-the-Shelf,即成熟的商......
