检索结果-内蒙古大学图书馆

科技管理研究 2020年第7期40卷 216-222页

作者：吴林吴超廖秀萍吴娥中南大学资源与安全工程学院中南大学安全理论创新与促进研究中心湖南长沙410083

立足于安全信息流的基本概念,分析其在系统安全管理过程中的价值;同时构建系统安全管理信息化模型并分析模型的内涵和价值意义,以揭示安全信息流在安全管理过程中的作用机理;在此基础上,从基本概念和实现路径等方面对精准安全管理进行... 详细信息

立足于安全信息流的基本概念,分析其在系统安全管理过程中的价值;同时构建系统安全管理信息化模型并分析模型的内涵和价值意义,以揭示安全信息流在安全管理过程中的作用机理;在此基础上,从基本概念和实现路径等方面对精准安全管理进行分析。研究发现,安全信息流可揭示系统内部作用机理,对安全管理具有驱动导向的综合作用,且对提升安全管理精准化程度具有重要指导意义。

关键词：安全信息流安全管理信息化精准安全管理安全系统

来源：评论

学校读者我要写书评

暂无评论

基于句法分析的安全信息流

基于句法分析的安全信息流

引用

作者：姚剑波贵州大学

学位级别：博士

人类已经进入信息社会，计算机网络技术为信息的获取、传输、处理、利用提供了越来越便捷的手段。由于网络“黑客”与“入侵者”的活动日益频繁，使得计算机网络中的信息变得越来越不安全了。信息技术发展到今天，迫切要求发展信息安全... 详细信息

人类已经进入信息社会，计算机网络技术为信息的获取、传输、处理、利用提供了越来越便捷的手段。由于网络“黑客”与“入侵者”的活动日益频繁，使得计算机网络中的信息变得越来越不安全了。信息技术发展到今天，迫切要求发展信息安全技术。为了确保端到端的安全，必须控制信息流。安全信息流是信息安全的重要分支之一。安全信息流的句法分析有两类：一类是基于类型系统的方法；另一类是基于数据流分析的方法。针对安全信息流目前研究的重点，本文在安全信息流领域作了一定的研究工作。其主要研究工作及创新点如下： Ⅰ．类型系统方法 1．在Volpano等人工作的基础上，把其可靠性类型系统的核心语言扩展到具有非确定语句的编程语言。在非确定语言的环境下， Volpano的可靠性类型系统不满足不干扰。我们证明在非确定语言的环境下，类型系统满足的是几率不干扰。 2．在Volpano等人关于安全信息流的开创性工作之后，开发了许多安全信息流类型系统。然而，迄今为止尚未有类型系统关注多维数组运算的安全信息流。我们把数组作为第一级值，通过别名数组，多维数组可作为数组的数组。为了区分数组和它的别名，我们引入了一个全新的二元存储器模型，类型系统的可靠性通过不干扰得已证明。 3．基于语言的信息流安全策略通常形式化为不干扰，仅允许信息从低安全级流向高安全级。不干扰太严格，不能实用。实用程序中存在降级，降级指定信息从高安全级流向低安全级，同样称为消去保密性标志。如果一个实用软件被消去保密性标志，就有理由接受某些信息释放。我们提出的降级策略在某些条件满足时，通过一些运算消去指定数据的保密性标志。带有策略e(?)p标志的数据必须在安全级e下处理，如果条件c为真，可以把运算符op运用于该数据。运算的结果是带有安全对策p的标志。所有的安全降级策略都是强制的，因此，我们提出的安全策略框架在实用软件中支持降级。在满足某些前提条件时，每一步的降级都用一些运算符表示。类型系统的可靠性用松弛无干扰得以保证。 Ⅱ．数据流分析的方法假定信息仅有低密级(L)和高密级(H)两个安全级，且L安全级，表示为(?)。在数据流分析中，我们引入两个表示符x↑和x↓，其中x↑表示存在从任意H变量到L变量x的信息流时，L变量x的密级升级；x↓表示存在从L变量到H变量x的信息流时，H变量x的密级降级。我们的研究表明：如果在给定的程序终止处，不存在密级已升级的变量，那么就能保证该程序是安全的。 Kyung-Goo Doh和Seung Cheol Shin同样使用数据流分析处理安全信息

关键词：信息安全安全信息流类型系统数据流分析可靠性

来源：评论

学校读者我要写书评

暂无评论

微系统人机界面的安全信息流模型构建及其应用

引用

