水电站边坡施工期4D安全信息模型研究与应用 被引量：7

1

作者 张社荣 薛烈 +2 位作者 撒文奇 杜成波 张峰华 《计算机应用研究》 CSCD 北大核心 2014年第7期2053-2057,共5页

鉴于以往边坡施工期安全信息管理及可视化分析方面的研究中还存在工程模型及信息动态属性描述不够、安全信息表达不全面等问题,通过引入4D技术和安全信息模型,提出水电站边坡施工期4D安全信息模型的建立方法和实现过程,重点研究了边坡... 鉴于以往边坡施工期安全信息管理及可视化分析方面的研究中还存在工程模型及信息动态属性描述不够、安全信息表达不全面等问题,通过引入4D技术和安全信息模型,提出水电站边坡施工期4D安全信息模型的建立方法和实现过程,重点研究了边坡信息几何载体模型的建立、安全信息的数据库存储与可视化显示以及进度—模型/信息动态映射算法等关键技术,最后应用C#.NET+OpenGL开发出边坡施工期安全信息动态可视化管理系统。以某水电站左岸边坡工程为例,实现该边坡施工面貌和结构安全状态的动态耦合可视化展示以及安全信息随施工进度的实时更新,直观地揭示了边坡安全状况随施工过程的演化规律,以满足工程人员对边坡施工期安全信息直观表达和实时动态可视化分析的需求。 展开更多

关键词 边坡工程 4D技术 安全信息模型 简单体绘制 动态映射 可视化

在线阅读 下载PDF 职称材料

RS-UM信息系统安全保障评估模型 被引量：2

2

作者 张雪芹 江常青 +1 位作者 徐萃华 林家骏 《重庆大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第6期147-154,共8页

以GB/T20274信息系统安全保障评估框架为基础,介绍了信息系统安全保障模型及其评估指标体系,给出了评估方法的形式化描述和评估流程,提出了一种基于粗糙集(rough set,RS)和未确知测度(unascertained measure,UM)理论的信息安全评估模型... 以GB/T20274信息系统安全保障评估框架为基础,介绍了信息系统安全保障模型及其评估指标体系,给出了评估方法的形式化描述和评估流程,提出了一种基于粗糙集(rough set,RS)和未确知测度(unascertained measure,UM)理论的信息安全评估模型。在标准处理阶段,模型采用粗糙集理论获取关键指标,简化评估指标体系;在综合评估阶段,采用未确知测度模型分析客观数据,实现了对信息系统安全保障能力的定量化综合评价。 展开更多

关键词 安全测评 信息系统安全保障评估模型 粗糙集 未确知测度

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

基于SI-SB系统安全模型的多层级边缘智能管控模式 被引量：2

5

作者 张充 张伟 +2 位作者 李泽亚 赵挺生 张耀庭 《中国安全科学学报》 CAS CSCD 北大核心 2024年第1期17-26,共10页

为探索信息化、智能化技术赋能下的创新型安全生产管控模式,从安全信息学的角度分析安全管控过程中的信息流动特点,提出安全生产多层级边缘智能管控模式;基于安全信息-安全行为(SI-SB)系统安全模型分析安全管控过程中安全决策偏差和滞... 为探索信息化、智能化技术赋能下的创新型安全生产管控模式,从安全信息学的角度分析安全管控过程中的信息流动特点,提出安全生产多层级边缘智能管控模式;基于安全信息-安全行为(SI-SB)系统安全模型分析安全管控过程中安全决策偏差和滞后的机制,提出安全管控系统性能改进的思路;结合安全生产组织管理体系特点和数字化技术优势,阐述数字化技术在信息感知传递、安全信息解释和安全行为引导等3个方面的赋能依据,以及数字化感知、智能化决策和多层级管控等3个方面的赋能途径,并提出具备智能决策、敏捷响应、弹性扩展和人机协同特点的安全生产多层级边缘智能管控模式;在紧急事件、短周期管控、长周期管控3类场景中,对应用智能管控模式前后的安全事件响应进行时效性计算和对比。结果表明:所提出的多层级边缘智能管控模式能够显著提高安全管控效能。 展开更多

关键词 安全信息-安全行为(SI-SB)系统安全模型 多层级边缘智能管控 管控模式 安全生产 安全信息学

在线阅读 下载PDF 职称材料

一种用于信息安全的信息保障模型 被引量：5

6

作者 陈炜 罗霄峰 罗万伯 《四川大学学报（工程科学版）》 EI CAS CSCD 2004年第4期103-106,共4页

