Results 61 to 70 of about 5,463 (216)
On the Reachability Problem in Cryptographic Protocols [PDF]
, 2000 We study the verification of secrecy and authenticity properties for cryptogra- phic protocols which rely on symmetric shared keys. The verification can be reduced to check whether a certain parallel program which models the protocol and the specification can reach an erroneous state while interacting with the environment.
Amadio, Roberto M., Lugiez, Denis
openaire +2 more sources
Rhodopsin‐mimetic adaptive photodetectors for intelligent and secure vision systems
InfoMat, EarlyView.Inspired by the adaptive mechanisms of biological vision, we developed a rhodopsin‐mimetic photovoltaic dual‐transistor (PVT2) photosensor that decouples charge accumulation and release by integrating a quasi‐2D perovskite photodiode with dual thin‐film transistors.
Genghui Zhang +6 more
wiley +1 more source
Model checking of trusted cryptographic module
Tongxin xuebao, 2010 The formal security analysis was given for the trusted cryptographic module according to the specification of the trusted cryptographic module using model checking tools. The flaws in the AP protocol were pointed and the solution was given.
CHEN Xiao-feng, FENG Deng-guo
doaj +2 more sources
A Calculus for Cryptographic Protocols: The Spi Calculus
Information and Computation, 1997 We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic ...
Martín Abadi, Andrew D. Gordon 0001
openaire +2 more sources
A Fully‐Connected Chip‐Integrated Reconfigurable Mode‐Pairing Quantum Key Distribution Network
Laser &Photonics Reviews, EarlyView.This work constructs a fully connected reconfigurable chip‐integrated quantum key distribution network via the mode‐pairing protocol. Hybrid ECL and WSS chips cut wavelength and port overhead, realizing arbitrary‐user key sharing with merely two wavelengths.
Xiao‐Lei Jiang +14 more
wiley +1 more source
On the cryptographic properties of “Limonnik-3” AKE scheme
Безопасность информационных технологий, 2019 We study the “Limonnik-3” authenticated key exchange protocol which is a part of Standardization recommendations R 1323565.1.004-2017 “Authenticated key agreement schemes based on public keys”, officially adopted in Russia in 2017, alongside with the ...
Sergey V. Grebnev
doaj +1 more source
Laser &Photonics Reviews, EarlyView.A dual‐gated nanophotonic platform integrates lanthanide‐doped upconversion nanoparticles with a stimuli‐responsive silk–zirconia photonic crystal to enable multilevel optical encryption. Resonant photonic coupling allows hydration‐dependent modulation of visible emission under near‐infrared excitation, achieving reversible switching between decoy and ...
Taehoon Kim +3 more
wiley +1 more source
Authentication and common key generation cryptographic protocol for vehicle tachographs
Безопасность информационных технологий, 2017 We present a public key generation protocol. The key is used for subscriber authentication in tachographs installed on vehicles in order to provide traffic safety. The protocol is based on the well-known Russian cryptographic algorithms.
Victor S. Gorbatov +2 more
doaj +1 more source
The Application of Telemedicine in Surgery
Med Research, EarlyView.This figure provides an overview of the content presented in this article. Telemedicine is integrated throughout the entire surgical workflow, with distinct applications across the preoperative, intraoperative, and postoperative phases. These applications are enabled by a suite of supporting technologies, while the associated implementation challenges ...
Yufan Yang +8 more
wiley +1 more source
Practical considerations for pathologists when selecting digital pathology systems: an ESDIP guide
The Journal of Pathology, EarlyView.Abstract The implementation of digital pathology (DP) has been reported across academic, public, and private laboratory settings, providing valuable insights into workflow transformation. However, comparatively little guidance exists on how DP systems should be evaluated prior to acquisition and deployment.
Diana Montezuma +9 more
wiley +1 more source