一种安全转移系统模型的构造及其运用

为提高安全性, 一般利用密码技术, 但系统运行过程的安全尚显不足, 为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性, 构造安全行为, 使得系统在运行过程中的每次转移都满足安全属性, 从而提高过程的安全性。为此, 定义初始安全态、安全转移条件、安全状态、安全行为、安全运迹和安全转移系统, 并证明在安全转移系统中状态处处安全。安全转移系统中强调的是系统转移过程的安全性, 从而增强了系统运行的安全。通过实例的运用表明面向过程安全的建模为提高系统的安全性是有意义的。     

电子政务安全保障体系建设研究

安全问题是电子政务系统的关键,通过对贵州省电子政务系统进行的调研,发现目前的电子政务安全建设存在安全保障水平较低、缺乏相应的电子政务安全方面法律法规和安全管理体制不健全等方面问题。为了构建电子政务的安全保障体系,需要从安全技术、安全管理、安全法律三个方面进行相应的规范和建设,形成一个标准化的电子政务安全体系流程。     

系统功能安全测试技术研究

介绍了功能安全的定义和现有国际、国内功能安全标准,分析了进行系统功能安全测试的必要性。总结了系统功能安全测试的关键技术,包括基于功能安全的安全标准体系、安全完整性等级、整体安全生命周期。正在筹建的系统功能安全测试实验室将是一家开展系统功能安全测试的实验室。     

基于J2EE的USSP安全中间件的研究与实现

结合USSP（Universal Security Support Platform通用安全支撑平台）项目组搭建的PKI安全平台,设计并实现了USSP安全中间件。USSP安全中间件可以屏蔽安全的复杂性,如算法复杂性、模块间和模块内部的安全、体系结构安全、基于组件的安全及其效率等等。     

功能安全管理软件系统设计与实现

为了辅助安全仪表系统的功能安全管理,对安全生命周期中安全完整性水平选择、安全要求规范及安全完整性水平验证进行了分析,提出了功能安全管理软件的设计方案。安全完整性水平选择有风险图和风险矩阵,而安全完整性水平验证采用了Markov模型,并考虑了结构约束。采用C#语言和Access数据库进行了软件的开发实现。软件既可以评估安全功能的安全性也可评估其平均误停车时间,并生成多种报告。功能安全管理软件为科学的功能安全管理提供了工具与参考,帮助用户全面了解安全仪表系统的安全性与可用性,从而进行科学的功能安全管理。     

云计算的按需防护安全框架

安全问题已成为制约云计算发展的重要因素。分析了服务持续可用性、服务真实性、数据完整性、信息保密性、可用性、不可抵赖性6方面的云安全目标,将云计算中6个层次的安全风险归纳为7类:物理安全风险、计算安全风险、可信计算安全风险、网络安全风险、管理安全风险、存储安全风险和应用安全风险等,并分别阐述了各类风险的安全对策。越安全的服务,在安全防护方面消耗的计算能力、存储、网络带宽就越多,指出应根据用户使用的服务类型、用户指定的安全要求以及接入网络特点等使用不同的安全保护措施,提出了按需防护的安全框架。分析了按需防护的安全框架的优点。最后给出了框架实际使用的方法。     

一种基于安全中间件的移动通信解决方案

安全已经成为当今蓬勃发展的移动通信网络的首要问题。安全中间件屏蔽了安全技术的复杂性,向用户提供统一的安全接口标准,满足各种级别的安全需求应用。本文利用安全中间件的思想,提出了一种移动通信安全解决方案。     

浅析专网安全防护系统实现

通过对专网涉密信息系统的分析研究,从网络运行安全、信息安全和安全保密管理等方面综合考虑。依照等级化保护进行安全防护体系设计与实现,保证涉密网中传输数据信息的安全性、完整性、真实性及抗抵赖性,形成事前防护,事中安全检测,事后审计取证于一体的安全防护体系,达到实体安全、应用安全、系统安全、管理安全,以满足专网涉密信息系统安全防护要求。     

嵌入式系统的安全技术研究

随着嵌入式系统的网络化发展,嵌入式系统的安全将成为嵌入式系统必须考虑的问题。嵌入式系统的资源有限性使它的安全问题比一般的桌面系统更加复杂。因此,如何构建一个安全的嵌入式系统是个很值得研究的问题。同时,嵌入式系统的安全不是安全嵌入式系统的附加功能,安全嵌入式系统要在整个设计过程中考虑安全因素,从而决定采用哪种安全技术。从安全的整体性出发,研究了嵌入式系统的各种安全技术,总结归纳出几种安全增强方式,并指出其相应的应用特点,为如何建立嵌入式系统的安全提供依据。     

CIP安全应用涵盖范围扩展到安全运动——符合SercosⅢ设备的CIP安全符合性测试发行

正下一个版本的CIP安全规范将包含安全运动应用服务。CIP安全附加上这些服务之后,用户可以在需要安全运动功能(例如:安全扭矩关闭和安全限定位置)的应用中,使用EtherNet/IP和Sercos~(?)Ⅲ,部署其网络化的运动控制系统。CIP安全由ODVA组织于2005年首发,用以解决使用了安全网关和光幕这类的设备的功能安全应用,已成为一种实现行业可持续发展目标的关键网络技术。2006年,Sercos国际组织宣布,它将采用CIP安全作为Sercos安全协议。从那时起,ODVA和Sercos国际组织共同努力加强CIP安全规范     