将一种信息安全(INFOSEC)模型扩展成为一个信息保障(IA)模型,用于指导信息安全研究、工程和教育。新模型包括四维度量:安全目标,信息流状态,安全保障,时间。将信息安全的保护范畴扩大到信息资产,并对可用性、完整性和机密性重新进行了定... 将一种信息安全(INFOSEC)模型扩展成为一个信息保障(IA)模型,用于指导信息安全研究、工程和教育。新模型包括四维度量:安全目标,信息流状态,安全保障,时间。将信息安全的保护范畴扩大到信息资产,并对可用性、完整性和机密性重新进行了定义,增加了新内涵;采用深度防御概念,在注重技术的同时,突出了人的因素,并强调了安全管理在系统生命期重要作用。时间维的引入,使该模型真正成为动态模型。 展开更多

关键词 信息安全 信息资产 信息保障 信息安全模型 安全管理

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

信息安全能力成熟度模型(IS-CMM)的建构 被引量：3

8

作者 邓冰 《计算机工程》 CAS CSCD 北大核心 2003年第10期122-123,126,共3页

在能力成熟度模型(CMM)的基础上提出"信息安全能力成熟度模型"(IS－CMM)这一构想，并着重探讨了IS－CMM各级中的核心流程域KPAs的构建。

关键词 信息安全能力成熟度模型(IS—CMM) 总体信息安全流程(TISP) 核心流程域(KPAs) 基本实践(BPs)

在线阅读 下载PDF 职称材料

WPDRRC信息安全模型在安全等级保护中的应用 被引量：8

9

作者 姚传军 《光通信研究》 北大核心 2010年第5期27-29,共3页

文章系统阐述了WPDRRC(预警、保护、检测、响应、恢复和反击)信息安全模型,对WPDRRC信息安全模型进行了理论分析,就WPDRRC信息安全模型的安全防护功能与其他信息安全模型作了对比分析。最后,阐述了WPDRRC信息安全模型在安全等级保护工... 文章系统阐述了WPDRRC(预警、保护、检测、响应、恢复和反击)信息安全模型,对WPDRRC信息安全模型进行了理论分析,就WPDRRC信息安全模型的安全防护功能与其他信息安全模型作了对比分析。最后,阐述了WPDRRC信息安全模型在安全等级保护工作中的应用。 展开更多

关键词 预警、保护、检测、响应、恢复和反击 信息安全模型 安全等级保护

在线阅读 下载PDF 职称材料

关于信息安全定义的研究 被引量：23

10

作者 方滨兴 殷丽华 《信息网络安全》 2008年第1期8-10,共3页

引言随着信息技术的发展,信息安全得到越来越多的重视。信息安全最初用于保护信息系统中处理和传递的秘密数据,注重机密性,因此主要强调的是通信安全(COMSEC),随着数据库技术和信息系统的广泛应用。

关键词 信息安全模型 实体 可用性 物理安全 安全属性 保护信息系统 机密性

在线阅读 下载PDF 职称材料

电子政务的信息安全保障及体系构建 被引量：4

11

作者 王谦 陈放 《信息网络安全》 2008年第3期52-55,共4页

电子政务网络的飞速发展大大提高了行政效能,改变了传统的国家安全观。电子政务信息安全问题日益突出,已经成为国家安全的重要内容和目标。本文从分析信息安全技术、建立信息安全策略和安全模型出发,提出构建立体的电子政务网络信息安... 电子政务网络的飞速发展大大提高了行政效能,改变了传统的国家安全观。电子政务信息安全问题日益突出,已经成为国家安全的重要内容和目标。本文从分析信息安全技术、建立信息安全策略和安全模型出发,提出构建立体的电子政务网络信息安全保障体系。 展开更多

关键词 电子政务 信息安全 国家安全 信息安全模型

在线阅读 下载PDF 职称材料

信息隐藏理论安全性研究 被引量：6

12

作者 汤光明 蒋小标 王亚弟 《计算机工程》 CAS CSCD 北大核心 2009年第8期192-194,197,共4页

分析Cachin的基于假设检验理论的安全性模型,指出在安全性建模中应该对感知特征和统计特征同时进行约束。通过限制条件转移概率的取值约束载体感知特征和统计特征的变化,建立信息隐藏理论安全性模型。结合数字图像的具体特征进行图像载... 分析Cachin的基于假设检验理论的安全性模型,指出在安全性建模中应该对感知特征和统计特征同时进行约束。通过限制条件转移概率的取值约束载体感知特征和统计特征的变化,建立信息隐藏理论安全性模型。结合数字图像的具体特征进行图像载体隐藏安全性建模,给出2种图像载体隐藏安全性建模方法,得出信息隐藏理论安全的充要条件。 展开更多

关键词 信息隐藏 信息隐藏安全性模型 假设检验 条件转移概率

在线阅读 下载PDF 职称材料

基于安全进程代数的非演绎安全模型的分析与验证 被引量：1

13

作者 王精明 虞慧群 《计算机科学》 CSCD 北大核心 2012年第2期56-58,共3页

就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给... 就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给出非演绎模型的验证算法且开发了相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。 展开更多

