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

The Spindle Assembly Checkpoint02:19

The Spindle Assembly Checkpoint

3.2K
The spindle assembly checkpoint is a molecular surveillance mechanism ensuring the fidelity of chromosome segregation during anaphase. The checkpoint monitors the completion of all the prerequisite steps before chromosome segregation to determine whether the segregation process should proceed or be delayed.
Many proteins function together to control the spindle assembly checkpoint. Mutations affecting these proteins may allow cells to proceed into anaphase prematurely, resulting in the...
3.2K
Spin–Spin Coupling Constant: Overview01:08

Spin–Spin Coupling Constant: Overview

997
In bromoethane, the three methyl protons are coupled to the two methylene protons that are three bonds away. In accordance with the n+1 rule, the signal from the methyl protons is split into three peaks with 1:2:1 relative intensities. The methylene protons appear as a quartet, with the relative intensities of 1:3:3:1.
Qualitatively, any spin plus-half nucleus polarizes the spins of its electrons to the minus-half state. Consequently, the paired electron in the hydrogen–carbon bond must...
997
The Pauli Exclusion Principle03:06

The Pauli Exclusion Principle

46.1K
The arrangement of electrons in the orbitals of an atom is called its electron configuration. We describe an electron configuration with a symbol that contains three pieces of information:
46.1K
Spin–Spin Coupling: One-Bond Coupling01:17

Spin–Spin Coupling: One-Bond Coupling

1.0K
Coupling interactions are strongest between NMR-active nuclei bonded to each other, where spin information can be transmitted directly through the pair of bonding electrons. While nuclei polarize their electrons to the opposite spins, the bonding electron pair has opposite spins. Configurations with antiparallel nuclear spins are expected to be lower in energy. When coupling makes antiparallel states more favorable, J is considered to have a positive value. The one-bond coupling constant, 1J,...
1.0K
Valence Bond Theory02:42

Valence Bond Theory

9.1K
Coordination compounds and complexes exhibit different colors, geometries, and magnetic behavior, depending on the metal atom/ion and ligands from which they are composed. In an attempt to explain the bonding and structure of coordination complexes, Linus Pauling proposed the valence bond theory, or VBT, using the concepts of hybridization and the overlapping of the atomic orbitals. According to VBT, the central metal atom or ion (Lewis acid) hybridizes to provide empty orbitals of suitable...
9.1K
Spin–Spin Coupling: Two-Bond Coupling (Geminal Coupling)01:20

Spin–Spin Coupling: Two-Bond Coupling (Geminal Coupling)

1.1K
Two NMR-active nuclei bonded to a central atom can be involved in geminal or two-bond coupling. Geminal coupling is commonly seen between diastereotopic protons in chiral molecules and unsymmetrical alkenes, among others.
The central atom need not be NMR-active because its electrons are affected by the electron polarization of the spin-active atoms. However, spin information is transmitted less effectively than in one-bond coupling, and 2J values are usually weaker than 1J values. The energy of...
1.1K

You might also read

Related Articles

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

Sort by
Same journal

RETRACTION: Real-Time Modulation of Physical Training Intensity Based on Wavelet Recursive Fuzzy Neural Networks.

Computational intelligence and neuroscience·2026
Same journal

RETRACTION: Multidimensional Heterogeneous Network Link Adaptation Based on Mobile Environment.

Computational intelligence and neuroscience·2026
Same journal

RETRACTION: Framework to Segment and Evaluate Multiple Sclerosis Lesion in MRI Slices Using VGG-UNet.

Computational intelligence and neuroscience·2026
Same journal

RETRACTION: Facial Emotion Recognition Using a Novel Fusion of Convolutional Neural Network and Local Binary Pattern in Crime Investigation.

Computational intelligence and neuroscience·2026
Same journal

RETRACTION: Automatic Intelligent System Using Medical of Things for Multiple Sclerosis Detection.

Computational intelligence and neuroscience·2026
Same journal

RETRACTION: Intangible Cultural Heritage Reproduction and Revitalization: Value Feedback, Practice, and Exploration Based on the IPA Model.

Computational intelligence and neuroscience·2026
See all related articles

Related Experiment Video

Updated: Aug 30, 2025

Bouncing Ball with a Uniformly Varying Velocity in a Metronome Synchronization Task
05:04

Bouncing Ball with a Uniformly Varying Velocity in a Metronome Synchronization Task

Published on: September 21, 2017

6.1K

Formal Analysis of the Security Protocol with Timestamp Using SPIN.

Meihua Xiao1, Weiwei Song1, Ke Yang1

  • 1School of Software, East China Jiaotong University, Nanchang 330013, China.

Computational Intelligence and Neuroscience
|September 2, 2022
PubMed
Summary
This summary is machine-generated.

This study introduces a new model checking method to verify security protocols with timestamps, preserving time-dependent properties. The approach successfully identified two attacks in the WMF protocol, enhancing network security analysis.

More Related Videos

Study of Protein Dynamics via Neutron Spin Echo Spectroscopy
08:03

Study of Protein Dynamics via Neutron Spin Echo Spectroscopy

Published on: April 13, 2022

2.2K
Author Spotlight: Exploring Intrinsically Disordered Protein Dynamics Through NMR Relaxation Experiments
09:25

Author Spotlight: Exploring Intrinsically Disordered Protein Dynamics Through NMR Relaxation Experiments

Published on: November 1, 2024

2.1K

Related Experiment Videos

Last Updated: Aug 30, 2025

Bouncing Ball with a Uniformly Varying Velocity in a Metronome Synchronization Task
05:04

Bouncing Ball with a Uniformly Varying Velocity in a Metronome Synchronization Task

Published on: September 21, 2017

6.1K
Study of Protein Dynamics via Neutron Spin Echo Spectroscopy
08:03

Study of Protein Dynamics via Neutron Spin Echo Spectroscopy

Published on: April 13, 2022

2.2K
Author Spotlight: Exploring Intrinsically Disordered Protein Dynamics Through NMR Relaxation Experiments
09:25

Author Spotlight: Exploring Intrinsically Disordered Protein Dynamics Through NMR Relaxation Experiments

Published on: November 1, 2024

2.1K

Area of Science:

  • Computer Science
  • Network Security
  • Formal Methods

Background:

  • Security protocols are crucial for network security.
  • Timestamps in messages defend against replay attacks.
  • Previous methods ignored time-dependent properties by simplifying timestamps.

Purpose of the Study:

  • To propose a novel method for verifying security protocols with timestamps using model checking.
  • To preserve time-dependent security properties often overlooked in prior analyses.
  • To address state space explosion in model checking for complex protocols.

Main Methods:

  • Utilized Promela (process meta language) to model system time, message transmission time, and time passage.
  • Developed a timestamp checking mechanism within Promela.
  • Implemented a vulnerable channel priority method for intruder modeling to mitigate state space explosion.
  • Applied the method to the WMF protocol using the SPIN model checker.

Main Results:

  • Successfully modeled and verified the WMF protocol.
  • Identified two previously undiscovered attacks within the WMF protocol.
  • Demonstrated the effectiveness of the proposed model checking technique.

Conclusions:

  • The proposed method effectively verifies security protocols with timestamps, preserving critical time-dependent properties.
  • The findings provide security alerts for schemes based on the WMF protocol, particularly in IoT.
  • This approach offers a valuable direction for analyzing other timestamp-based security protocols.