共查询到20条相似文献,搜索用时 187 毫秒
1.
冯登国 《网络安全技术与应用》2021,(1):1-4
网络空间已成为各种势力斗争的主战场之一,网络空间安全问题已成为关乎国家安全的战略问题.但是人们要真正理解和认识网络空间安全是一个漫长的过程.本文诠释了网络空间和网络空间安全的基本概念,分析了当前网络空间面临的主要安全威胁,提出了"+安全"新理念并阐述了其基本内涵,浅析了网络空间安全体系框架,介绍了网络空间安全技术体系及... 相似文献
2.
3.
研究动态系统的安全问题.针对动态系统运行时间配置的可变特性,引入了动态系统的进程代数模型和复杂动态系统概念,定义了动态系统的一致安全性质和一致同余安全性质.基于观察同余等价,构造了一类一致同余安全模型.本文证明,动态系统的安全性质是一致安全性质,而对于复杂动态系统,其安全性质是一致同余安全性质. 相似文献
4.
蔡智澄 《网络安全技术与应用》2005,(5):26-28
操作系统是计算机系统运行的基础,也是构筑网络信息系统的基础,因而操作系统安全一直是国内外研究的重点。本文首先论述了建立操作系统安全机制的目的;介绍了威胁系统资源安全的因素;然后着重讲述了操作系统安全机制及安全标准。 相似文献
5.
刘义理 《数字社区&智能家居》2006,(9):53-55
分布式数据库作为数据库系统与计算机网络的有机结合,正成为目前互联网环境下信息资源的共享和应用核心,其安全问题举足轻重。本文从安全管理的角度出发,构建了由安全需求与安全风险分析、安全模型确定、安全实施、安全检测与评估以及备份与故障恢复等五个基本构造单元构成的分布式数据库安全框架.并对五个基本构造单元分别进行探讨。 相似文献
6.
介绍了功能安全的定义和现有国际、国内功能安全标准,分析了进行系统功能安全测试的必要性。总结了系统功能安全测试的关键技术,包括基于功能安全的安全标准体系、安全完整性等级、整体安全生命周期。正在筹建的系统功能安全测试实验室将是一家开展系统功能安全测试的实验室。 相似文献
7.
8.
《工业控制计算机》2007,20(9):68-68
为了构建更加安全的生产环境,贝加莱(B&R)推出了以SafeLOGIC为安全控制器,以工业以太网Ethernet POWERLINK为安全现场总线的安全控制系统,还包括SafelO、安全电源、安全伺服、安全设计软件等安全产品,是一套全集成的安全系统解决方案。Ethernet POWERLlNK Safet是以实时工业以太网Ethernet POWERLlNK为基础,连接安全逻辑SafeLOGIC到EthernetPOW—ERLINK即可实现安全功能,控制相应的安全IO、安全伺服等。SafeLOGIC不影响正常的Ethernet POWERLlNK通讯, 相似文献
9.
在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难提出了一种基于XML的安全需求体系结构描述语言--XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系另外,XSSRA?ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化. 相似文献
10.
化学过程工业具有易燃易爆、高温高压、有毒有害等特点,发生事故的概率高,且后果严重.安全是化工行业的首要问题之一,有效地安全管理是化工厂安全的重要保证.阐述了国内外政府和相关企业在安全管理方面的有关标准,探讨了过程安全管理标准的核心要素和最新进展,总结了目前对企业安全管理的评价方法,得出了有效执行过程安全管理能防止事故发生,减轻事故造成的财产和生命损失的结论. 相似文献
11.
人们常用“防患于未然”来形容对非安全因素的预防。对安全隐患的评估将直接影响安全机制、安全体系的确定。 相似文献
12.
北京理工先河科技发展有限公司 《信息网络安全》2004,(11):42-43
银行网络安全分析及处理 为了便于分析.我们将银行系统安全分为实体安全、平台安全、数据安全、通讯安全、应用安全、运行安全、管理安全等几个方面。 相似文献
13.
胡斌 《计算机光盘软件与应用》2012,(13):3+5
本文通过对秦皇岛港口安全现状调查结果的统计与分析,浅析了港口安全管理中所应用的管理系统。这种系统将安全管理工作进行优化,关注细节的同时充分利用计算机智能技术,并且结合现代机械技术和互联网技术的发展,综合管理安全问题,通过建设安全管理平台,做好港口的安全预防以及保障港口安全工作。 相似文献
14.
商品化的安全解决方案固然让我们省心。但这并不意味着没有它们我们就寸步难行.使用免费的安全工具同样能打造出可信赖的安全防线。下面就根据用户不同的应用需求。给出几种实用的免费安全工具套餐。[编者按] 相似文献
15.
基于操作系统安全的应用层安全研究 总被引:2,自引:1,他引:1
首先分析了目前信息系统中关于应用层安全解决方案中普遍存在的一些问题。强调了操作系统安全在应用层安全中的重要地位,并且提出了一种新的基于操作安全的应用层安全解决框架。 相似文献
16.
17.
18.
从某部通信实验室信息系统面临的安全威胁出发,在安全域划分的基础上构建信息系统安全防护体系,提出具体的安全防护解决方案。 相似文献
19.
基于模型的软件安全预测与分析 总被引:2,自引:0,他引:2
为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及软件组件间安全性的过程中提出软件安全预测技术.通过分析软件组成成分之间的关联度获得相关的安全距离,在此基础之上生成安全依赖图,最后根据安全依赖图进行安全预测和分析.基于模型的安全分析技术能够针对可能存在的安全隐患给出预测和分析,为软件的测试和维护提供依据和手段. 相似文献
20.
安全管理是安全操作系统的重要组成部分,如何依据新的国际信息安全评价标准——CC(Common Criteria)开发安全操作系统安全管理子系统是值得探讨的问题。该文介绍了符合CC标准EAL 3级的“安全操作系统的安全管理框架”及其在红旗安全操作系统中的实施。 相似文献