关键词 迹语义 安全进程代数 信息流安全模型 非演绎模型

在线阅读 下载PDF 职称材料

网络环境下的信息安全管理 被引量：3

14

作者 李巍军 《情报杂志》 CSSCI 北大核心 2003年第6期18-19,23,共3页

阐述了网络环境下信息安全管理对国家政治、军事、经济、文化等方面的重要意义 ,提出了网络环境下信息安全管理目标和应遵循的一般原则 ,讨论了体现闭环控制思想的信息安全管理模型 ,介绍了信息安全管理过程和ISO17799信息安全管理标准... 阐述了网络环境下信息安全管理对国家政治、军事、经济、文化等方面的重要意义 ,提出了网络环境下信息安全管理目标和应遵循的一般原则 ,讨论了体现闭环控制思想的信息安全管理模型 ,介绍了信息安全管理过程和ISO17799信息安全管理标准体系 。 展开更多

关键词 网络环境 信息安全管理 信息安全模型 闭环控制 标准体系

在线阅读 下载PDF 职称材料

基于知识图谱的建筑施工安全风险量化与分析 被引量：14

15

作者 王茹 赵俊浩 +1 位作者 黄炜 刘奚卓 《安全与环境学报》 CAS CSCD 北大核心 2024年第6期2138-2147,共10页

为了提高建筑施工安全风险管理的信息化水平,以建筑施工活动及事故风险类型为研究对象,建立施工安全知识图谱。通过知识图谱改进作业条件危险性评价法(LEC)实现安全风险的定量计算,并基于知识图谱进行风险位置识别和不安全因素分析。研... 为了提高建筑施工安全风险管理的信息化水平,以建筑施工活动及事故风险类型为研究对象,建立施工安全知识图谱。通过知识图谱改进作业条件危险性评价法(LEC)实现安全风险的定量计算,并基于知识图谱进行风险位置识别和不安全因素分析。研究提出安全风险虚体实化理念,实现了安全风险信息在数字空间实体化表达;基于建筑信息模型(Building Information Modeling, BIM)和知识图谱技术,建立了建筑施工安全风险信息模型(Building Construction Safety Risk Information Model, BCSRIM)。该模型有效避免了传统LEC法中主观因素产生的影响,实现了建筑施工安全风险定量计算、风险位置识别、风险分析及可视化管理。利用Revit二次开发技术,在Microsoft Visual Studio中使用C#语言连接Neo4j图数据库,完成了基于知识图谱的BCSRIM的开发。试验显示,研究提出的BCSRIM对提高施工现场的管理水平具有较高的实用价值。 展开更多

关键词 安全工程 知识图谱 LEC法 安全风险分析 虚体实化 建筑施工安全风险信息模型(BCSRIM)

在线阅读 下载PDF 职称材料

移动边缘计算中安全信息流建模与分析 被引量：5

16

作者 谢娜 谭文安 +1 位作者 曹彦 赵璐 《计算机工程》 CAS CSCD 北大核心 2022年第5期35-42,52,共9页

在移动边缘计算中,移动终端身份存在复杂性和动态性,对于高安全领域的任务卸载,需要对被卸载的任务进行实时跟踪,及时发现滥用行为才能保证任务卸载的安全性。然而,现有方法多基于信任评估机制选择高信任度节点进行卸载,并没有关注该节... 在移动边缘计算中,移动终端身份存在复杂性和动态性,对于高安全领域的任务卸载,需要对被卸载的任务进行实时跟踪,及时发现滥用行为才能保证任务卸载的安全性。然而,现有方法多基于信任评估机制选择高信任度节点进行卸载,并没有关注该节点自身发起的内部攻击问题。提出一种支持安全性分析的任务卸载方法。设计包含安全性分析的任务卸载流程,构建面向移动边缘计算的多级安全信息流模型,用于约束服务卸载、数据卸载和服务执行过程。在此基础上,基于偶图对任务卸载过程进行建模,构造标注迁移边的标号变迁系统,并利用模型检测技术验证是否满足相应的安全需求。案例分析和性能评估结果表明,该方法能够在秒级时间内预测任务卸载中的恶意行为,具有较好的可行性和有效性。 展开更多

关键词 移动边缘计算 任务卸载 安全信息流模型 偶图 模型检测

在线阅读 下载PDF 职称材料

模糊综合评判法在电力企业网络信息安全评估中的应用 被引量：29

17

作者 刘道远 孙科达 +1 位作者 周君良 范海东 《电信科学》 2020年第3期34-41,共8页

