一个基于角色的信息流模型及应用 被引量：6

1

作者 刘益和 刘嘉勇 《四川大学学报（工程科学版）》 EI CAS CSCD 2004年第5期94-97,共4页

为了描述基于角色的访问控制模型(Role basedAccessControl(RABC))控制下的信息流动情况,扩充客体的概念,使用RABC的基本原理,利用客体拥有的角色集合来划分信息的安全类、两个客体的角色集合所具有的包涵关系来定义信息流策略。经严格... 为了描述基于角色的访问控制模型(Role basedAccessControl(RABC))控制下的信息流动情况,扩充客体的概念,使用RABC的基本原理,利用客体拥有的角色集合来划分信息的安全类、两个客体的角色集合所具有的包涵关系来定义信息流策略。经严格的数学证明,新的信息流模型满足文献[3]的有限格和最小上界运算符性质,是合理的、安全的。最后给出了该模型的简单应用。 展开更多

关键词 RABC模型 信息流模型 格

在线阅读 下载PDF 职称材料

基于信息流模型和列表寻优法的装备BIT系统测试选择技术研究 被引量：2

2

作者 薛凯旋 黄考利 +1 位作者 连光耀 吕晓明 《弹箭与制导学报》 CSCD 北大核心 2008年第2期300-302,共3页

测试选择是测试性设计的基本步骤之一。在诊断BIT系统设计过程中,针对不同的测试对象,特别是复杂的电子设备,如何选择最优化的测试策略,降低总体测试性费用,是设计人员一直关心、关注的问题。文中首先基于信息流模型对测试选择问题进行... 测试选择是测试性设计的基本步骤之一。在诊断BIT系统设计过程中,针对不同的测试对象,特别是复杂的电子设备,如何选择最优化的测试策略,降低总体测试性费用,是设计人员一直关心、关注的问题。文中首先基于信息流模型对测试选择问题进行了研究,然后对列表寻优法进行了改进,并给出了测试选择的一种快速求解算法,最后通过实例对算法的有效性进行了验证。 展开更多

关键词 测试选择 信息流模型 列表寻优

在线阅读 下载PDF 职称材料

一种基于信息流模型的故障隔离方法 被引量：6

3

作者 陈圣俭 王栋 丁岩松 《中国测试技术》 2008年第4期52-54,共3页

为了实现快速地故障隔离,提出了一种基于信息流模型和测试划分的故障隔离方法。首先计算出非多余测试,在信息流模型中,具有相同激励的测试可以同时被执行,并按此对测试进行分组。在故障隔离过程中,按各组能检测出的故障出现概率的大小... 为了实现快速地故障隔离,提出了一种基于信息流模型和测试划分的故障隔离方法。首先计算出非多余测试,在信息流模型中,具有相同激励的测试可以同时被执行,并按此对测试进行分组。在故障隔离过程中,按各组能检测出的故障出现概率的大小来决定测试顺序。实验表明,该方法最大程度地减小了测试时间,同时兼顾考虑了故障出现的概率和最少测试硬件增加。 展开更多

关键词 信息流模型 测试性设计 故障隔离 非多余测试 划分

在线阅读 下载PDF 职称材料

信息流模型在电子设备最优测试分析中的应用 被引量：5

4

作者 宋振宇 丁勇鹏 刘喆 《舰船电子工程》 2010年第9期172-175,共4页

信息流模型是对系统进行测试性分析的重要方法之一,介绍了信息流模型的建模方法,并以国外某型搜潜电子设备为例,详细探讨了如何应用该模型对系统测试进行最优化选择,对信息流模型的研究有着重要的现实意义。

关键词 信息流模型 测试性 最优测试

在线阅读 下载PDF 职称材料

基于诊断信息流模型的印刷电路板故障诊断 被引量：1

5

作者 李艾华 张西宁 屈梁生 《微电子学与计算机》 CSCD 北大核心 1999年第3期40-43,共4页

从故障诊断的角度分析印刷电路板的原理图，建立了电路板的诊断信息流模型。模型反映了试验之间及试验与故障之间的观察关系。基于该模型讨论了印刷电路板的故障诊断问题，实例说明了模型的有效性。同时该模型具有一定的处理多故障的能力。

关键词 印刷电路板 故障诊断 诊断信息流模型

在线阅读 下载PDF 职称材料

基于信息流模型的广域网信息访问控制系统设计 被引量：2

6

