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

Legal Guidelines for Documentation01:06

Legal Guidelines for Documentation

1.6K
The legal guidelines for nursing documentation are essential for ensuring accurate, professional, and ethical recording of patient care. The guidelines are discussed here:
1.6K
Ethical Standards I01:25

Ethical Standards I

1.0K
The American Nurses Association (ANA) created and implemented the first nationally accepted Code of Ethics for Nurses with Interpretive Statements. The Code of Ethics is a living document regularly updated by the ANA and establishes an ethical standard that is non-negotiable for nurses in all roles and settings.
The Code of Ethics provisions outline the nurse's duty to the patient, the healthcare team, the profession, and society. The Code's fundamental principles include advocacy,...
1.0K
Strategies of Self-Presentation II: Self-Verification01:17

Strategies of Self-Presentation II: Self-Verification

17
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...
17
Issues And Trends In Healthcare Delivery System01:29

Issues And Trends In Healthcare Delivery System

5.9K
The issues and trends in healthcare delivery are constantly changing. The COVID-19 pandemic is one recent issue that wreaked havoc on healthcare systems, causing a shortage of healthcare workers, high demand for medicines and supplies, and increased medical expenditure due to a lack of insurance. Other issues include rising healthcare costs and care fragmentation.
Cost Containment
Payment for healthcare services has historically promoted adoption of costly and often unnecessary or inefficient...
5.9K
Social Proof00:52

Social Proof

29.3K
Social proof is a form of persuasion based on comparison and conformity. People compare their behavior and actions to what others are doing and will change to conform to do what their peers do.
29.3K
Role-Based Identity01:21

Role-Based Identity

13
Role-based identities are central to understanding how individuals navigate social environments by adopting distinct self-conceptions aligned with various societal roles. These identities are not fixed traits but are constructed through personal actions and the social feedback individuals receive in context-specific interactions. Each social role, such as student, teacher, or friend, carries a set of expectations and norms that influence how people think, feel, and behave within that...
13

You might also read

Related Articles

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

Sort by
Same author

Design and Implementation of an Intensive Care Unit Command Center for Medical Data Fusion.

Sensors (Basel, Switzerland)·2024
Same author

An Edge Transfer Learning Approach for Calibrating Soil Electrical Conductivity Sensors.

Sensors (Basel, Switzerland)·2023
Same author

Enhancing travel time prediction with deep learning on chronological and retrospective time order information of big traffic data.

Annals of operations research·2023
Same author

Application of deep machine learning for the radiographic diagnosis of periodontitis.

Clinical oral investigations·2022
Same author

DeviceTalk: A No-Code Low-Code IoT Device Code Generation.

Sensors (Basel, Switzerland)·2022
Same author

SpecTalk: Conforming IoT Implementations to Sensor Specifications.

Sensors (Basel, Switzerland)·2021

Related Experiment Video

Updated: Oct 12, 2025

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem
10:15

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem

Published on: February 3, 2021

3.9K

VerificationTalk: A Verification and Security Mechanism for IoT Applications.

Min-Zheng Shieh1, Yi-Bing Lin2,3,4,5,6, Yin-Jui Hsu7

  • 1Information Technology Service Center, National Yang Ming Chiao Tung University, Hsinchu 300093, Taiwan.

Sensors (Basel, Switzerland)
|November 27, 2021
PubMed
Summary

VerificationTalk prevents errors in Internet of Things (IoT) application deployment by verifying device configurations and network functions. This mechanism enhances IoT security and debugging through online and offline anomaly detection.

Keywords:
American Fuzzy Lop (AFL)Internet of Things (IoT)bigraph modelsformal methodsfuzz testing

More Related Videos

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization
07:49

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization

Published on: November 26, 2019

8.2K
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.6K

Related Experiment Videos

Last Updated: Oct 12, 2025

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem
10:15

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem

Published on: February 3, 2021

3.9K
Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization
07:49

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization

Published on: November 26, 2019

8.2K
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.6K

Area of Science:

  • Computer Science
  • Cybersecurity
  • Network Engineering

Background:

  • Internet of Things (IoT) applications span device and network domains, increasing the risk of misconfigurations and incorrect device connections.
  • Inappropriate IoT application deployment can lead to erroneous operations and security vulnerabilities.
  • Existing methods lack comprehensive verification for both device and network aspects of IoT applications.

Purpose of the Study:

  • To introduce VerificationTalk, a novel mechanism designed to prevent inappropriate Internet of Things (IoT) application deployment.
  • To enhance the security and reliability of IoT applications by verifying device configurations and network functions.
  • To provide robust anomaly detection and debugging support for IoT application development.

Main Methods:

  • VerificationTalk comprises two subsystems: BigraphTalk for IoT device configuration verification and AFLtalk for network function validation.
  • Employs online anomaly detection using a runtime monitor to intercept harmful data targeting IoT devices.
  • Utilizes offline anomaly detection with American Fuzzy Lop (AFL) for comprehensive network function validation, achieving three times the testing capacity of traditional AFL.

Main Results:

  • VerificationTalk effectively prevents the deployment of incorrectly configured IoT applications and the linking of incompatible devices.
  • The runtime monitor successfully intercepts potentially harmful data, contributing to real-time security.
  • AFLtalk demonstrates a significant improvement in testing capacity, enhancing the identification of security loopholes.

Conclusions:

  • VerificationTalk provides a comprehensive solution for securing IoT application deployment by addressing both device and network domains.
  • The mechanism offers valuable feedback for debugging and assists developers in building more secure IoT applications.
  • The enhanced testing capacity of AFLtalk contributes to more thorough security validation in IoT network applications.