现今电力企业已经实现了信息化的经营生产,网络信息安全评估工作的重要性日益显著。采用二级模糊综合评判法对一种基于PDRR模型的电力企业网络信息安全系统进行安全等级评估,并采用Delphi法对评估过程中电力影响企业网络安全的各项因素... 现今电力企业已经实现了信息化的经营生产,网络信息安全评估工作的重要性日益显著。采用二级模糊综合评判法对一种基于PDRR模型的电力企业网络信息安全系统进行安全等级评估,并采用Delphi法对评估过程中电力影响企业网络安全的各项因素的权重系数进行确定,通过对评估结果的客观分析,找出电力企业网络信息安全系统中存在的突出问题,做出相应的安全加固。验证结果表明,优化后的网络信息安全模型更为坚固,实用性和可操作性都显著提升,有效提高了电力企业的网络信息安全等级,可以作为其他电力企业网络信息安全建设的有利参照。 展开更多

关键词 电力企业 网络信息安全模型 安全等级评估 综合模糊评判法 二级模糊综合评判

在线阅读 下载PDF 职称材料

基于流程需求的施工企业安全管理信息化分析 被引量：2

18

作者 张大军 夏佑平 《安全与环境工程》 CAS 2016年第5期113-120,共8页

大型施工企业下属二级企业和工程项目部多且地域分布广,施工投入大量的人员、设备物资并涉及多种施工工艺,企业本部掌握工程项目施工安全现状并实施有效监管,以及工程项目各级管理部门和人员规范落实安全工作流程,在信息采集和传递手段... 大型施工企业下属二级企业和工程项目部多且地域分布广,施工投入大量的人员、设备物资并涉及多种施工工艺,企业本部掌握工程项目施工安全现状并实施有效监管,以及工程项目各级管理部门和人员规范落实安全工作流程,在信息采集和传递手段效率低下的条件下无法有效实现。"互联网+"在我国多行业已得到了广泛应用,在过程标准化管理、企业内部信息汇总分析、企业各业务部门信息共享方面能极大地提高效率。按照管理信息化的思维,分析施工安全管理业务流程对信息化的功能需求,构建了施工企业安全管理信息化模型,据此模型基层管理人员可标准化实施流程业务、自动真实生成工作记录资料,管理部门可及时动态掌握和监督基层安全管理工作开展现状,从而提高企业安全管理工作的高效性。 展开更多

关键词 施工企业 标准化管理 安全管理信息化模型 大数据

在线阅读 下载PDF 职称材料

浅谈信息时代电信行业的信息安全

19

作者 刘险峰 《电信科学》 北大核心 2005年第10期56-59,共4页

本文首先分析了不同信息化阶段电信行业信息安全的特点,针对信息时代的信息安全现状,提出了电信企业信息安全的目标,并给出了可参考的信息安全模型和电信企业安全架构建议,最后对电信信息安全发展方向做了展望,并对如何开展电信信息安... 本文首先分析了不同信息化阶段电信行业信息安全的特点,针对信息时代的信息安全现状,提出了电信企业信息安全的目标,并给出了可参考的信息安全模型和电信企业安全架构建议,最后对电信信息安全发展方向做了展望,并对如何开展电信信息安全工作提出了建议。 展开更多

关键词 信息安全 安全架构 安全策略 安全管理 信息安全模型 电信行业 信息时代 信息安全工作 安全现状 电信企业

在线阅读 下载PDF 职称材料

基于SIF与社会网络的化工火灾事故致因分析

20

作者 王佩 李小婷 +1 位作者 杨睿 郑丽娜 《中国安全科学学报》 北大核心 2025年第8期48-53,共6页

为有效识别和防控化工火灾事故风险,遏制化工火灾事故频发,基于数字化技术的深度案例分析,提出一种融合文本挖掘、安全信息流(SIF)模型层次分析与社会网络分析的多维度综合研究框架。首先,对2000—2024年75起化工火灾事故调查报告进行词... 为有效识别和防控化工火灾事故风险,遏制化工火灾事故频发,基于数字化技术的深度案例分析,提出一种融合文本挖掘、安全信息流(SIF)模型层次分析与社会网络分析的多维度综合研究框架。首先,对2000—2024年75起化工火灾事故调查报告进行词频-逆文档频率(TF-IDF)关键词提取与潜在狄利克雷分配(LDA)主题建模;然后,基于SIF模型,将提取出的致因按微观、中观和宏观层次进行分类;最后,借助社会网络分析方法构建事故致因网络,通过频数统计、中心性分析及关键关系挖掘,识别出事故致因网络中的核心节点和关键影响路径。结果表明:微观致因占比为56.3%,是导致化工火灾事故的最关键致因因素,其中,个体因素和环境设备风险在化工火灾事故中占据主导地位;中观致因中“安全监督不充分”度数中心度最高,组织管理不到位→安全监督不充分→个人准备不足→违反规章制度是化工火灾关键致因路径。 展开更多

关键词 安全信息流(SIF)模型 社会网络 化工火灾 事故致因 安全管理

在线阅读 下载PDF 职称材料