Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Distribution Reliability and Automation01:25

Distribution Reliability and Automation

157
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

1.4K
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

2.4K
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

134
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

261
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

14.9K
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

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Okanin alleviates osteoarthritis by suppressing oxidative stress and pyroptosis via Nrf2/HO-1 activation.

European journal of pharmacologyĀ·2026
Same author

Bio-catalytic nanofibers with sonodynamic therapy for rapid sterilization and enhanced infected wound healing.

Colloids and surfaces. B, BiointerfacesĀ·2026
Same author

An Artificial Intelligence based model for predicting long-term all-cause mortality after acute Myocardial Infarction (the AIMI model).

European heart journal. Digital healthĀ·2026
Same author

POSTN<sup>+</sup> cancer-associated fibroblasts forming fortress-like barrier to mediate immunotherapy resistance in colorectal cancer.

Cancer lettersĀ·2026
Same author

Cajanine protects against menopausal mood disorders and concomitant metabolic dysfunctions in ovariectomized mice via ERĪ²-mediated pathways.

Progress in neuro-psychopharmacology & biological psychiatryĀ·2026
Same author

Biodegradable Polyhydroxyalkanoates as Advanced Antimicrobial Biomaterials: A Review.

Biotechnology and bioengineeringĀ·2026

Related Experiment Video

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: Smart Contract Security Detection Tool Suitable for Industrial Control Scenarios.

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
Summary

The semantic security detection framework, SSB, effectively identifies smart contract vulnerabilities in industrial control systems (ICS). It surpasses existing tools by integrating domain-specific invariants for enhanced security and operational logic.

Keywords:
blockchain securityindustrial control systemssmart contractsvulnerability detection

More Related Videos

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy
11: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 Recognition
05:11

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

Published on: June 27, 2025

212

Related Experiment Videos

Last 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
The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy
11: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 Recognition
05:11

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

Published on: June 27, 2025

212

Area of Science:

  • Computer Science
  • Cybersecurity
  • Industrial Control Systems

Background:

  • Smart contracts in industrial control systems (ICS) present unique security challenges.
  • Existing vulnerability detection tools lack comprehensive coverage for ICS-specific smart contract risks.
  • Semantic analysis combined with domain invariants is crucial for ICS security.

Purpose of the Study:

  • To introduce and evaluate a novel semantic security detection framework (SSB) for industrial control smart contracts.
  • To demonstrate SSB's superiority over existing tools in identifying a wide range of vulnerabilities.
  • To explore the integration of domain-specific invariants for robust ICS smart contract security.

Main Methods:

  • Development of the semantic security detection framework (SSB).
  • Integration of domain-specific invariants (security, functionality, consistency, time, resource consumption).
  • Comparative analysis against existing tools (ZEUS, Securify, VULTRON) using smart contract samples.

Main Results:

  • SSB demonstrated superior logical coverage for various vulnerability types in industrial control smart contracts.
  • The framework effectively models industrial invariants, preventing critical errors like unauthorized access.
  • Semantic-based approaches with runtime monitoring address ICS challenges like real-time constraints.

Conclusions:

  • The proposed SSB framework is effective for detecting vulnerabilities in industrial control smart contracts.
  • Semantic analysis and invariant modeling offer a robust approach to ICS smart contract security.
  • Future work should focus on real-world validation, scalability, and AI integration for broader applicability.