作者 刘年国 《电子设计工程》 2021年第4期80-83,87,共5页

传统广域网信息访问控制系统由于形成时序图的步骤十分复杂,所以广域网信息访问控制效率低,针对上述问题,基于信息流模型设计了一种新的广域网信息访问控制系统,分别对系统硬件、软件进行优化设计。硬件选取MIX型号的主板作为信息流模... 传统广域网信息访问控制系统由于形成时序图的步骤十分复杂,所以广域网信息访问控制效率低,针对上述问题,基于信息流模型设计了一种新的广域网信息访问控制系统,分别对系统硬件、软件进行优化设计。硬件选取MIX型号的主板作为信息流模型的访问控制收集板,缩短时序图步骤,提高访问效率;选取QU-10型号的驱动器增强系统驱动能力,引用多线程技术提高软件程序执行速度。实验结果表明,基于信息流模型的广域网信息访问控制系统由于引入了网络通信接口,响应时间大大缩短,工作效率高于传统系统。 展开更多

关键词 信息流模型 广域网信息 访问控制 控制系统

在线阅读 下载PDF 职称材料

基于加密解密过程的信息流模型

7

作者 刘益和 沈昌祥 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第11期253-255,共3页

通过引入客体的加密标识的概念,并利用客体的密级和完整性等级来定义新的客体安全类和信息流策略,得到一个新的基于加密解密过程的信息流模型.分析证明新模型是合理的、安全的,对信息安全体系结构模型构建起到积极作用.

关键词 加密解密 BLP模型 BIBA模型 信息流模型

在线阅读 下载PDF 职称材料

南水北调工程建设管理信息流模型研究

8

作者 李明 丰景春 洪玉振 《南水北调与水利科技》 CAS CSCD 2010年第2期1-5,共5页

随着南水北调工程建设的推进,附加在工程上的信息量也越来越大。为了使南水北调工程的各个建设单位之间的信息沟通更加顺畅和有效,管理更加规范和科学,对南水北调工程建设管理过程中出现的3种主要的管理模式进行了调研和分析,并根据现... 随着南水北调工程建设的推进,附加在工程上的信息量也越来越大。为了使南水北调工程的各个建设单位之间的信息沟通更加顺畅和有效,管理更加规范和科学,对南水北调工程建设管理过程中出现的3种主要的管理模式进行了调研和分析,并根据现有的管理模式建立了相应的信息流模型。模型反映了参与南水北调主体工程建设的各个单位之间的信息流动过程,可以用来分析南水北调工程建设管理信息流的效率和可靠性,可以作为进一步研究南水北调工程建设单位之间接口的基础。 展开更多

关键词 南水北调工程 建设管理 信息流模型

在线阅读 下载PDF 职称材料

基于UML的装备保障指挥决策信息流模型

9

作者 马海英 周林 陈锋莉 《物流技术》 2015年第19期270-272,279,共4页

以地空导弹装备保障指挥决策过程的信息流为基础,结合装备保障的实际,构建了地空导弹装备保障的三级保障指挥决策流程,采用UML对决策流程进行了静态和动态描述,建立了装备保障指挥决策信息流的用例图、类图、活动图、时序图和协作关系... 以地空导弹装备保障指挥决策过程的信息流为基础,结合装备保障的实际,构建了地空导弹装备保障的三级保障指挥决策流程,采用UML对决策流程进行了静态和动态描述,建立了装备保障指挥决策信息流的用例图、类图、活动图、时序图和协作关系图等模型,为在地空导弹装备保障指挥自动化系统开发模型库时提供一定的参考。 展开更多

关键词 UML 装备保障指挥决策 信息流模型

在线阅读 下载PDF 职称材料

多密级子网的网络安全信息流模型

10

作者 刘益和 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第B06期70-73,共4页

基于一个拥有多个子网且它们的密级不同的网络，该网络的信息是从低密级子网流向高密级子网，通过引入将子网密级、客体密级和客体的完整性等级相结合的三维安全函数新概念，通过扩充客体和主体，构造出了一个新的安全信息流模型，该模... 基于一个拥有多个子网且它们的密级不同的网络，该网络的信息是从低密级子网流向高密级子网，通过引入将子网密级、客体密级和客体的完整性等级相结合的三维安全函数新概念，通过扩充客体和主体，构造出了一个新的安全信息流模型，该模型能较好地反映网络的安全要求。 展开更多

