可编程逻辑控制器代码安全缺陷分析综述

可编程逻辑控制器代码安全是确保工业控制系统安全运行的核心，本文围绕着可编程逻辑控制器的代码安全缺陷进行分析，首先阐述了工控代码安全的相关研究。接着，从可编程逻辑控制器代码逻辑缺陷、安全需求规约两个方面对工控代码缺陷进行分类，分析了针对梯形图语言的3种代码逻辑缺陷产生的机理，并结合梯形逻辑图，利用PLC代码逻辑缺陷，实现拒绝服务攻击、中间人攻击等。最后，本文提出了PLC代码形式化验证中面临的困难，并从中间语言翻译、模型构建和模型检测三方面综述了PLC代码形式化验证的相关研究。

发表于：2018/8/16 下午7:29:53

浅谈石油石化存量工控系统等级保护实施工作

本文提出了存量工业控制系统等级保护实施的结构优先、联合防护、安全可控、立体防御原则，对定级与备案、等级测评与安全评估、整改与实施进行探讨。

发表于：2018/8/16 下午7:27:31

基于数据驱动的工业信息安全防护

近年来，工业信息安全工作越来越受到政府、工业用户、科研机构和工控系统厂商的重视。工业信息安全厂商为满足客户合规性和现实中面对安全风险的需要，开发了专门针对工业控制系统的专用安全产品和安全解决方案。这些产品和解决方案的设计理念大多基于IT信息安全行业传统的防护思想，虽然对解决目前迫切的工业安全防护需求有很大的帮助，但当面对有其它国家政府或大型组织背景，使用APT攻击或0-day漏洞攻击的威胁，常常不能提供充分、有效的防护。

发表于：2018/8/16 下午7:26:08

罗克韦尔自动化工业网络远程访问解决方案

本文描述实施工厂级别远程访问的原则，给出了远程访问的用例，搭建了典型的体系架构，提出了罗克韦尔自动化公司建议的解决方案。

发表于：2018/8/16 下午7:25:04

基于智能学习与业务感知的工控安全监测审计系统

通过将机器学习、行为基线、全流量分析等新兴技术手段应用到工业网络安全监测的场景下，最大限度地提升异常监测的实时性和准确性。同时，融合不同工业场景业务行为的监测审计方式，可以为客户打造“私人定制”的安全监测平台。

发表于：2018/8/16 下午7:23:20

一种基于照相数据传送原理的工业网络隔离技术和产品

本文介绍了一种基于照相数据传送原理的工业网络隔离技术，由于采用了非网络化的数据传送系统，可以对现有和未来基于网络的病毒和黑客攻击进行有效阻断和隔离。经过近十年的研究开发已经形成了多个系列数十种产品，并在大规模的工业网络中长期应用，工作稳定可靠。在最近的WannaCry病毒攻击事件中，该技术成功地阻断了攻击，使隔离保护区内的DCS和生产装置安然无恙。

发表于：2018/8/16 下午7:19:02

是德科技收购Thales子公司，成为澳大利亚最大校准服务商

近日，是德科技公司（KEYSIGHT）宣布，已于7月2日在澳大利亚墨尔本收购了Thales Calibration Services——Thales集团的子公司。 此次收购使Keysight成为澳大利亚最大的校准和支持服务机构。

发表于：2018/8/16 下午5:36:57

全球内存芯片产值将突破千亿美元，居然是“泡菜国”称霸市场？

众所周知，现在科技行业的发展一定与芯片离不开关系，因为在科技行业中需要用到芯片的地方实在是太多太多，基本上只要是电子产品都需要芯片的支持才能正常运转，但是在芯片中也分为低端芯片与高端芯片。

发表于：2018/8/16 下午5:34:06

四大厂区深耕半导体 华虹业绩创新高

华虹半导体8月7日发布其2018年第二季度及半年报，得益于平均售价上升及市场需求强劲，其上半年销售收入再创历史新高。根据公告，华虹半导体2018年第二季度实现销售收入约2.30亿美元，同比增长16.1% ；利润4590万美元，同比增长33.6%；毛利率33.6%，同比上升0.4个百分点。

发表于：2018/8/16 下午5:30:57

重庆将培育千亿产值规模集成电路产业

重庆将培育千亿产值规模集成电路产业，建设国内重要的功率半导体基地

发表于：2018/8/16 下午5:29:37