期刊文献+
共找到38篇文章
< 1 2 >
每页显示 20 50 100
基于信任和安全等级的P2P信息流模型 被引量:5
1
作者 李焕洲 刘益和 李华 《计算机应用》 CSCD 北大核心 2008年第12期3168-3170,共3页
通过引入信誉等级、密级、访问控制等级等概念,利用访问控制等级划分安全类,以两个客体的访问控制等级描述信息流策略,由此得到基于信任和安全等级的P2P信息流模型。经严格的数学证明,这个模型满足已有文献的有限格和最小上界运算符性质... 通过引入信誉等级、密级、访问控制等级等概念,利用访问控制等级划分安全类,以两个客体的访问控制等级描述信息流策略,由此得到基于信任和安全等级的P2P信息流模型。经严格的数学证明,这个模型满足已有文献的有限格和最小上界运算符性质,是合理和安全的,它是基于BLP信息流模型的一个扩展。 展开更多
关键词 P2P网络 密级 信誉等级 访问控制等级 信息流模型
在线阅读 下载PDF
一个基于角色的信息流模型及应用 被引量:6
2
作者 刘益和 刘嘉勇 《四川大学学报(工程科学版)》 EI CAS CSCD 2004年第5期94-97,共4页
为了描述基于角色的访问控制模型(Role basedAccessControl(RABC))控制下的信息流动情况,扩充客体的概念,使用RABC的基本原理,利用客体拥有的角色集合来划分信息的安全类、两个客体的角色集合所具有的包涵关系来定义信息流策略。经严格... 为了描述基于角色的访问控制模型(Role basedAccessControl(RABC))控制下的信息流动情况,扩充客体的概念,使用RABC的基本原理,利用客体拥有的角色集合来划分信息的安全类、两个客体的角色集合所具有的包涵关系来定义信息流策略。经严格的数学证明,新的信息流模型满足文献[3]的有限格和最小上界运算符性质,是合理的、安全的。最后给出了该模型的简单应用。 展开更多
关键词 RABC模型 信息流模型
在线阅读 下载PDF
基于信息流模型和列表寻优法的装备BIT系统测试选择技术研究 被引量:2
3
作者 薛凯旋 黄考利 +1 位作者 连光耀 吕晓明 《弹箭与制导学报》 CSCD 北大核心 2008年第2期300-302,共3页
测试选择是测试性设计的基本步骤之一。在诊断BIT系统设计过程中,针对不同的测试对象,特别是复杂的电子设备,如何选择最优化的测试策略,降低总体测试性费用,是设计人员一直关心、关注的问题。文中首先基于信息流模型对测试选择问题进行... 测试选择是测试性设计的基本步骤之一。在诊断BIT系统设计过程中,针对不同的测试对象,特别是复杂的电子设备,如何选择最优化的测试策略,降低总体测试性费用,是设计人员一直关心、关注的问题。文中首先基于信息流模型对测试选择问题进行了研究,然后对列表寻优法进行了改进,并给出了测试选择的一种快速求解算法,最后通过实例对算法的有效性进行了验证。 展开更多
关键词 测试选择 信息流模型 列表寻优
在线阅读 下载PDF
基于信息流模型的光驱电路板故障诊断 被引量:1
4
作者 李艾华 屈梁生 +2 位作者 张玉祥 张炜 刘根贤 《计算机工程》 CAS CSCD 北大核心 1999年第6期25-26,79,共3页
从故障诊断的角度对光驱电路板原理图进行分析,建立了光驱电路板的诊断信息流模型,模型反映了试验间及试验与故障之间的观察关系。基于该模型讨论了光驱电路板的故障诊断问题,实例说明了模型的有效性。
关键词 光盘驱动器 电路板 故障诊断 信息流模型
在线阅读 下载PDF
面向协同工作的信息流模型研究 被引量:1
5
作者 王宁 王延章 +1 位作者 于淼 叶鑫 《计算机科学》 CSCD 北大核心 2005年第10期114-117,共4页
首先通过对一般协同工作模型的分析,给出了信息流的形式化描述,然后基于信息是一种实体的观点,对信息流中的模式、运算和相应形式化描述做了较深入的研究,最后结合实际项目对其在工程中的应用进行了说明。
关键词 信息流 信息管理 实体 协同 信息流模型 协同工作模型 形式化描述 实体
在线阅读 下载PDF
一种基于信息流模型的故障隔离方法 被引量:6
6
作者 陈圣俭 王栋 丁岩松 《中国测试技术》 2008年第4期52-54,共3页
为了实现快速地故障隔离,提出了一种基于信息流模型和测试划分的故障隔离方法。首先计算出非多余测试,在信息流模型中,具有相同激励的测试可以同时被执行,并按此对测试进行分组。在故障隔离过程中,按各组能检测出的故障出现概率的大小... 为了实现快速地故障隔离,提出了一种基于信息流模型和测试划分的故障隔离方法。首先计算出非多余测试,在信息流模型中,具有相同激励的测试可以同时被执行,并按此对测试进行分组。在故障隔离过程中,按各组能检测出的故障出现概率的大小来决定测试顺序。实验表明,该方法最大程度地减小了测试时间,同时兼顾考虑了故障出现的概率和最少测试硬件增加。 展开更多
关键词 信息流模型 测试性设计 故障隔离 非多余测试 划分
在线阅读 下载PDF
电子政务信息流模型探讨 被引量:5
7
作者 陈氢 《情报杂志》 CSSCI 北大核心 2006年第11期20-22,共3页
从多角度分析了电子政务信息流,并探讨了电子政务信息流的四种模型,即电子政务信息流网络模型、电子政务信息流层次模型、电子政务信息流对象模型、电子政务信息流生态模型。
关键词 电子政务 信息流 信息流模型
在线阅读 下载PDF
通信子网内的信息流模型及链路延迟分析 被引量:1
8
作者 侯正风 《计算机工程与应用》 CSCD 北大核心 1998年第2期20-22,共3页
链路延迟是计算机网络设计的重要问题之一。过去,链路延迟分析基于M/M/1排队模型,忽略了控制包和应答包的影响,因而其分析结果也不够精确。本文首先构造分布式计算机网络的结点信息流模型,然后分析得出更精确的链路延迟计算公式。
关键词 计算机网络 通信子网 信息流模型 链路延迟
在线阅读 下载PDF
基于加密解密过程的信息流模型
9
作者 刘益和 沈昌祥 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第11期253-255,共3页
通过引入客体的加密标识的概念,并利用客体的密级和完整性等级来定义新的客体安全类和信息流策略,得到一个新的基于加密解密过程的信息流模型.分析证明新模型是合理的、安全的,对信息安全体系结构模型构建起到积极作用.
关键词 加密解密 BLP模型 BIBA模型 信息流模型
在线阅读 下载PDF
南水北调工程建设管理信息流模型研究
10
作者 李明 丰景春 洪玉振 《南水北调与水利科技》 CAS CSCD 2010年第2期1-5,共5页
随着南水北调工程建设的推进,附加在工程上的信息量也越来越大。为了使南水北调工程的各个建设单位之间的信息沟通更加顺畅和有效,管理更加规范和科学,对南水北调工程建设管理过程中出现的3种主要的管理模式进行了调研和分析,并根据现... 随着南水北调工程建设的推进,附加在工程上的信息量也越来越大。为了使南水北调工程的各个建设单位之间的信息沟通更加顺畅和有效,管理更加规范和科学,对南水北调工程建设管理过程中出现的3种主要的管理模式进行了调研和分析,并根据现有的管理模式建立了相应的信息流模型。模型反映了参与南水北调主体工程建设的各个单位之间的信息流动过程,可以用来分析南水北调工程建设管理信息流的效率和可靠性,可以作为进一步研究南水北调工程建设单位之间接口的基础。 展开更多
关键词 南水北调工程 建设管理 信息流模型
在线阅读 下载PDF
一个基于网格环境的安全信息流模型
11
作者 刘益和 《计算机科学》 CSCD 北大核心 2011年第6期157-160,199,共5页
网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,扩展了一般网络环境下的主体、客体,利用客体的组织密级、密级、完整性等级来划分安全类,定义信息流策略... 网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,扩展了一般网络环境下的主体、客体,利用客体的组织密级、密级、完整性等级来划分安全类,定义信息流策略,给出了一个基于网格环境的安全信息流模型。经严格的数学证明,新模型满足Denning的信息流模型的有限格和最小上界运算符性质,是合理的、安全的,它是BLP模型、Biba模型对应的信息流模型的扩展,也是一般网络环境下的安全信息流模型的扩展,这对网格安全研究有一定的积极意义。 展开更多
关键词 网格安全 BLP模型 BIBA模型 信息流模型
在线阅读 下载PDF
多密级子网的网络安全信息流模型
12
作者 刘益和 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第B06期70-73,共4页
基于一个拥有多个子网且它们的密级不同的网络,该网络的信息是从低密级子网流向高密级子网,通过引入将子网密级、客体密级和客体的完整性等级相结合的三维安全函数新概念,通过扩充客体和主体,构造出了一个新的安全信息流模型,该模... 基于一个拥有多个子网且它们的密级不同的网络,该网络的信息是从低密级子网流向高密级子网,通过引入将子网密级、客体密级和客体的完整性等级相结合的三维安全函数新概念,通过扩充客体和主体,构造出了一个新的安全信息流模型,该模型能较好地反映网络的安全要求。 展开更多
关键词 予网密级 BLP模型 BIBA模型 安全信息流模型
在线阅读 下载PDF
基于业务流程的装备保障信息流模型研究 被引量:7
13
作者 彭友福 朱小冬 +2 位作者 王苏刚 胡兴光 金仰博 《科学技术与工程》 2006年第19期3188-3192,共5页
通过对装备保障信息流与业务流程关系的分析,以现行装备保障体制为背景,提出了装备保障信息流模型的概念,分析了装备保障信息流模型相对于实体业务流程的特点,然后围绕装备保障关键业务流程从流程的观点建立了装备保障信息流基础模型,... 通过对装备保障信息流与业务流程关系的分析,以现行装备保障体制为背景,提出了装备保障信息流模型的概念,分析了装备保障信息流模型相对于实体业务流程的特点,然后围绕装备保障关键业务流程从流程的观点建立了装备保障信息流基础模型,最后围绕装备保障决策指挥过程从决策支持的角度对模型进行了优化重构。 展开更多
关键词 装备保障 业务流程 信息流 信息流模型
在线阅读 下载PDF
企业信息流重组模型研究 被引量:13
14
作者 王能元 霍国庆 《南开管理评论》 CSSCI 2004年第3期69-73,共5页
本文在业务流程重组理论的基础上提出了信息流重组理论,并重点分析了三种信息流重组模型,即基于价值链的信息流重组模型、基于大规模定制的信息流重组模型和基于虚拟企业的信息流重组模型。
关键词 业务流程重组 BPR 企业信息 信息流重组模型 IPR 信息技术 价值链分析 资源整合
在线阅读 下载PDF
基于安全进程代数的信息流安全模型的分析与验证
15
作者 王精明 虞慧群 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第1期102-106,115,共6页
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出... 基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。 展开更多
关键词 安全进程代数 信息流安全模型 非推断模型 非干扰模型 分离模型
在线阅读 下载PDF
智能电网信息流的建模和静态计算方法研究 被引量:25
16
作者 何瑞文 汪东 +3 位作者 张延旭 蔡泽祥 贺小旺 陈宇辉 《中国电机工程学报》 EI CSCD 北大核心 2016年第6期1527-1535,共9页
现有的电力系统能量流分析已经形成一套完整的建模与定量分析方法体系,其中并未明确计及通信、保护和控制的信息流特性。目前面向电力系统应用的信息流建模和计算方法的研究几乎还是空白,严重阻碍了电力信息物理融合系统中能量流与信息... 现有的电力系统能量流分析已经形成一套完整的建模与定量分析方法体系,其中并未明确计及通信、保护和控制的信息流特性。目前面向电力系统应用的信息流建模和计算方法的研究几乎还是空白,严重阻碍了电力信息物理融合系统中能量流与信息流耦合分析的研究进程。文中以信息流动的视角,结合图论、矩阵分析和网络演算理论,借鉴电力系统潮流计算方法,系统提出信息流的建模思路和静态计算方法。进一步将所提出方法应用于智能变电站保护信息流的定量分析,计算结果与网络分析仪的实验测试结果非常吻合,表明所提出信息流计算方法的正确性。 展开更多
关键词 智能电网信息系统 保护控制信息流 信息流模型 静态计算方法 网络演算
在线阅读 下载PDF
寄存器传输级硬件设计信息流建模与安全验证
17
作者 秦茂源 侯佳滢 +2 位作者 李家乐 唐时博 邰瑜 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第3期506-513,共8页
近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化... 近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化语言对硬件设计进行重新描述。因此,提出了一种寄存器传输级硬件设计信息流建模与安全验证方法。该方法在寄存器传输级功能模型的基础上构建附加安全属性的信息流跟踪逻辑模型,从信息流角度建模设计安全行为和安全属性,并利用EDA测试验证工具,以无干扰为策略捕捉违反安全策略的有害信息流,检测硬件设计安全漏洞。以Trust-Hub硬件木马测试集为测试对象的实验结果表明:所提方法能够有效检测设计内潜藏的硬件木马。 展开更多
关键词 硬件安全 信息流安全模型 信息流安全验证 安全漏洞检测
在线阅读 下载PDF
ATE可计量性信息流建模与分析研究 被引量:9
18
作者 汪静 欧阳红军 蒋薇 《仪器仪表学报》 EI CAS CSCD 北大核心 2012年第11期2503-2508,共6页
针对许多测试设备无法进行计量校准的现状,以自动测试设备(automatic test equipment,ATE)为研究对象,在装备"五性"(可靠性、维修性、保障性、测试性、安全性)的基础上提出了可计量性的概念,并对可计量性的内涵进行分析,提出... 针对许多测试设备无法进行计量校准的现状,以自动测试设备(automatic test equipment,ATE)为研究对象,在装备"五性"(可靠性、维修性、保障性、测试性、安全性)的基础上提出了可计量性的概念,并对可计量性的内涵进行分析,提出了它的定性和定量评价指标。以ATE原位校准为例,按照仪器的精度等级确定计量链;参照测试性建模的思想,以校准信息流的方向建立ATE可计量性模型;通过分析ATE可计量性的超差——校准矩阵,对ATE可计量性指标进行评价,最后通过实例说明了该理论的可行性。 展开更多
关键词 自动测试设备 可计量性分析 信息流模型 相关矩阵
在线阅读 下载PDF
基于遗传算法的信息流安全标记自动化挖掘 被引量:3
19
作者 邵婧 殷红武 +1 位作者 陈左宁 何晓斌 《计算机应用研究》 CSCD 北大核心 2016年第7期2143-2147,共5页
分布式信息流模型可以细粒度地控制信息的访问和传播,但其灵活性也增加了系统安全需求表达和策略管理实施的复杂性,严重制约了模型在云计算等分布式系统中的应用。对此,设计了一种基于安全断言的策略描述语言以表达安全需求;形式化定义... 分布式信息流模型可以细粒度地控制信息的访问和传播,但其灵活性也增加了系统安全需求表达和策略管理实施的复杂性,严重制约了模型在云计算等分布式系统中的应用。对此,设计了一种基于安全断言的策略描述语言以表达安全需求;形式化定义了信息流安全标记挖掘问题,分析并证明了该问题是NP完全问题;提出了基于遗传算法的标记挖掘近似最优化算法。实验结果表明,算法可自动挖掘出策略配置最优解方案,有效提高了分布式信息流模型在实际系统中的可用性。 展开更多
关键词 信息流模型 安全标记 自动化挖掘 遗传算法 NP完全问题
在线阅读 下载PDF
一个信息安全函数及应用模型 被引量:7
20
作者 刘益和 沈昌祥 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第12期2734-2738,共5页
提出信息关心程度的概念,给出了基于机密性、完整性和可用性的矩阵信息安全函数,定义了读写公理.对于任意情况,新函数与BLP模型和Biba模型的信息安全函数对应.最后利用此函数值划分安全类,用2个客体的函数值描述信息流策略,由此得到一... 提出信息关心程度的概念,给出了基于机密性、完整性和可用性的矩阵信息安全函数,定义了读写公理.对于任意情况,新函数与BLP模型和Biba模型的信息安全函数对应.最后利用此函数值划分安全类,用2个客体的函数值描述信息流策略,由此得到一个应用信息流模型.经严格的数学证明,该模型是合理的和安全的,是基于BLP信息流模型和Biba信息流模型的一个扩展. 展开更多
关键词 信息流模型 BLP模型 BIBA模型 机密性 完整性 有用性
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部