关键词 予网密级 BLP模型 BIBA模型 安全信息流模型

在线阅读 下载PDF 职称材料

信息流模型中推理矩阵的建立

11

作者 徐仁飞 冷颖 吴进华 《海军航空工程学院学报》 2001年第3期328-329,332,共3页

信息流模型方法是系统测试性分析中的基本模型分析方法,得到了广泛的应用.文中介绍了信息流模型的基本建模过程.

关键词 信息流模型 传递闭包 逻辑闭包 增量闭包 推理矩阵

在线阅读 下载PDF 职称材料

SYBASE技术服务园地连载(54) 利用扩展模型定义对Sybase信息流模型进行扩展(一)

12

作者 邓学 《铁路计算机应用》 2009年第12期61-65,共5页

1 概述 随着经济全球化的发展,组织结构上的地理分布性特点变得越来越显著。为了提高企业的竞争力,越来越多的企业利用Sybase复制服务器来建立分布式的数据库应用,以此来提高服务质量以及保证数据安全。

关键词 SYBASE SYBASE 信息流模型 扩展模型 技术服务 定义 连载 园地

在线阅读 下载PDF 职称材料

SYBASE技术服务园地连载(55) 利用扩展模型定义对Sybase信息流模型进行扩展(二)

13

作者 邓学 《铁路计算机应用》 2010年第1期60-63,共4页

5．1实例场景 本章节结合一个具体实例，来理解扩展模型定义的使用。在Replication Agent中，有一个配置参数”ltl_character_case”，这个参数表明的是发送到复制服务器的日志传输语言（Log Transfer Language）中的数据库对象（Datab... 5．1实例场景 本章节结合一个具体实例，来理解扩展模型定义的使用。在Replication Agent中，有一个配置参数”ltl_character_case”，这个参数表明的是发送到复制服务器的日志传输语言（Log Transfer Language）中的数据库对象（Database Object）的字符大小写信息。参数取值如下： 展开更多

关键词 信息流模型 扩展模型 SYBASE REPLICATION 定义 AGENT 复制服务器 数据库对象

在线阅读 下载PDF 职称材料

基于安全进程代数的信息流安全模型的分析与验证

14

作者 王精明 虞慧群 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第1期102-106,115,共6页

基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出... 基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。 展开更多

关键词 安全进程代数 信息流安全模型 非推断模型 非干扰模型 分离模型

在线阅读 下载PDF 职称材料

寄存器传输级硬件设计信息流建模与安全验证

15

作者 秦茂源 侯佳滢 +2 位作者 李家乐 唐时博 邰瑜 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第3期506-513,共8页

近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化... 近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化语言对硬件设计进行重新描述。因此,提出了一种寄存器传输级硬件设计信息流建模与安全验证方法。该方法在寄存器传输级功能模型的基础上构建附加安全属性的信息流跟踪逻辑模型,从信息流角度建模设计安全行为和安全属性,并利用EDA测试验证工具,以无干扰为策略捕捉违反安全策略的有害信息流,检测硬件设计安全漏洞。以Trust-Hub硬件木马测试集为测试对象的实验结果表明:所提方法能够有效检测设计内潜藏的硬件木马。 展开更多

关键词 硬件安全 信息流安全模型 信息流安全验证 安全漏洞检测

在线阅读 下载PDF 职称材料

Web信息流演化模型研究

16

作者 侯丹 郭树行 《中国高新技术企业》 2015年第16期11-12,共2页

文章首先界定了Web信息流生命周期的研究范围,综述了信息数量、信息效用价值、舆情热度等Web信息流生命指标方面的相关理论及其适用性;其次从生命周期管理模型视角对现有信息增长、信息效用价值、舆情热度进行归纳评述;再次剖析了互联... 文章首先界定了Web信息流生命周期的研究范围,综述了信息数量、信息效用价值、舆情热度等Web信息流生命指标方面的相关理论及其适用性;其次从生命周期管理模型视角对现有信息增长、信息效用价值、舆情热度进行归纳评述;再次剖析了互联网舆情引导的管理问题;最后讨论了模型进一步研究所面临的挑战及未来的研究方向。 展开更多

关键词 信息生命周期 信息扩张模型 信息效用价值 舆情热度 Web信息流演化模型

在线阅读 下载PDF 职称材料

基于双层信息流控制的云敏感数据安全增强 被引量：7

17