自组织网络中跨协议层安全体系结构

文章提出了跨协议层的自组织网络安全体系以及各项关键技术要点。由于跨协议层自组织网络的安全体系结构与传统的网络安全体系有所不同,它分为可重复的定制化安全引导、跨协议层的安全维护、安全检测与防御三个主要的系统。在系统初始阶段,通过安全引导系统把建立一个安全的自组织网络所需的预共享内容与机制等引导入整个网络,实现网络中点到点的安全链接,并使得网络在导入的安全机制或策略下进行安全可信的工作。当安全引导结束后,随即进行跨协议层安全维护阶段。安全维护阶段的维护信息被送往安全检测与防御系统,一旦检测出了异常,则安全检测与防御系统发出告警和采取防御措施或二次安全引导,从而实现整个网络的保护和自适应安全配置的调整。     

什么是安全的网络？

从安全网络系统模型中,可以看出,安全信息管理具有非常重要的作用。优秀的信息管理分析工具,可以让安全管理人员对网络的安全状态了如指掌,快速行动,真正实现安全的网络。集中的安全管理平台不仅可以帮助企业降低攻击风险,还有助于在发生攻击时加快响应速度,提高现有安全团队的工作效率。     

XML安全体系研究

随着XML的应用越来越广泛,其安全问题也变得尤为重要。现有的XML安全技术只能防止某个方面的安全问题,不能应对网络中的多重安全威胁。文中提出了一种基于各种XML安全标准的安全体系,详细介绍了各种技术,以及它们的安全防范的侧重点,为XML的应用提供了全方位的保护。针对网上购物系统的安全需求,提出了基于上面提到的安全体系的解决方案,通过该实例的应用,验证了文中提出的安全体系能够防范网络应用中的多种安全威胁。     

软件安全开发模型的研究

本文提出了软件安全开发的模型,包括安全需求、安全设计、安全编码、安全检测、对开发人员的安全培训和开发过程的安全监理。     

电力信息系统的安全难题与出路

电力信息化分为两大类应用,一是电力生产控制,二是电力企业管理。如今,很多电力企业都采取了安全防护措施,相当多的企业经历了从对安全防护认识不足到高度重视,继而进行安全风险评估,安全技术咨询,选择或招标选购安全设施和系统,开展安全技术培训,建设昂贵的安全基础设施平台,建立一系列安全管理规章制度,直到所有安全设施投入运行。 但是,相当一部分企业最后却发现安全效果并不理想,暴露出一些值得注意的问题。 如今,电力企业信息系统的安全已经涉及到电网调度运行,电力企业生产、经营、销售等的方方面面。电力信息系统的安全问题正在成为电力系统信息化建设的一项重要内容。 本期《高端导刊-安全》,关注“电力信息系统的安全需求分析与应对措施”,来自电力行业的专家、部分网络安全厂商就这一话题发表各自的观点。 栏目热线:jiez@ccu.com.cn     

安全基线管理在企业中的应用

安全基线是一个信息系统的最小安全保证,即该信息系统最基本需要满足的安全要求。安全基线管理系统通过信息化手段,对安全基线的核查、整改和落实提供了强有力的技术支撑,其自动化、量化评估手段可有效提高安全运维和检查的工作效率。介绍安全基线的定义和内容构建,分析安全基线管理系统的必要性,并对安全基线管理系统进行了设计。     

浅谈安全管理在ERP项目实施团队的应用

安全管理是体现综合管理水平的重要指标,对企业效益和员工安全有着重要影响。该文浅谈了ERP项目实施团队落实安全管理的经验,提升安全意识来促进安全管理的落实,通过员工安全管理措施、计算机设备安全管理制度及规范化信息安全管理措施的执行来实现安全管理的目的,该文为安全管理在项目团队的应用提供了经验。     

物联网感知设备安全检测研究

物联网安全与隐私问题直接关系到物联网的深化应用和安全健康发展。首先,本文分析当前物联网感知设备的安全威胁和安全技术要求,并给出了感知设备安全检测指标体系;其次,通过物联网感知设备安全检测平台实现对感知节点设备安全技术符合性检测。     

APT攻击、BYOD、未知威胁——企业安全新挑战

安全是永恒的话题,而企业安全又是安全话题中一直的一个焦点。在中国互联网安全大会上,企业安全依然是讨论的焦点,在9月23日举行的“企业安全高峰论坛”上,众多企业安全专家就企业安全的威胁、挑战、应对等进行了深入探讨,对国内企业安全趋势和实践,有重要的参考意义。     

双MCU功能安全型智能安全继电器设计

安全继电器是一种用于工业设备的安全控制模块,在工业现场起到保护人员生命财产安全的作用,在工业安全领域,有着极为广泛的应用。阐述了目前国内安全继电器市场应用的现状:安全标准,国家政策法规滞后,功能安全认证门槛较高,核心部件强制导向继电器依赖于进口。通过对功能安全基础标准IEC 61508和机械安全标准ISO 13849进行深入研究,针对国产安全继电器品牌性价比不高、功能安全认证困难的痛点,提出了一种性价比极高的智能型安全继电器的技术方案。借助普通单片机的I/O控制、信号采集,以及软件诊断,实现了使用普通继电器就能满足安全继电器的安全要求和安全等级的需求,降低了成本。对功能安全的认证流程、要求及工作内容进行了简单的梳理,为国内功能安全认证提供了借鉴。