期刊文献+
共找到132篇文章
< 1 2 7 >
每页显示 20 50 100
基于软件定义网络的非集中式信息流控制系统——S-DIFC 被引量:5
1
作者 王涛 严飞 +1 位作者 王庆飞 张乐艺 《计算机应用》 CSCD 北大核心 2015年第1期62-67,71,共7页
针对当前非集中式信息流控制(DIFC)系统无法对主机与网络敏感数据进行一体化有效监控的问题,提出一种基于软件定义网络(SDN)的DIFC系统设计框架——S-DIFC。首先,在主机平面利用DIFC模块对主机中文件及进程进行细粒度的监控;然后,利用... 针对当前非集中式信息流控制(DIFC)系统无法对主机与网络敏感数据进行一体化有效监控的问题,提出一种基于软件定义网络(SDN)的DIFC系统设计框架——S-DIFC。首先,在主机平面利用DIFC模块对主机中文件及进程进行细粒度的监控;然后,利用标签信息转换模块拦截网络通信,将敏感数据标签添加到网络流中;其次,在网络平面的SDN控制器中,对带有机密信息的流进行多级别的访问控制;最后,在目标主机DIFC系统上,恢复敏感数据所携带的敏感信息标记。实验结果表明,该系统对主机CPU负载影响在10%以内,对内存影响在0.3%以内,与依赖加解密处理的Dstar系统大于15 s的额外时延相比,有效地减轻了分布式网络控制系统对通信的负担。该框架能够适应下一代网络对敏感数据安全的需求,同时分布式的方法能够有效增强监控系统的灵活性。 展开更多
关键词 非集中式信息流控制 软件定义网络 数据防泄漏 标签映射 细粒度
在线阅读 下载PDF
基于DIFC的租户自主授权SaaS层数据隔离与共享模型 被引量:1
2
作者 曾萍 路宇 +1 位作者 鞠磊 胡荣磊 《计算机应用研究》 CSCD 北大核心 2017年第11期3455-3458,共4页
Saa S服务提供者对租户间提供数据共享服务时,容易造成租户数据的泄露,并且在租户未经许可的情况下,可以非法获取租户的隐私数据。针对上述Saa S服务的缺陷,引入了分布式信息流控制(DIFC)安全防护机制,提出了基于DIFC的租户自主授权Saa ... Saa S服务提供者对租户间提供数据共享服务时,容易造成租户数据的泄露,并且在租户未经许可的情况下,可以非法获取租户的隐私数据。针对上述Saa S服务的缺陷,引入了分布式信息流控制(DIFC)安全防护机制,提出了基于DIFC的租户自主授权Saa S层数据隔离与共享模型。该模型强制Saa S服务提供者执行标签比对机制,各租户可以自主划分用户信息级别,定制全球唯一标记。通过第三方可信标签管理授权服务(AS),细粒度地限制租户间的数据共享操作,并必须经用户授权标签才能访问相应数据。最终证明了此模型可以满足租户数据隔离与共享的安全。 展开更多
关键词 分布式信息流控制 软件即服务 第三方可信标签 授权服务
在线阅读 下载PDF
基于IFC及AHP的轨道交通工程盾构施工安全管控信息标准与决策分析研究 被引量:2
3
作者 李俊松 董佳淇 +1 位作者 汪明 曹力 《铁道标准设计》 北大核心 2023年第9期116-122,共7页
为解决轨道交通工程盾构施工安全管控决策过程与现场数据结合不够紧密、缺乏定量指标、难以抓准管控重点等问题,提出基于IFC及AHP的现场信息标准化与安全决策分析方法。结合安全管控信息特点,以IFC标准为基础拓展出各类现场数据的IFC编... 为解决轨道交通工程盾构施工安全管控决策过程与现场数据结合不够紧密、缺乏定量指标、难以抓准管控重点等问题,提出基于IFC及AHP的现场信息标准化与安全决策分析方法。结合安全管控信息特点,以IFC标准为基础拓展出各类现场数据的IFC编码,实现项目安全信息标准化。提出基于AHP的安全管控信息分析决策的计算方法,制定出安全管控分析与决策的标准流程,结合建设工程综合监控系统实现数据的自动分析、预警和展示。依托广州地铁11号线盾构工程,详细剖析了某次区间下穿居民楼安全风险事件的数据采集、分析、预警以及后续应对,实践表明,基于IFC的拓展数据结构可以完整表达现场各类数据,解决数据标准化问题,基于AHP的决策系统可以定量计算出目标层安全风险量,评价出风险等级,为安全管控的科学、准确决策提供有效的理论依据。 展开更多
关键词 轨道交通工程 盾构施工 ifc AHP 安全管控 信息标准 决策分析
在线阅读 下载PDF
DIFC-AC:一种云计算中信息隐私性保护方法 被引量:5
4
作者 叶志伟 叶建伟 《计算机应用与软件》 CSCD 北大核心 2013年第3期30-34,共5页
随着云计算这种新的网络计算模式的普及,云用户信息隐私性保护问题成为云计算领域亟待解决的重要问题。当用户将数据上传到云服务器端,用户就不再能保证其数据受到保护。为了让用户对上传到云上的数据进行自主的授权和控制,提出一种基... 随着云计算这种新的网络计算模式的普及,云用户信息隐私性保护问题成为云计算领域亟待解决的重要问题。当用户将数据上传到云服务器端,用户就不再能保证其数据受到保护。为了让用户对上传到云上的数据进行自主的授权和控制,提出一种基于分布式信息流控制的访问控制方法 DIFC-AC,其核心思想是采用安全标签来跟踪数据的流动,数据所有者通过在标签中设置授权条件来控制进程对该数据的访问权限。提出DIFC-AC原型系统的设计与实现,DIFC-AC保证用户数据在服务器端的整个生命周期的隐私性。性能测试数据显示DIFC-AC原型系统的性能开销能够控制在合理范围之内。 展开更多
关键词 隐私性保护 云计算 分布式信息流控制 安全标签
在线阅读 下载PDF
电力信息物理系统中信息系统物理化的建模及分析方法 被引量:6
5
作者 何瑞文 龙隆 +2 位作者 张宝仁 王伊尹 肖智宏 《中国电机工程学报》 EI CSCD 北大核心 2024年第1期72-84,I0006,共14页
该文基于信息系统物理化的设想提出电力信息物理系统(cyber-physical power system,CPPS)中的信息流建模和计算分析方法。采用连续时间函数来刻画信息流的特征,并定义信息网络运行参数为流量累积函数、信息流速和时延。首先,基于遍历法... 该文基于信息系统物理化的设想提出电力信息物理系统(cyber-physical power system,CPPS)中的信息流建模和计算分析方法。采用连续时间函数来刻画信息流的特征,并定义信息网络运行参数为流量累积函数、信息流速和时延。首先,基于遍历法搜索出信息流路径,建立信息流速矩阵的范式;然后利用改进的网络演算(network calculus,NC)特性赋值流速矩阵的元素;进一步采用流量累积函数表征信源数据发送规律,从而显式求解时延上界。最后将提出的信息流建模方法应用于智能变电站自动化系统的时延计算,通过与OPNET的仿真结果相比较,验证所提出模型的有效性,而且该方法可以提供定量分析指标以优化变电站组网方案设计中的信息流分布。 展开更多
关键词 电力信息物理系统(CPPS) 信息系统物理化(PtC) 信息流速 网络演算(NC) 智能变电站 电力系统保护控制
在线阅读 下载PDF
隐式信息流重组粒度与污点传播能力判别
6
作者 唐成华 杜征 +1 位作者 关晓龙 强保华 《小型微型计算机系统》 CSCD 北大核心 2024年第6期1512-1520,共9页
污点分析中的隐式信息流由于其通过控制流传播污点的特性导致许多基于数据流的污点分析技术无效或分析效率低.本文提出了一种简洁有效的基于重组粒度的隐式信息流污点传播能力判别方法.通过预定义重组链构建规则,并基于程序切片和控制... 污点分析中的隐式信息流由于其通过控制流传播污点的特性导致许多基于数据流的污点分析技术无效或分析效率低.本文提出了一种简洁有效的基于重组粒度的隐式信息流污点传播能力判别方法.通过预定义重组链构建规则,并基于程序切片和控制依赖关系给出了隐式信息重组链构建算法,在重组链各端点的信息重组粒度计算的基础上,获得隐式信息流的重组粒度及重组比值,能判别其污点传播能力.此外,实验开发了一个包含15个隐式信息流代码段的隐式信息流测试集IIF-Bench,并用来验证了判别方法的有效性和良好独立性,使其易于作为扩展添加至其它静态污点分析方法中从而实现隐式信息流分析的能力. 展开更多
关键词 污点分析 隐式信息流 控制流分析 静态分析 重组粒度
在线阅读 下载PDF
无人机集群空中博弈对抗体系指挥控制模型 被引量:1
7
作者 吕茂隆 段海滨 +3 位作者 杨任农 张群 万路军 陈希亮 《指挥与控制学报》 CSCD 北大核心 2024年第4期401-411,共11页
针对无人机集群空中博弈对抗体系的指挥控制问题,系统阐述了无人机集群协同空战典型场景的作战过程模型,分析设计了空中无人机集群博弈对抗体系的作战任务剖面,构建了空中无人机集群协同作战体系信息流程模型。研究结论能够为空中无人... 针对无人机集群空中博弈对抗体系的指挥控制问题,系统阐述了无人机集群协同空战典型场景的作战过程模型,分析设计了空中无人机集群博弈对抗体系的作战任务剖面,构建了空中无人机集群协同作战体系信息流程模型。研究结论能够为空中无人作战体系构建、无人集群协同空战指挥控制架构以及协同作战规划设计方法等研究提供理论支撑。 展开更多
关键词 无人机集群 博弈对抗 体系 协同作战 指挥控制 任务剖面 信息流程模型
在线阅读 下载PDF
基于IEC 61968标准的信息交换总线主动与协同控制技术 被引量:12
8
作者 吕广宪 赵江河 +2 位作者 刘海涛 韩国政 刘鹏 《电力系统自动化》 EI CSCD 北大核心 2013年第13期83-87,共5页
阐述了IEC 61968标准及信息交换总线技术在配电网信息交换领域的发展现状,分析了当前基于IEC 61968标准的信息交换总线在信息流控制方面的不足,提出了基于信息交换总线主动控制和适配器协同控制思路的控制框架。面向信息流向控制,设计... 阐述了IEC 61968标准及信息交换总线技术在配电网信息交换领域的发展现状,分析了当前基于IEC 61968标准的信息交换总线在信息流控制方面的不足,提出了基于信息交换总线主动控制和适配器协同控制思路的控制框架。面向信息流向控制,设计了基于IEC 61968标准消息、动词和角色的主题权限表,基于主题权限表的配电网信息流向编排功能,以及基于主动分析和协同控制的信息流向异常处理方法;面向信息交换总线运行时的信息流动控制,设计了包含启停控制、流量控制与优先级控制等三方面功能的主动与协同一体化控制方法。所提出的基于主动与协同机制的信息流控制框架有助于实现配电网信息交换的稳定性和灵活性。 展开更多
关键词 IEC 61968 总线 信息交换 信息流 主动控制 协同控制
在线阅读 下载PDF
智能电网控制中心技术的未来发展 被引量:155
9
作者 张伯明 孙宏斌 +1 位作者 吴文传 郭庆来 《电力系统自动化》 EI CSCD 北大核心 2009年第17期21-28,共8页
对智能电网控制中心技术进行了分析和展望。分析了电力系统中电力流、信息流、资金流的变化规律和相互之间的制约关系。通过对信息流的调控,改善电力流和资金流,实现智能电网。以信息流为基础,从信息分层、上下层信息互动、不同时间尺... 对智能电网控制中心技术进行了分析和展望。分析了电力系统中电力流、信息流、资金流的变化规律和相互之间的制约关系。通过对信息流的调控,改善电力流和资金流,实现智能电网。以信息流为基础,从信息分层、上下层信息互动、不同时间尺度信息之间的协调几个方面研究了智能电网调度控制系统构架。从空间、时间、控制目标等3维协调、发展,以及基于相量测量单元的动态管理系统、系统级的闭环控制等方面探讨智能电网控制中心应用软件可能发生的变革,并对如何适应特高压电网的智能电网控制中心技术进行了讨论。 展开更多
关键词 智能电网 控制中心 能量管理系统 信息流 调度控制技术
在线阅读 下载PDF
高校校园生态系统可控性 被引量:6
10
作者 万皓 林智莉 +5 位作者 吴明红 张萌 何欢 吴成武 徐宁 马振 《生态学报》 CAS CSCD 北大核心 2015年第21期7172-7181,共10页
在环境问题日趋严重的背景下,人类一直在探索将城市生态系统改造成能够自身循环、更好利用可再生能源、同时大幅减少排放的受控系统,但由于该系统的复杂度太高,可控程度较低,其实现难度很大。高校校园可视为比较典型的城市生态系统的子... 在环境问题日趋严重的背景下,人类一直在探索将城市生态系统改造成能够自身循环、更好利用可再生能源、同时大幅减少排放的受控系统,但由于该系统的复杂度太高,可控程度较低,其实现难度很大。高校校园可视为比较典型的城市生态系统的子系统,在合理的管控与现代信息技术的支持下,高校校园最有可能实现生态系统可控化建设。对四个主要生态流(物质流、能量流、人口流、信息流)在高校生态系统中的作用进行理论阐述,针对具有中国特色、学生大规模集中居住的高校校园,提出了一种新的受控生态系统改造方案。通过对现有校园生态工程技术进行组装,完成校园生态系统基础构筑。利用综合的校园生态系统信息流管理平台监管校园物质循环、能量流动、人口流动,探讨了可实现的高校受控生态系统的建设模式,最终提出了高校受控生态系统建设的理论模型,以期达到高校校园物质与能源利用效率最大化,降低碳排放,改善局部小型气候群,进而改善环境大气候。研究结果如能较好的应用到实践中,将为城市生态系统建设提供重要参考,意味着现代生态学将为人类发展作出一定的贡献。 展开更多
关键词 受控校园生态系统 生态流 信息流系统
在线阅读 下载PDF
面向手工装配的计算机辅助装配过程控制方法 被引量:23
11
作者 刘检华 白书清 +4 位作者 段华 宁汝新 袁坤 张佳朋 仵永亮 《计算机集成制造系统》 EI CSCD 北大核心 2009年第12期2391-2398,共8页
基于手工装配的复杂产品装配过程随机性较大,生产节拍不明显,缺乏有效的技术手段和方法对产品装配过程进行控制。针对这一问题,提出一种新型的面向手工装配的计算机辅助装配过程控制方法,该方法由装配工艺流程图创建、装配信息集成展示... 基于手工装配的复杂产品装配过程随机性较大,生产节拍不明显,缺乏有效的技术手段和方法对产品装配过程进行控制。针对这一问题,提出一种新型的面向手工装配的计算机辅助装配过程控制方法,该方法由装配工艺流程图创建、装配信息集成展示与工位数据采集、装配流程控制和装配进度监控三部分组成。引入工作流管理技术,把离散化产品的装配过程控制转化为对产品装配流程的控制,从而实现对复杂产品装配过程的时间进度、技术状态、装配质量的有效控制和基于装配流程的数据统一管理,为解决面向手工装配的复杂产品装配过程控制难的问题提供了有效的途径和方法。 展开更多
关键词 装配 过程控制 流程图 信息集成展示 关键装配工序
在线阅读 下载PDF
基于LINUX的操作系统安全模型 被引量:6
12
作者 阳富民 涂刚 胡贯荣 《计算机工程与应用》 CSCD 北大核心 2001年第13期115-116,120,共3页
在 RBAC2模型、Bell&Lapadula(BLP)模型和格模型的基础上,提出了一种改进的基于角色的安全模型,简单介绍了该模型在LINUX基础上的实现,证明了模型的安全性。
关键词 自主存取控制 强制存取控制 信息流 操作系统 LINUX UNIX 角色管理
在线阅读 下载PDF
面向SCM的生产计划与控制系统总体模型 被引量:15
13
作者 陈志祥 陈荣秋 马士华 《高技术通讯》 EI CAS CSCD 2000年第9期74-76,73,共4页
研究供应链管理环境下企业生产计划与控制方法 ,分析了供应链环境下生产计划与控制系统的几个概念扩展 ,提出了生产组织新模式。探讨了新生产模式的计划信息组织与决策过程的几个特特征 ,提出生产计划与控制的总体模型 。
关键词 供应链管理 生产计划 定单流 信息跟踪机制 控制系统 CIMS 企业生产管理
在线阅读 下载PDF
基于C-Bus总线的智能照明控制系统设计 被引量:15
14
作者 张云洲 吴成东 +1 位作者 晋亮 张乐平 《控制工程》 CSCD 2008年第2期182-184,共3页
采用C-Bus总线实现了智能建筑实验室灯光照明系统的智能控制。在分析C-Bus总线的原理与网络组成、通信协议的基础上,提出并设计了典型的C-Bus控制系统结构。给出了网络消息定义规则和系统的信息处理流程图,并基于C-Bus的扩展接口与安防... 采用C-Bus总线实现了智能建筑实验室灯光照明系统的智能控制。在分析C-Bus总线的原理与网络组成、通信协议的基础上,提出并设计了典型的C-Bus控制系统结构。给出了网络消息定义规则和系统的信息处理流程图,并基于C-Bus的扩展接口与安防系统实现了有效集成。针对目标建筑搭建了实验系统,测试效果表明了该系统具有很高的运行效率和优异的性能。 展开更多
关键词 照明系统 C-Bus总线 智能控制 网络消息 信息流
在线阅读 下载PDF
信息流控制研究进展 被引量:23
15
作者 吴泽智 陈性元 +1 位作者 杨智 杜学绘 《软件学报》 EI CSCD 北大核心 2017年第1期135-159,共25页
信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机... 信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机层次结构由下而上出发,综述了基于硬件、操作系统、虚拟机、高级语言、低级语言、数据库和网络的信息流控制实现方法,并对比了各类研究的特点;然后,结合当今时代前沿技术,分析了信息流控制在云计算、移动互联、大数据和物联网等新技术下的应用;最后,总结了当前信息流控制相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对下一步研究工作有一定的参考价值. 展开更多
关键词 信息流控制 安全模型 安全类型系统 进程代数 动态污点跟踪
在线阅读 下载PDF
智能电网信息流的建模和静态计算方法研究 被引量:25
16
作者 何瑞文 汪东 +3 位作者 张延旭 蔡泽祥 贺小旺 陈宇辉 《中国电机工程学报》 EI CSCD 北大核心 2016年第6期1527-1535,共9页
现有的电力系统能量流分析已经形成一套完整的建模与定量分析方法体系,其中并未明确计及通信、保护和控制的信息流特性。目前面向电力系统应用的信息流建模和计算方法的研究几乎还是空白,严重阻碍了电力信息物理融合系统中能量流与信息... 现有的电力系统能量流分析已经形成一套完整的建模与定量分析方法体系,其中并未明确计及通信、保护和控制的信息流特性。目前面向电力系统应用的信息流建模和计算方法的研究几乎还是空白,严重阻碍了电力信息物理融合系统中能量流与信息流耦合分析的研究进程。文中以信息流动的视角,结合图论、矩阵分析和网络演算理论,借鉴电力系统潮流计算方法,系统提出信息流的建模思路和静态计算方法。进一步将所提出方法应用于智能变电站保护信息流的定量分析,计算结果与网络分析仪的实验测试结果非常吻合,表明所提出信息流计算方法的正确性。 展开更多
关键词 智能电网信息系统 保护控制信息流 信息流模型 静态计算方法 网络演算
在线阅读 下载PDF
工业互联网感知通信控制协同融合技术研究综述 被引量:14
17
作者 田辉 贺硕 +3 位作者 林尚静 范绍帅 聂高峰 蒋秀蓉 《通信学报》 EI CSCD 北大核心 2021年第10期211-221,共11页
感知通信控制的协同融合是工业互联网发展的必然趋势,梳理工业互联网感知通信控制协同融合技术的研究现状与挑战对推动工业互联网发展具有重要意义。首先,介绍了工业互联网中感知-通信-控制三要素间的复杂耦合关系。然后,综述了国内外... 感知通信控制的协同融合是工业互联网发展的必然趋势,梳理工业互联网感知通信控制协同融合技术的研究现状与挑战对推动工业互联网发展具有重要意义。首先,介绍了工业互联网中感知-通信-控制三要素间的复杂耦合关系。然后,综述了国内外关于工业互联网感知通信控制协同融合技术的研究现状和面临的问题。最后,围绕工业互联网中感知通信控制协同融合问题对未来的研究方向进行了总结和展望。 展开更多
关键词 工业互联网 信息流 感知通信控制解耦 协同融合
在线阅读 下载PDF
基于报文识别与流量管控的智能变电站保护控制信息安全防护方法 被引量:26
18
作者 席禹 邹俊雄 +1 位作者 蔡泽祥 苏忠阳 《电网技术》 EI CSCD 北大核心 2017年第2期624-629,共6页
针对智能变电站保护控制信息安全风险的防范问题,提出了智能变电站保护控制信息安全风险防护的三道防线模型,包括以防入侵风险为核心的第一道防线、以防传播风险为核心的第二道防线和以防失效风险为核心的第三道防线。进一步,针对第二... 针对智能变电站保护控制信息安全风险的防范问题,提出了智能变电站保护控制信息安全风险防护的三道防线模型,包括以防入侵风险为核心的第一道防线、以防传播风险为核心的第二道防线和以防失效风险为核心的第三道防线。进一步,针对第二道防线防传播风险技术的薄弱环节,提出了基于报文识别与流量管控的保护控制信息传播风险防护方法以及相应的安全交换模型,并基于OPNET搭建了智能变电站保护控制信息传播风险防护的仿真平台。仿真结果表明所提出的保护控制信息传播风险防护方法在正常运行情况下能够优化报文处理机制,在异常情况下能够保障关键报文的可靠传输,从而有效提升了智能变电站通信网络的抗风险能力。 展开更多
关键词 智能变电站 信息安全 三道防线 令牌桶 报文识别 流量管控
在线阅读 下载PDF
安卓隐私安全研究进展 被引量:6
19
作者 吴泽智 陈性元 +1 位作者 杨智 杜学绘 《计算机应用研究》 CSCD 北大核心 2014年第8期2241-2247,共7页
针对安卓移动操作系统平台,研究了在保护用户隐私数据方面已有的安全机制及其安全缺陷。从访问控制与信息流分析两方面出发,综合分析近年来安卓隐私安全增强工作的关键技术,对比了各类工作在高效性、正确性、灵活性和易用性等方面的优... 针对安卓移动操作系统平台,研究了在保护用户隐私数据方面已有的安全机制及其安全缺陷。从访问控制与信息流分析两方面出发,综合分析近年来安卓隐私安全增强工作的关键技术,对比了各类工作在高效性、正确性、灵活性和易用性等方面的优点和缺点;探讨了基于移动平台下安全模型的形式化分析与证明思想,并指出了未来可能的研究方向。 展开更多
关键词 安卓 隐私数据 访问控制 信息流分析 形式化方法
在线阅读 下载PDF
基于广义污点传播模型的操作系统访问控制 被引量:7
20
作者 杨智 殷丽华 +3 位作者 段洣毅 吴金宇 金舒原 郭莉 《软件学报》 EI CSCD 北大核心 2012年第6期1602-1619,共18页
动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不够,而污点传播方法存在已知隐蔽通道.提出了保护操作系统保密性和完整性的广义污点传播模型(generalized t... 动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不够,而污点传播方法存在已知隐蔽通道.提出了保护操作系统保密性和完整性的广义污点传播模型(generalized taint propagation model,简称GTPM),它继承了污点传播在最小权限方面的特点,拓展了污点传播语义,以试图关闭已知隐蔽通道,引入了主体的降密和去污能力以应对污点积累;还利用通信顺序进程(CSP)语言描述了模型的规格,以明确基于GTPM的操作系统的信息流控制行为的形式化语义;基于CSP的进程等价验证模型定义了可降密无干扰,并借助FDR工具证明形式化构建的抽象GTPM系统具有可降密无干扰安全性质.最后,通过一个示例分析了模型的可用性提升. 展开更多
关键词 污点传播 隐蔽通道 通信顺序进程 无干扰 最小权限 信息流控制 操作系统
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部