基于隔离逻辑的并行程序可靠性验证方法

并行程序验证的复杂性在于执行流程的不确定性以及由此导致的执行规模变大,使得验证的内容和目标之间的关系不明确。为解决该问题,提出一种基于隔离逻辑的并行程序可靠性验证方法。通过变量的执行关系图,描述变量相关的语句及执行关系,将所需验证的程序性质逻辑式转换为变量并行语句序列的逻辑组合式,使得性质表达式与并发程序的语句相关联。根据逻辑组合式确定语句执行序列和前后件逻辑表达式,基于并发隔离逻辑的公理系统对语句执行序列进行验证,并根据验证结果对并发程序进行修改和完善。通过对银行柜台业务办理的功能模块验证结果表明该方法是有效的。

省级电子政务外网逻辑隔离技术研究

笔者针对省级电子政务外网集中办公和分散办公用户的不同特点,分析了电子政务外网逻辑隔离的要求,设计了一种城域网架构,研究了电子政务外网城域网、各业务分区之间、不同用户之间以及政务云平台、移动安全接入平台等的逻辑隔离技术,对各分区的数据流进行了详细分析,为省级电子政务外网逻辑隔离的设计提供技术参考。

一种基于协议重构的内外网逻辑隔离方法

提出了一种基于协议重构的内外网逻辑隔离新方法,通过重构现有公共通信协议,形成专有协议,实现内网专有用户与公共用户隔离。在内网中,公共用户能访问外网,而专有用户与外网"逻辑隔离"。相对于物理隔离方法,这种方法在保证内网安全性能的前提下,满足了内网用户对外信息的需求,提高了信息交流的灵活度;相对于传统协议隔离方法,这种方法投入小、技术风险低,实用性更强。

某核电站大修冷源专项海工系统主隔离及优化研究

本文对某核电站冷源海工系统设计进行简要说明,根据海工系统主要设备预维计划确定需要隔离的区域,通过对土建结构分析确定隔离逻辑顺序,对逻辑顺序进行细化,确定最终隔离实施方案,通过隔离实施方案总结需优化改进的地方并提出可行的优化措施。

嵌入式逻辑隔离器的实现方式及应用

嵌入式逻辑隔离器的设计 信息安全逻辑隔离(logical isolator)的定义为公共网络和专网在物理上有连接,但通过技术手段保证其在逻辑上是没有连接的。即在物理概念上是“一个网”,而在逻辑概念上是“两个网”。逻辑隔离器的安全功能是保证被隔离的计算机资源不能被访问,只能进行隔离器内外的原始应用数据交换。

上海市政务外网建设谈(二) 政务外网与互联网的逻辑隔离及业务模式实现探讨

政务外网是各级政府面向社会和公众的一个主要业务专网，提供一个协同办事服务的应用支撑平台。 从网络层面上看，政务外网是否提供互联网服务、政务外网与互联网如何隔离等一直是亟需考虑的难点问题之一。在国家政务外网建设总体规划中也明确指出，政务外网提供互联网出口，该出口既是整个政务外网用户访问互联网的出口，也是公众访问政务外网统一开放服务的通道。

核电DCS边界网络安全隔离解决方案研究

结合核电DCS网络安全防护架构,通过研究基于逻辑隔离、物理隔离等隔离技术的边界隔离解决方案,在核电DCS与外部网络之间实现不同区域边界的有效隔离,从而建立安全边界,保护DCS免受外部网络攻击和入侵的威胁,确保核电厂安全稳定运行。解决方案已在多个核电基地得到良好应用,可为核电其他工控系统以及核电以外的其他高安全领域网络安全边界隔离提供借鉴及经验。

绝缘传递逻辑信号的逻辑隔离器AD260

AD260是模拟器件公司新近推出的一种绝缘传递逻辑信号的逻辑隔离器,它采用与以往的光隔离法完全不同的绝缘方法,能够实现高速信号的传递,并具有很高的输入、输出绝缘特AD260外形尺寸为11×14×38(mm)。其引脚排列如图1所示,引脚功能如表1所列,主要电气特性见表2。AD260和高速光耦合器两者的逻辑信号开关响应特性如图2所示。由图2可知。

广东气象网络安全物理隔离方案

比较全面地介绍了网络安全常用的几种物理隔离技术,及其在广东省气象局的应用方案,从若干角度对网络安全进行了全面分析,指出物理隔离作为省府电子政务专网的必要性,以及省气象局网络介入的实现,分析该种实现方式在物理隔离方式中的优势和关键技术。此外,对该种方式的网络安全程度进行了比较细致的分析,对物理隔离的发展方向和将来网络安全的发展进行了一定的展望。