作者 吴泽智 陈性元 +1 位作者 杜学绘 杨智 《电子学报》 EI CAS CSCD 北大核心 2018年第9期2245-2250,共6页

已有的云安全防护方法如加密、访问控制和虚拟机隔离等不能够提供数据端到端的安全防护。首先,提出了一个面向云环境的双层信息流控制模型,给出了模型的关键要素定义、集中式与分布式信息流控制规则、能力标记调整规则、标记传播规则和... 已有的云安全防护方法如加密、访问控制和虚拟机隔离等不能够提供数据端到端的安全防护。首先,提出了一个面向云环境的双层信息流控制模型,给出了模型的关键要素定义、集中式与分布式信息流控制规则、能力标记调整规则、标记传播规则和降密规则.然后,综合动态污点跟踪和虚拟机自省技术,设计并实现了原型系统IFCloud,可为云租户提供信息流跟踪与控制即服务,为云平台提供常见系统攻击如栈溢出、缓冲区溢出等攻击的防护机制.最后,给出了原型系统IFCloud的功能测试结果.表明IFCloud能够灵活、正确、实时地跟踪和控制云下敏感数据流.可应用于云平台下面向软件即服务的细粒度数据安全保护. 展开更多

关键词 云数据安全 信息流控制模型 动态污点跟踪 虚拟机自省 栈溢出攻击

在线阅读 下载PDF 职称材料

一种基于非并行BIT的测试性模型 被引量：2

18

作者 王栋 陈圣俭 +1 位作者 张伟伟 陈健 《微电子学与计算机》 CSCD 北大核心 2008年第6期116-118,122,共4页

通过条件测试解决了在LRU间增加非并行BIT不满足信息流模型测试的一般定义的问题,同时解决了信息流反馈的问题,提高了故障隔离率.提出了基于信息流模型的集中一分布式BIT体系结构,建立了基于该体系结构的系统级BIT测试模型.通过对BIT测... 通过条件测试解决了在LRU间增加非并行BIT不满足信息流模型测试的一般定义的问题,同时解决了信息流反馈的问题,提高了故障隔离率.提出了基于信息流模型的集中一分布式BIT体系结构,建立了基于该体系结构的系统级BIT测试模型.通过对BIT测试模型的改进,建立了边界扫描测试模型. 展开更多

关键词 机内测试 故障诊断 测试性设计 信息流模型

在线阅读 下载PDF 职称材料

访问控制模型分析 被引量：1

19

作者 田建立 蔡君如 《河南科技》 2010年第7期51-52,共2页

自20世纪70年代起，Denning、Bell、Lapadula等人对信息安全进行了大量的理论研究，特别是在1985年美国国防部颁布可信计算机评估标准以来，系统安全模型得到了广泛的研究，并实现了多种安全模型。在这些模型中，总体上可以分为2大类，... 自20世纪70年代起，Denning、Bell、Lapadula等人对信息安全进行了大量的理论研究，特别是在1985年美国国防部颁布可信计算机评估标准以来，系统安全模型得到了广泛的研究，并实现了多种安全模型。在这些模型中，总体上可以分为2大类，即访问控制模型和信息流模型。 展开更多

关键词 访问控制模型 安全模型 可信计算机 美国国防部 信息流模型 信息安全 评估标准

在线阅读 下载PDF 职称材料

电务试验车信号测试系统 被引量：2

20

作者 李彦华 赵会兵 《铁路计算机应用》 2006年第12期12-14,共3页

为满足利用信号试验车进行在线测试的需求,建立铁路信号测试系统的信息流模型,提出符合COTS(Commercial Off-the-Shelf,即成熟的商品化产品)、信息融合、信息统一、模块化等指导原则的车载测试系统架构。系统硬件主要采用PXI/CompactPC... 为满足利用信号试验车进行在线测试的需求,建立铁路信号测试系统的信息流模型,提出符合COTS(Commercial Off-the-Shelf,即成熟的商品化产品)、信息融合、信息统一、模块化等指导原则的车载测试系统架构。系统硬件主要采用PXI/CompactPCI数据采集系统、PDA、GPS定位设备、无线局域网设备等;软件采用RT实时操作系统,综合应用多线程、数据库和虚拟仪器等软件开发技术完成。系统已经在实际的铁路信号测试中得到应用,并且满足各方面需求指标,应用前景广泛。 展开更多

关键词 自动测试系统 信息流模型 COTS 自动闭塞系统

在线阅读 下载PDF 职称材料