中国安全生产科学技术 2020年第3期16卷 151-156页

作者：吴林吴超黄浪廖秀萍中南大学资源与安全工程学院湖南长沙410083 中南大学安全理论创新与促进研究中心湖南长沙410083

为提高系统安全水平,进一步丰富安全系统学理论内容,对微系统内人机界面的安全信息流过程、模型及其应用进行深入研究。论述安全信息流与人机交互过程理论,为模型构建奠定理论基础;运用安全模型原理,从信息传播角度建立人机界面的安全... 详细信息

为提高系统安全水平,进一步丰富安全系统学理论内容,对微系统内人机界面的安全信息流过程、模型及其应用进行深入研究。论述安全信息流与人机交互过程理论,为模型构建奠定理论基础;运用安全模型原理,从信息传播角度建立人机界面的安全信息流模型并分析模型的内涵和意义;将所建模型应用于具体情景的仿真模拟,以验证其适用性和合理性。研究结果表明:模型刻画了系统内安全信息流动轨迹,有利于揭示系统安全演化行为机理,对提高系统安全水平具有重要的理论指导意义。

关键词：微系统人机界面信息交互安全信息流模型

来源：评论

学校读者我要写书评

暂无评论

Confined-π演算中的等价关系及船舶安全信息流分析

引用

舰船科学技术 2017年第2X期39卷 166-168页

作者：曹鑫路遥石家庄信息工程职业学院软件工程系河北石家庄050035

在船舶信息安全流分析中,怎样建立合理的非干扰安全性是关键问题。本文通过对Confined-π演算的研究分析,利用Confined-π演算的互模拟等价关系构建船舶安全信息流的安全结构,并给出一种基于Confined-π演算的安全策略。

关键词： Confined-π 等价关系安全信息流

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的C语言安全信息流研究

基于模型检测的C语言安全信息流研究

引用

作者：阮小黎清华大学

学位级别：硕士

计算机技术的飞速发展带来了很多网络安全上的问题,迫切需要发展信息安全技术。在信息安全中,信息流安全的检测无法用传统的安全方法实现,只能通过安全信息流特性的检测来实现。因此为了控制端到端访问的信息流,需要检测多层安全级系统... 详细信息

计算机技术的飞速发展带来了很多网络安全上的问题,迫切需要发展信息安全技术。在信息安全中,信息流安全的检测无法用传统的安全方法实现,只能通过安全信息流特性的检测来实现。因此为了控制端到端访问的信息流,需要检测多层安全级系统中程序的访问是否满足安全信息流特性。现在大部分安全信息流的研究集中在对java字节码和汇编码上。当前安全信息流的检测分为两类:一类是基于类型的方法;另一类是基于语义的方法。就检验的结果而言,基于语义的方法要优于基于类型的方法。本文采用基于语义的方法在安全信息流的检测上进行了以下研究。 1.将安全信息流的研究移植到新的领域中。研究中将安全信息流研究和模型检测方法相结合,对C语言程序安全信息流的信息保密性进行检测。研究按照建模——特性描述——检测的流程。本文分析了安全信息流中的信息保密性要求,研究了C语言的执行特征,根据这些使用抽象解释方法得出相应的C语言的具体语义然后进行抽象得到能够建模的抽象语义。在语义生成之后,对生成的语义和C语言的标准语义的一致性进行验证,给出引理并且证明了具体语义和抽象语义的正确性;从而证明了对C语言程序建模的正确性。同时分析信息保密性的要求和信息泄露的产生原因,得出对应这些信息保密性的CTL公式。 2.根据C语言信息保密性的研究,深入剖析满足信息保密性的状态图的路径特征和状态特征;分析状态中变量对安全特性的影响。对状态数据结构进行优化,减少状态数据结构中的变量;对C语言的if和while语句的语义进行优化,减少建模后状态图的状态数目的同时合并无意义的分支和循环,生成线性序列的状态图。最后将这种优化应用到对信息保密性的研究中去。按基于语义方法得出对应的抽象语义,对应着线性状态图特征信息保密性的分析并生成信息保密性的LTL公式。 3.对C语言安全信息流分析研究进行实现,并且以实例来分析比较1,2中使用的方法。通过实例结果说明改进方法优于未改进的方法。

关键词：安全信息流模型检测抽象解释

来源：评论

学校读者我要写书评

暂无评论

电梯PAR安全信息流管理模型构建及应用

引用