发电企业集团办公网与互联网隔离策略分析与方案研究

对发电企业集团信息安全网络现状、影响网络与信息安全的主要途径和因素以及国家和行业主管部门的有关规定进行分析,提出发电企业网络隔离的3种方案,并给出现阶段发电企业集团网络隔离的策略和方案建议。

网络隔离技术探讨

介绍网络隔离技术产生的背景及其发展过程,分析网络隔离的两种常见的方式:逻辑隔离和物理隔离,在此基础上提出一种基于逻辑与物理相结合的隔离方法,这种方法既能保证数据在网间交换的效率,又能保证从应用层到物理层的传输安全性。

电子政务中的三网隔离技术及应用

电子政务中的政府内网、政府外网、政府公网之间的业务和信息保密性对网络安全有不同的需求,三网间需要采用相应的隔离技术。该文介绍了电子政务中各种业务的安全性要求及相应的安全隔离技术,并结合宁波市电子政务的建设,描述了三网隔离技术的应用。

一种基于边缘计算设备的通用分析框架设计

油气行业生产领域的安全监督尤为重要,由于传统指挥中心监控大屏和人工巡检受到环境、成本等因素的影响,存在无法全天监督检查和预警实时性差等问题,因此提出一种基于边缘计算设备的通用分析框架,其可运行在边缘计算设备上对现场监控视频进行实时分析,实现安全监督业务24小时全天候预警。该设计在多个油气田生产现场、施工现场均有应用,通过灵活配置多种模型算法有效解决了现场复杂场景下的设备应用问题,体现了通用视觉分析代替人工的优势。文中提出的基于边缘计算设备的通用视觉分析框架,旨在替代人工执行复杂场景的视觉分析任务,提升现场数据分析处理能力,减少项目投入,提高经济效益。

广东气象网络安全物理隔离方案

该文介绍了几种常用的网络隔离技术,并以省气象局的省府电子政务专网为例,介绍其所采用的物理隔离技术方案,文章同时对物理隔离技术的发展方向进行了展望。

电力内外网隔离环境即时消息安全传输的研究与实现

由于信息安全的要求,电力内外网使用安全隔离设备进行了隔离。在这种环境下,主流的即时通信工具不能有效使用。文章讨论了在满足信息安全规范并提供安全加固的前提下,实现电力内外网高并发、高可用即时消息传输方案的设计与实现;主要从适配多种互动渠道的网关技术的研究与实现、高并发即时消息穿透与会话保持、云安全平台3个方面剖析逻辑隔离环境下即时消息安全传输通道的构建过程。

隔离部件类产品现状

我中心检测的隔离部件类产品总共分为四类：物理隔离部件、单向隔离部件、逻辑隔离部件及网闸产品，分别依据“中华人民共和国公共安全行业标准GA370—2001端设备隔离部件安全技术要求”和信息技术网闸产品安全检验规范进行检验。由于此类产品的特殊应用要求，目前均为国内自主研发产品。其中，物理隔离是方案最简单、应用最广泛、生产厂家较多的隔离产品，其通过对硬盘和网络的物理隔离，简单而有效，缺点是数据交换存在问题。

内外网络切换与隔离技术应用研究

本文以徐州市邮区中心局网络结构为背景,介绍了内外网络拓扑结构及其关键网络设备的配置策略,阐述了逻辑网络隔离的部署和实现,即可以根据工作需要选择切换内外网络,并进一步根据网络安全新的要求,实现了从逻辑网络隔离到物理网络隔离的调整。

网络隔离设备浅析

一、引言 随着信息化的推进,电子政务、电子商务正逐步展开,一个单位在网络应用方面可能同时使用多个网络,最常见的情况是单位有自已的内部网,同时又需要通过因特网与外部交换信息.

田湾核电站扩建ECC信息安全隔离方案简介

根据工程需要,田湾核电站新建了应急指挥中心,原有应急指挥中心仍保留作为备用。应急指挥中心需要获取机组安全重要参数,为场区进入应急状态提供决策依据。旧应急指挥中心已经从1号、2号机组获取机组实时参数。为确保数据传输符合《电力二次系统安全防护规定》的相关要求,在不影响机组实时数据传输前提下,新应急指挥中心实时数据传输系统设置了隔离装置,实现逻辑隔离。本文对新旧应急指挥中心的信息系统架构和连接方式进行了简介,重点分析了信息安全隔离措施的设计思路。