An Internet of Things (IoT) application typically involves implementations in both the device domain and the network domain. In this two-domain environment, it is possible that application developers implement the wrong network functions and/or connect some IoT devices that should never be linked, which result in the execution of wrong operations on network functions. To resolve these issues, we propose the VerificationTalk mechanism to prevent inappropriate IoT application deployment. VerificationTalk consists of two subsystems: the BigraphTalk subsystem which verifies IoT device configuration; and AFLtalk which validates the network functions. VerificationTalk provides mechanisms to conduct online anomaly detection by using a runtime monitor and offline by using American Fuzzy Lop (AFL). The runtime monitor is capable of intercepting potentially harmful data targeting IoT devices. When VerificationTalk detects errors, it provides feedback for debugging. VerificationTalk also assists in building secure IoT applications by identifying security loopholes in network applications. By the appropriate design of the IoTtalk execution engine, the testing capacity of AFLtalk is three times that of traditional AFL approaches.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8619704 | PMC |
| http://dx.doi.org/10.3390/s21227449 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Ledged Beam Walking Test Automatic Tracker: Artificial intelligence-based functional evaluation in a stroke model.
Comput Biol Med
January 2025
Neurological Sciences and Cerebrovascular Research Laboratory, Department of Neurology and Stroke Centre, Neurology and Cerebrovascular Disease Group, Neuroscience Area La Paz Institute for Health Research (idiPAZ), (La Paz University Hospital- Universidad Autónoma de Madrid), Spain. Electronic address:
The quantitative evaluation of motor function in experimental stroke models is essential for the preclinical assessment of new therapeutic strategies that can be transferred to clinical research; however, conventional assessment tests are hampered by the evaluator's subjectivity. We present an artificial intelligence-based system for the automatic, accurate, and objective analysis of target parameters evaluated by the ledged beam walking test, which offers higher sensitivity than the current methodology based on manual and visual counting. This system employs a residual deep network model, trained with DeepLabCut (DLC) to extract target paretic hindlimb coordinates, which are categorized to provide a ratio measurement of the animal's neurological deficit.
View Article and Find Full Text PDFAdult Human Heart ECM Improves Human iPSC-CM Function via Mitochondrial and Metabolic Maturation.
Stem Cells
January 2025
Bioengineering Graduate Program, University of Notre Dame, Notre Dame, 46556 IN, USA.
Myocardial infarction can lead to the loss of billions of cardiomyocytes, and while cell-based therapies are an option, immature nature of in vitro-generated human induced pluripotent stem cell (iPSC)-derived cardiomyocytes (iCMs) is a roadblock to their development. Existing iPSC differentiation protocols don't go beyond producing fetal iCMs. Recently, adult extracellular matrix (ECM) was shown to retain tissue memory and have some success driving tissue-specific differentiation in unspecified cells in various organ systems.
View Article and Find Full Text PDFLigand-Conditioned Side Chain Packing for Flexible Molecular Docking.
J Chem Theory Comput
January 2025
State Key Laboratory of Physical Chemistry of Solid Surfaces and Fujian Provincial Key Laboratory of Theoretical and Computational Chemistry, College of Chemistry and Chemical Engineering, Xiamen University, Xiamen 361005, P. R. China.
Molecular docking is a crucial technique for elucidating protein-ligand interactions. Machine learning-based docking methods offer promising advantages over traditional approaches, with significant potential for further development. However, many current machine learning-based methods face challenges in ensuring the physical plausibility of generated docking poses.
View Article and Find Full Text PDFBiochanin a modulates steroidogenesis and cellular metabolism in human granulosa cells through TAS2Rs activation: a spotlight on ovarian function.
Reprod Biol Endocrinol
January 2025
Department of Molecular and Developmental Medicine, Siena University, Siena, 53100, Italy.
Background: Endocrine-disrupting chemicals (EDCs) interfere with the endocrine system and negatively impact reproductive health. Biochanin A (BCA), an isoflavone with anti-inflammatory and estrogen-like properties, has been identified as one such EDC. This study investigates the effects of BCA on transcription, metabolism, and hormone regulation in primary human granulosa cells (GCs), with a specific focus on the activation of bitter taste receptors (TAS2Rs).
View Article and Find Full Text PDFDiagnosis of lung cancer using salivary miRNAs expression and clinical characteristics.
BMC Pulm Med
January 2025
Universal Scientific Education and Research Network (USERN), Tehran, Iran.
Objective: Lung cancer (LC), the primary cause for cancer-related death globally is a diverse illness with various characteristics. Saliva is a readily available biofluid and a rich source of miRNA. It can be collected non-invasively as well as transported and stored easily.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!