中国安全生产科学技术 2022年第8期18卷 235-242页

作者：廖志刚潘伟申海瑛李添添中南大学资源与安全工程学院湖南长沙410083 青海师范大学数学与统计学院青海西宁810016 湖南省特种设备检验检测研究院检验业务部湖南长沙410117

为从安全信息视角分析电梯全生命周期过程中事故致因因素,并在实践中提升电梯安全管理水平,基于PAR事故致因模型开展电梯安全信息管理研究。以安全信息为主线,安全感知-安全分析-安全应答(PAR)安全行为链为关键点,建立电梯PAR安全信息... 详细信息

为从安全信息视角分析电梯全生命周期过程中事故致因因素,并在实践中提升电梯安全管理水平,基于PAR事故致因模型开展电梯安全信息管理研究。以安全信息为主线,安全感知-安全分析-安全应答(PAR)安全行为链为关键点,建立电梯PAR安全信息流管理模型。基于电梯PAR安全信息流管理模型的逻辑架构建立电梯信息综合监管服务体系,将模型的信息服务形式具体化。并运用电梯PAR安全信息流管理模型对典型电梯事故进行分析。研究结果表明:电梯PAR安全信息流管理模型能够全面分析各层级失误模式,提升各主体协同治理能力。电梯信息综合监管服务体系可打破电梯领域信息“孤岛”现状,对智慧电梯建设具有重要理论指导意义。

关键词：电梯安全信息流 PAR事故致因模型安全管理综合监管

来源：评论

学校读者我要写书评

暂无评论

信息流视域下的轨旁静态数据安全管理优化方法

引用

城市轨道交通研究 2021年第4期24卷 18-21页

作者：江迎魏倩朱孟雯卡斯柯信号有限公司上海200071

为提高列车运行控制系统数据安全管理质量,增强系统部署的安全信心,从信息流的视域构建了列车运行控制系统安全信息流模型,并结合信息安全流事故致因理论,进行模型分析。轨旁静态数据安全管理对于整个列车运行控制系统安全性有重要意义... 详细信息

为提高列车运行控制系统数据安全管理质量,增强系统部署的安全信心,从信息流的视域构建了列车运行控制系统安全信息流模型,并结合信息安全流事故致因理论,进行模型分析。轨旁静态数据安全管理对于整个列车运行控制系统安全性有重要意义。提出现有数据管理方法在4个维度上的缺陷,利用Python语言开发验证软件,实现了4个优化维度的设计。

关键词：城市轨道交通全自动列车运行控制系统安全信息流轨旁静态数据数据安全管理

来源：评论

学校读者我要写书评

暂无评论

基于SICP的人因失误机理和预防研究

引用

情报杂志 2020年第5期39卷 175-182页

作者：陈沅江冯伟中南大学资源与安全工程学院长沙410083

[目的/意义]为了进一步研究人因失误的发生机理、实现控制人因失误出现的频率,防止人因失误的发生,开展基于安全信息认知过程(SICP)的人因失误机理和预防研究。[过程/方法]首先,研究安全信息认知过程中的安全信息流的结构及系统安全信息... 详细信息

[目的/意义]为了进一步研究人因失误的发生机理、实现控制人因失误出现的频率,防止人因失误的发生,开展基于安全信息认知过程(SICP)的人因失误机理和预防研究。[过程/方法]首先,研究安全信息认知过程中的安全信息流的结构及系统安全信息流,为人因失误机理的研究奠定基础;其次,在上述研究基础上构建人因失误机理模型;最后,以人因失误的影响因素为依据,构建人因失误预防程序,并将其应用于天津港火灾爆炸事故。[结果/结论]研究结果表明,人因失误的主要影响因素包括安全信息认知过程中的信宿、信源、信道、安全方法和安全信息流动状况。同时,该人因失误预防方案具有极高的可靠性和实用性。

关键词：信息科学安全信息认知过程(SICP) 人因失误安全信息流

来源：评论

学校读者我要写书评

暂无评论

软件可靠性与防御性——一种基于类型的方法

软件可靠性与防御性——一种基于类型的方法

引用

第六届国际可靠性、维修性、安全性会议

作者：姚剑波李坚石贵州大学计算机科学系(贵州贵阳)

本文提出了一种类型系统,确保非确定性编程语言中的好类型程序满足无干扰安全特性.这项工作扩充了Dennis Volpano可靠性类型系统的核心语言.

关键词：类型系统安全信息流格模型编程语言

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：