相关实验视频

Updated: Sep 11, 2025

Data Communication Based on MQTT in a Polymer Extrusion Process
08:15

Data Communication Based on MQTT in a Polymer Extrusion Process

Published on: July 15, 2022

3.5K

SSB:智能合约安全检测工具,适用于工业控制场景

Ci Tao1, Shuai He1, Xingqiu Shen1

  • 1College of Computer Science and Artificial Intelligence, Fudan University, Shanghai 200437, China.

Sensors (Basel, Switzerland)
|August 14, 2025
PubMed
概括

语义安全检测框架SSB有效地识别工业控制系统 (ICS) 中的智能合约漏洞. 它超越了现有的工具,通过整合特定领域的不变量来增强安全性和操作逻辑.

关键词:
区块链安全区块链安全区块链安全工业控制系统 工业控制系统智能合约是一种智能合约.漏洞检测 漏洞检测 发现漏洞

更多相关视频

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy11:53

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

11.8K
High-precision Electromagnetic Flowmeter with Empty Pipe Detection via Complex Programmable Logic Device-based Waveform Recognition05:11

High-precision Electromagnetic Flowmeter with Empty Pipe Detection via Complex Programmable Logic Device-based Waveform Recognition

Published on: June 27, 2025

212

相关概念视频

Distribution Reliability and Automation01:25

Distribution Reliability and Automation

Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
157
Control Systems01:10

Control Systems

Control systems are everywhere in contemporary society, influencing diverse applications from aerospace to automated manufacturing. These systems can be found naturally within biological processes, such as blood sugar regulation and heart rate adjustment in response to stress, as well as in man-made systems like elevators and automated vehicles. A control system is essentially a network of subsystems and processes that collaboratively convert specific inputs into desired outputs.
At the heart...
1.4K
Types of Errors: Detection and Minimization01:12

Types of Errors: Detection and Minimization

Error is the deviation of the obtained result from the true, expected value or the estimated central value. Errors are expressed in absolute or relative terms.
Absolute error in a measurement is the numerical difference from the true or central value. Relative error is the ratio between absolute error and the true or central value, expressed as a percentage.
Errors can be classified by source, magnitude, and sign. There are three types of errors: systematic, random, and gross.
Systematic or...
2.4K
Line Protection with Impedance Relays01:27

Line Protection with Impedance Relays

Coordinating time-delay overcurrent relays in complex radial systems and directional overcurrent relays in multi-source transmission loops can be challenging. Impedance relays address these issues by responding to the voltage-to-current ratio, specifically measuring the apparent impedance of a line. These relays become more sensitive during faults as current increases and voltage decreases, thereby reducing the apparent impedance.
Under normal conditions, low load currents keep the measured...
134
Differential Relays01:20

Differential Relays

Differential relays are used to protect generators, buses, and transformers by comparing electrical quantities at different points. When a fault occurs, the difference in current between the two points triggers the relay to operate, opening the circuit breaker. Under normal conditions, the current entering (i1) and leaving (i2) a generator are equal. When a fault occurs, however, these currents become unequal, and the difference current flows in the relay operating coil, causing the relay to...
261
Stereotype Content Model02:16

Stereotype Content Model

The Stereotype Content Model (SCM) was first proposed by Susan Fiske and her colleagues (Fiske, Cuddy, Glick & Xu, 2002; see also Fiske, 2012 and Fiske, 2017). The SCM specifies that when someone encounters a new group, they will stereotype them based on two metrics: warmth—or that group’s perceived intent, and how likely they are to provide help or inflict harm—and competence—or their ability to carry out that objective. Depending on the warmth-competence...
14.9K