Results 131 to 140 of about 6,594 (201)

A symbolic decision procedure for cryptographic protocols with time stamps

, 2004
Liana Bozga, Cristian Ene, Yassine Lakhnech   +2 more
openalex   +1 more source

A cross-chain model for warehouse receipts in port supply chain based on notary mechanism and ShangMi cryptographic algorithms. [PDF]

Sci Rep
Chen Y, Ou W, Pang M, Ma J, Yue Q, Han W.   +5 more
europepmc   +1 more source

Multi-partite quantum cryptographic protocols with noisy GHZ states

, 2004
Kai Chen, Hoi‐Kwong Lo
openalex   +2 more sources

Privacy-preserving and verifiable spectral graph analysis in the cloud. [PDF]

Sci Rep
Song Y.
europepmc   +1 more source

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols

, 2004
Marco Bozzano, Giorgio Delzanno
openalex   +1 more source

Infinite State AMC-Model Checking for Cryptographic Protocols [PDF]

, 2007
Detlef Kähler, Ralf Küsters, Tomasz Truderung   +2 more
openalex   +1 more source

Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols

, 2004
Roberto M. Amadio
openalex   +1 more source

High accuracy indoor positioning system using Galois field-based cryptography and hybrid deep learning. [PDF]

Sci Rep
Hazzazi MM, Shukla PK, Shukla PK, Alblehai F, Nooh S, Shah MA.   +5 more
europepmc   +1 more source

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

, 2005
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague   +3 more
openalex   +1 more source

Implementing Authentication Protocol for Exchanging Encrypted Messages via an Authentication Server Based on Elliptic Curve Cryptography with the ElGamal-s Algorithm [PDF]

, 2007
Konstantinos Chalkias, George Filiadis, George Stephanides   +2 more
openalex   +1 more source