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

IP3/DAG Signaling Pathway01:11

IP3/DAG Signaling Pathway

11.8K
Membrane lipids such as phosphatidylinositol (PI) are precursors for several membrane-bound and soluble second messengers. Specific kinases phosphorylate PI and produce phosphorylated inositol phospholipids. One such inositol phospholipids are the  phosphatidylinositol-4,5 bisphosphate [PI(4,5)P2], present in the inner half of the lipid bilayer. Upon ligand binding, GPCR stimulates Gq proteins to turn on phospholipase Cꞵ. Activated phospholipase Cꞵ cleaves PI(4,5)P2 and...
11.8K
Assembly of Signaling Complexes01:30

Assembly of Signaling Complexes

5.7K
Multiprotein signaling complexes are formed in a dynamic process involving protein-protein interactions at the cytoplasmic domain of transmembrane receptors or enzymatic and non-enzymatic proteins associated with the receptor. These complexes ensure the activation and propagation of intracellular signals that regulate cell functions.
Interaction domains in cell signaling
Interaction domains recognize exposed features of their binding partners containing post-translationally modified sequences,...
5.7K
Contact-dependent Signaling01:19

Contact-dependent Signaling

44.3K
Contact-dependent signaling, as the name suggests, requires that communicating cells be in direct contact with each other. This is achieved either through receptor-ligand interactions or by specialized cytoplasmic channels that allow the flow of small molecules between cells. In animal cells, channels called gap junctions facilitate contact-dependent signaling in certain tissues, whereas, plasmodesmata perform a similar function in plants.
Gap Junctions
In animal cells, gap junctions are formed...
44.3K
Guidelines and Strategies for Safe Computer Charting01:18

Guidelines and Strategies for Safe Computer Charting

795
The guidelines and strategies provided by the American Nurses Association (ANA) and the Canadian Nurses Association (CNA) offer essential principles for ensuring safe and secure computer charting systems in healthcare settings. Let's break down each recommendation:
Maintain Confidentiality and Security:
795
Ethical Standards I01:25

Ethical Standards I

772
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,...
772
Leaky Scanning02:28

Leaky Scanning

5.1K
During most eukaryotic translation processes, the small 40S ribosome subunit scans an mRNA from its 5' end until it encounters the first start AUG codon. The large 60S ribosomal subunit then joins the smaller one to initiate protein synthesis. The location of the translation initiation is largely determined by the nucleotides near the start codon as there may be multiple translation initiation sites present on the mRNA.  Marilyn Kozak discovered that the sequence RCCAUGG (where R...
5.1K

You might also read

Related Articles

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

Sort by
Same author

Targeting Skin Cancer with Natural Bioactive Compounds: From Molecular Mechanisms to Application Strategies.

Pharmaceuticals (Basel, Switzerland)·2026
Same author

Erratum to "High-throughput screening of ancient forest plant extracts shows cytotoxicity towards triple-negative breast cancer" [Environ. Int. 181 (2023) 108279].

Environment international·2026
Same author

Multimodal Machine Learning Integrating Clinical and Proteomic Data for Early Prediction of Hypertensive Complications: A UKB Longitudinal Study.

Journal of the American Heart Association·2026
Same author

Rhododendron mariae Hance protects against dengue virus infection by targeting viral entry and modulating host-pathogen interactions.

Microbial pathogenesis·2026
Same author

Identification and characterization of lncRNA-stemness-immune regulatory patterns.

Briefings in bioinformatics·2026
Same author

Genome‑Wide Identification of NAC Transcription Factors in Elymus sibiricus and Functional Characterisation of EsNAC29 in Light Inhibition.

Plant, cell & environment·2026
Same journal

Turbulent flow in a vortex separator with a directed pipe inlet.

Scientific reports·2026
Same journal

Systematic characteristic evaluation of clay-based cementitious material derived from calcium carbide residue and waste tile powder.

Scientific reports·2026
Same journal

Retraction Note: Improvement of a rapid diagnostic application of monoclonal antibodies against avian influenza H7 subtype virus using Europium nanoparticles.

Scientific reports·2026
Same journal

Applying large language models to spam detection in the Kazakh low-resource language setting.

Scientific reports·2026
Same journal

An open-source 3D printing system enabling in-situ freeze-thaw processing of hydrogels.

Scientific reports·2026
Same journal

An enhanced EfficientNet framework for automated waste classification using cosine annealing and label smoothing.

Scientific reports·2026
See all related articles

Related Experiment Video

Updated: May 28, 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.7K

Security verification framework for NDN access control.

Yuan Fei1,2, Jiaqi Yin3, Lijun Yan4

  • 1College of Information, Mechanical and Electrical Engineering, Shanghai Normal University, Shanghai, 201418, China.

Scientific Reports
|February 14, 2025
PubMed
Summary
This summary is machine-generated.

The Security Verification Framework for NDN Access Control (SVF-NDN) enhances cybersecurity for Named Data Networking (NDN). It formally verifies access control, identifying vulnerabilities and proposing solutions to strengthen NDN security.

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.0K
Implantation and Control of Wireless, Battery-free Systems for Peripheral Nerve Interfacing
07:13

Implantation and Control of Wireless, Battery-free Systems for Peripheral Nerve Interfacing

Published on: October 20, 2021

3.1K

Related Experiment Videos

Last Updated: May 28, 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.7K
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.0K
Implantation and Control of Wireless, Battery-free Systems for Peripheral Nerve Interfacing
07:13

Implantation and Control of Wireless, Battery-free Systems for Peripheral Nerve Interfacing

Published on: October 20, 2021

3.1K

Area of Science:

  • Computer Science
  • Cybersecurity
  • Network Engineering

Background:

  • Named Data Networking (NDN) offers an alternative to TCP/IP but faces cybersecurity challenges in its access control mechanisms.
  • Existing NDN access control designs require rigorous evaluation for resilience against sophisticated cyberattacks.

Purpose of the Study:

  • To introduce the Security Verification Framework for NDN Access Control (SVF-NDN) for formal analysis of NDN access control schemes.
  • To assess the security properties of NDN access control, focusing on data encryption-based methods.
  • To identify and address vulnerabilities within NDN access control systems.

Main Methods:

  • Formal analysis using the PAT model checking tool to verify security properties.
  • Evaluation of a data encryption-based NDN access control scheme.
  • Development and assessment of enhancement methods for identified vulnerabilities.
  • Introduction of solutions for Access Control Manager (ACM) compromise and algorithms for automatic model updating.

Main Results:

  • SVF-NDN successfully verifies five critical security properties: deadlock freedom, data availability, key authentication, data leakage protection, and data access protection.
  • Vulnerabilities including node key pair faking and data leakage were uncovered in the evaluated NDN access control scheme.
  • Proposed enhancement methods and ACM solutions demonstrated effectiveness in mitigating identified security risks.
  • Four algorithms were developed to automate the updating of formal models, streamlining the verification process.

Conclusions:

  • SVF-NDN is an effective framework for fortifying NDN access control against cyber threats.
  • The study provides valuable insights and practical solutions for enhancing the overall security of Named Data Networking.
  • Formal verification is crucial for ensuring the robustness and security of emerging network architectures like NDN.