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

Strategies of Self-Presentation II: Self-Verification01:17

Strategies of Self-Presentation II: Self-Verification

56
Self-verification is a fundamental psychological drive wherein individuals seek affirmation of their self-concept from others, striving for consistency between their internal self-view and external perceptions. This drive operates even when the self-concept is negative, influencing interpersonal behavior and feedback preferences in complex and often counterintuitive ways. Unlike the self-enhancement motive, which seeks positive evaluations, self-verification prioritizes coherence and...
56
State Space Representation01:27

State Space Representation

344
The frequency-domain technique, commonly used in analyzing and designing feedback control systems, is effective for linear, time-invariant systems. However, it falls short when dealing with nonlinear, time-varying, and multiple-input multiple-output systems. The time-domain or state-space approach addresses these limitations by utilizing state variables to construct simultaneous, first-order differential equations, known as state equations, for an nth-order system.
Consider an RLC circuit, a...
344
Linear time-invariant Systems01:23

Linear time-invariant Systems

590
A system is linear if it displays the characteristics of homogeneity and additivity, together termed the superposition property. This principle is fundamental in all linear systems. Linear time-invariant (LTI) systems include systems with linear elements and constant parameters.
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...
590
BIBO stability of continuous and discrete -time systems01:24

BIBO stability of continuous and discrete -time systems

649
System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system....
649
Data Validation01:15

Data Validation

367
Method validation is a crucial process in analytical chemistry designed to confirm that a given method consistently produces reliable and high-quality results. This process is essential when a method is applied to different sample matrices or when procedural modifications are made, ensuring that the results meet acceptable standards across various applications.
Key parameters for method validation include:
367
Quality Assurance01:19

Quality Assurance

481
Quality assurance is the overarching term used to describe the activities employed to ensure the proper performance of a system. These activities can be classified into three categories: quality control, quality assessment, and internal corrective measures. Typically, these activities work cyclically: quality control is performed before and during the analysis, while quality assessment occurs during and after the investigation. Internal corrective measures are implemented based on the findings...
481

You might also read

Related Articles

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

Sort by
Same author

An IoT System for Air Pollution Monitoring with Safe Data Transmission.

Sensors (Basel, Switzerland)·2024
Same author

A Global Review of Publicly Available Datasets Containing Fundus Images: Characteristics, Barriers to Access, Usability, and Generalizability.

Journal of clinical medicine·2023
Same author

Deceptive Tricks in Artificial Intelligence: Adversarial Attacks in Ophthalmology.

Journal of clinical medicine·2023
Same author

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.

Sensors (Basel, Switzerland)·2022
Same journal

RETRACTED: Zhang et al. A Novel Framework for Reconstruction and Imaging of Target Scattering Centers via Wide-Angle Incidence in Radar Networks. <i>Sensors</i> 2025, <i>25</i>, 6802.

Sensors (Basel, Switzerland)·2026
Same journal

Enhancing Unsupervised Multi-Source Domain Adaptation for Person Re-Identification via Mixture of Experts and Graph-Based Relation.

Sensors (Basel, Switzerland)·2026
Same journal

Development of an Instrumented Glove for Palmar Pressure Assessment in Kayakers.

Sensors (Basel, Switzerland)·2026
Same journal

Development and Experimental Validation of an Autonomous IoT-Based Monitoring System for Real-Time Water Quality Assessment in the Amazon River.

Sensors (Basel, Switzerland)·2026
Same journal

Semi-Supervised Adversarial Learning Framework for Controller Area Network Bus Intrusion Detection.

Sensors (Basel, Switzerland)·2026
Same journal

Smart Optimization Method for Safety Signs in Innovative Manufacturing Environments Integrating Industrial Field IoT Sensors and Knowledge Graphs.

Sensors (Basel, Switzerland)·2026
See all related articles

Related Experiment Video

Updated: Nov 7, 2025

Technical Aspect of the Automated Synthesis and Real-Time Kinetic Evaluation of [11C]SNAP-7941
09:50

Technical Aspect of the Automated Synthesis and Real-Time Kinetic Evaluation of [11C]SNAP-7941

Published on: April 28, 2019

7.7K

SAT and SMT-Based Verification of Security Protocols Including Time Aspects.

Sabina Szymoniak1, Olga Siedlecka-Lamch1, Agnieszka M Zbrzezny2

  • 1Department of Computer Science, Czestochowa University of Technology, Dabrowskiego 73, 42-200 Czestochowa, Poland.

Sensors (Basel, Switzerland)
|April 30, 2021
PubMed
Summary
This summary is machine-generated.

This study introduces formal verification methods for security protocols (SP) in sensor networks. It addresses time-dependent security properties like network delays and message lifetimes to ensure reliable device communication.

Keywords:
modellingsecurity protocolssensor network protocolstime analysisverification

More Related Videos

Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements
09:36

Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements

Published on: June 25, 2021

3.3K
Protocol for Data Collection and Analysis Applied to Automated Facial Expression Analysis Technology and Temporal Analysis for Sensory Evaluation
07:12

Protocol for Data Collection and Analysis Applied to Automated Facial Expression Analysis Technology and Temporal Analysis for Sensory Evaluation

Published on: August 26, 2016

9.6K

Related Experiment Videos

Last Updated: Nov 7, 2025

Technical Aspect of the Automated Synthesis and Real-Time Kinetic Evaluation of [11C]SNAP-7941
09:50

Technical Aspect of the Automated Synthesis and Real-Time Kinetic Evaluation of [11C]SNAP-7941

Published on: April 28, 2019

7.7K
Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements
09:36

Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements

Published on: June 25, 2021

3.3K
Protocol for Data Collection and Analysis Applied to Automated Facial Expression Analysis Technology and Temporal Analysis for Sensory Evaluation
07:12

Protocol for Data Collection and Analysis Applied to Automated Facial Expression Analysis Technology and Temporal Analysis for Sensory Evaluation

Published on: August 26, 2016

9.6K

Area of Science:

  • Computer Science
  • Cybersecurity
  • Formal Methods

Background:

  • Secure communication is crucial for sensor-equipped devices and complex systems.
  • Security protocols (SP) ensure system security but are complex to design and verify.
  • Time primitives are increasingly used in SP due to time-dependent security requirements.

Purpose of the Study:

  • To propose and investigate formal verification methods for SP in sensor networks.
  • To address the verification challenges of time-dependent security properties.
  • To ensure the correctness and reliability of SP in device communication.

Main Methods:

  • Utilizing SAT-and SMT-based formal verification techniques.
  • Employing a formal model based on networks of communicating timed automata.
  • Investigating timed properties such as network delays and message lifetimes.

Main Results:

  • Demonstrated a method for verifying security properties of SP in the sensor world.
  • Successfully applied formal verification to time-dependent security aspects.
  • Quantified the impact of network delays and message lifetimes on SP security.

Conclusions:

  • Formal verification methods, particularly SAT/SMT-based approaches, are effective for validating SP in sensor networks.
  • The proposed model accurately captures and verifies time-dependent security properties.
  • This work enhances the security and reliability of communication in sensor-based systems.